| № | Дата |
Автор |
Заглавие |
|---|
|
2006 |
Вахлаева, Клавдия Павловна |
Функциональное восстановление автоматов-перечислителей с обобщенными временными характеристиками линейного типа : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Вахлаева Клавдия Павловна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
1976 |
Петрович, Валерий Дмитриевич (математика ; экономика) |
Текст лекции по теме "Основные методы распознавания экономических объектов" курса высшей математики для студентов экономических специальностей / В. Д. Петрович ; Белорусский государственный институт народного хозяйства им. В. В. Куйбышева |
|
1989 |
Мохамед, Саид Хуссейн Эль-Сайед Фахми |
Исследование алгебр автоматных отображений : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Мохамед Саид Хуссейн Эль-Сайед Фахми ; Академия наук Белорусской ССР, Институт математики |
|
2000 |
Кудрин, Александр Александрович |
Автоматная сложность вычисления формул : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Кудрин Александр Александрович ; [Моск. гос. ун-т им. М.В.Ломоносова] |
|
2004 |
Кунявская, Анна Наумовна |
Распознавание конечных детерминированных автоматов методом зацикливания : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Кунявская Анна Наумовна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
2004 |
Самойлов, Виктор Геннадьевич |
Исследование линейных дискретных систем, заданных интервальными характеристическими матрицами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Самойлов Виктор Геннадьевич ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
2003 |
Семигродских, Александр Павлович |
Решетки замкнутых классов функций на бесконечном множестве : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Семигродских Александр Павлович ; [Урал. гос. ун-т] |
|
2004 |
Грунский, Игорь Сергеевич |
Синтез и идентификация автоматов / И.С.Грунский, В.А.Козловский ; Национальная академия наук Украины, Институт прикладной математики и механики |
|
2002 |
Хопкрофт, Джон Э |
Введение в теорию автоматов, языков и вычислений : Пер. с англ. / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман |
|
2005 |
Нурутдинов, Шамиль Рамилович |
Полиномиальные модели автоматных преобразований над полем GF (2n) : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.18 / Нурутдинов Шамиль Рамилович ; Казанский государственный университет |
|
2005 |
Рзун, Ирина Геннадьевна (кандидат физико-математических наук ; род. 1972) |
Методы синтеза и анализа проходимых автоматов в управлении технологическими процессами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 / Рзун Ирина Геннадьевна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
2006 |
Винокуров, Никита Сергеевич |
Автоморфизмы автоматных структур : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Винокуров Никита Сергеевич ; [Новосибирский государственный университет] |
|
1980 |
|
Automata, languages and programming : [proceedings of the] Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14―18, 1980 / edited by J. W. de Bakker and J. van Leeuwen |
|
1999 |
Бабин, Дмитрий Николаевич (доктор физико-математических наук, математик ; род. 1954) |
Решение проблемы классификации автоматных базисов поста по разрешимости свойств полноты и А-полноты : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.09 / МГУ им. М.В.Ломоносова |
|
2000 |
Овчинникова, Елена Викторовна (кандидат физико-математических наук) |
Структурные свойства и полнота класса регулярных полигонов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Овчинникова Елена Викторовна ; [Новосиб. гос. тех. ун-т] |
|
1994 |
|
Элементы алгебраической теории автоматов : Учеб. пособие для вузов по направлению "Прикл. математика и информатика" / Б.И.Плоткин, Л.Я.Гринглаз, А.А.Гварамия |
|
2005 |
Кирнасов, Александр Евгеньевич |
Установочные эксперименты с автоматами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Кирнасов Александр Евгеньевич ; [Московский государственный университет им. М.В.Ломоносова] |
|
2005 |
Калитин, Денис Владимирович (кандидат технических наук, вычислительная техника) |
Автоматизированное проектирование минимальносвязной параллельной декомпозиции управляющих автоматов в k-значных логиках на основе теоретико-графового вложения : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.12 / Калитин Денис Владимирович ; [Московский государственный горный университет] |
|
2005 |
Вагарина, Наталия Сергеевна (кандидат физико-математических наук) |
Универсальные автоматы как модели функционального восстановления поведения дискретных систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Вагарина Наталия Сергеевна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
1987 |
Синичка, Алексей Андреевич |
Кодирование частичных состояний автоматов с параллельно-последовательной структурой переходов / А. А. Синичка |
|
1987 |
Анджанс, Агнис (математик ; 1952—2024) |
Поведение детерминированных и вероятностных автоматов в лабиринтах : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: : (01.01.09) / Анджанс Агнис Волдемарович ; АН БССР, Ин-т математики |
|
2000 |
Максименко, Игорь Иванович |
Эксперименты в финитно-определенных метрических пространствах автоматов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Максименко Игорь Иванович ; Сарат. гос. ун-т им. Н.Г.Чернышевского |
|
2006 |
Пантелеев, Павел Анатольевич |
Об отличимости состояний конечных автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Пантелеев Павел Анатольевич ; [Московский государственный университет им. М.В.Ломоносова] |
|
1990 |
Тайминя, Дайна Яновна |
Поведение различных типов машин, работающих на бесконечных словах : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Тайминя Дайна Яновна ; Акад. наук БССР, Ин-т математики |
|
2004 |
Калман, Рудольф Э |
Очерки по математической теории систем = Topics in mathematical system theory / Р.Калман, П.Фалб, М.Арбиб ; перевод с английского Э.Л.Наппельбаума ; под редакцией Я.З.Цыпкина |
|
2006 |
Соколов, Валерий Анатольевич |
Моделирование распределенных систем и анализ их семантических свойств : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.09 / Соколов Валерий Анатольевич ; [Ярославский государственный университет им. П.Г.Демидова] |
|
2003 |
Волгин, Леонид Иванович (доктор технических наук ; 1932—2008) |
Релятор и реляторная схемотехника: логико-алгебраические основы и применения = Relator and relator circuit engineering: logical-algebraic bases and applications : Темат. библиогр. указ., коммент. и прил. / Л.И.Волгин ; Тольят. гос. ин-т сервиса, Ульян. гос. техн. ун-т |
|
2006 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Основы логического проектирования : в 3 кн. / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова ; Национальная академия наук Беларуси, Объединенный институт проблем информатики. — Кн. 3: Проектирование устройств логического управления |
|
1999 |
Денисенко, Евгений Леонидович |
Развитие теории и разработка методологии логического синтеза СБИС на основе многоуровневых автоматных моделей : Автореф. дис. на соиск. учен. степ. д-ра техн. наук : 05.13.05 / Нац. акад. наук Украины, Ин-т кибернетики им. В.М.Глушкова |
|
2004 |
Зеленева, Ирина Яковлевна |
Методы синтеза многоуровневых структур управляющих автоматов на программируемых логических устройствах : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.13 / Зеленева Ирина Яковлевна ; Донецкий национальный технический университет |
|
2006 |
Мучникова, Лилия Анатольевна |
Контрольные эксперименты с групповыми автоматами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.05.01 / Мучникова Лилия Анатольевна ; Национальная академия наук Украины, Институт кибернетики им. В. М. Глушкова |
|
2006 |
Морозов, Андрей Владимирович |
Разработка фреймово-продукционной модели синтеза цифровых автоматов на основе метода спецификации состояний и ее программная реализация средствами реляционной СУБД : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.18 / Морозов Андрей Владимирович ; [Казанский государственный технический университет им. А.Н.Туполева] |
|
1997 |
Малюгин, Владимир Дмитриевич (доктор технических наук ; род. 1935) |
Параллельные логические вычисления посредством арифметических полиномов |
|
2002 |
Карпов, Юрий Глебович (доктор технических наук) |
Теория автоматов : Учеб. для вузов по направлению подгот. бакалавров "Информатика и вычисл. техника" и по специальности "Вычисл. машины, комплексы, системы и сети", направления подгот. дипломир. специалистов "Информатика и вычисл. техника" / Ю.Г.Карпов |
|
2001 |
Белоусов, Алексей Иванович (кандидат физико-математических наук) |
Дискретная математика : Учеб. для высш. техн. учеб. заведений / А.И.Белоусов, С.Б.Ткачев ; Под ред. В.С.Зарубина, А.П.Крищенко |
|
2006 |
Мозговой, Максим Владимирович |
Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход / Мозговой М.В |
|
1982 |
|
Automata, languages and programming : [proceedings of the] Ninth Colloquium, Aarhus, Denmark, July 12―16, 1982 / edited by M. Nielsen and E. M. Schmidt |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ