| № | Дата |
Автор |
Заглавие |
|---|
|
1970 |
Бром, Е. Л. |
Некоторые вопросы синтеза полициклических конечных автоматов : Автореф. дис. на соиск. учен. степ. канд. техн. наук: (255) / АН БССР, Отд-ние физико-техн. наук |
|
1995 |
Захаров, Вячеслав Михайлович |
Аппаратно-программная организация специализированных процессоров на основе автономных вероятностных автоматов : Автореф. дис. на соиск. учен. степ. д-ра техн. наук : 05.13.05 / НИИ математики и механики Казан. гос. ун-т |
|
2000 |
Кудрин, Александр Александрович |
Автоматная сложность вычисления формул : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Кудрин Александр Александрович ; [Моск. гос. ун-т им. М.В.Ломоносова] |
|
2000 |
Шульга, Татьяна Эриковна (доктор физико-математических наук) |
Методы и модели функционального восстановления поведения систем, моделируемых автоматами специального класса : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Шульга Татьяна Эриковна ; Сарат. гос. ун-т им. Н.Г.Чернышевского |
|
2000 |
Посохина, Наталия Игоревна |
Задачи синтеза и анализа перечислителей в некоторых классах конечных автоматов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Посохина Наталия Игоревна ; Сарат. гос. ун-т им. Н.Г.Чернышевского |
|
2004 |
Кунявская, Анна Наумовна |
Распознавание конечных детерминированных автоматов методом зацикливания : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Кунявская Анна Наумовна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
2004 |
Соколов, Александр Павлович |
Системы программирования: теория, методы, алгоритмы : Учеб. пособие для студентов, обучающихся по направлению 654600 - Информатика и вычисл. техника / А.П.Соколов |
|
2004 |
Ломазова, Ирина Александровна (доктор физико-математических наук ; род. 1955) |
Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой / И.А.Ломазова |
|
2002 |
Хопкрофт, Джон Э |
Введение в теорию автоматов, языков и вычислений : Пер. с англ. / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман |
|
2005 |
Нурутдинов, Шамиль Рамилович |
Полиномиальные модели автоматных преобразований над полем GF (2n) : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.18 / Нурутдинов Шамиль Рамилович ; Казанский государственный университет |
|
2005 |
Тихончев, Михаил Юрьевич |
Автоматный анализ детерминированных графов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Тихончев Михаил Юрьевич ; [Ульяновский государственный университет, г. Димитровград] |
|
2000 |
Тренькаев, Вадим Николаевич |
Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.01 / Тренькаев Вадим Николаевич ; Том. гос. ун-т |
|
2005 |
Рзун, Ирина Геннадьевна (кандидат физико-математических наук ; род. 1972) |
Методы синтеза и анализа проходимых автоматов в управлении технологическими процессами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 / Рзун Ирина Геннадьевна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
2005 |
Семынина, Татьяна Валерьевна |
Разработка категорных средств анализа формальных языков на основе теории конических типов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Семынина Татьяна Валерьевна ; [Воронежский государственный технический университет] |
|
2006 |
Винокуров, Никита Сергеевич |
Автоморфизмы автоматных структур : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Винокуров Никита Сергеевич ; [Новосибирский государственный университет] |
|
1999 |
Окунишникова, Е. В. |
Представление временных конструкций Estelle в различных моделях временных сетей Петри = Presentation of the Estelle time constructions using different models of timed Petri nets / Е.В.Полонский |
|
1989 |
|
Редактор базы знаний для проектирования дискретных устройств / Академия наук Белорусской ССР, Институт технической кибернетики ; [авторы-составители: Б. М. Егоров, А. А. Прихожий ; научный редактор В. А. Мищенко] |
|
2005 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров / Л. П. Лисовик. — Т. 1, кн. 1: Типы языков и машин : главы 1―4 |
|
2004 |
Гайнутдинова, Аида Фаритовна |
Сравнительная сложность квантовых и классических моделей вычислений : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Гайнутдинова Аида Фаритовна ; [Научно-исследовательский институт математики и механики им. Н.Г.Чеботарева при Казанском государственном университете] |
|
1987 |
Соколов, Владимир Васильевич (телемеханика) |
Методическое пособие по курсу "Основы кибернетики" / А. В. Павлова, В. В. Соколов ; Министерство высшего и среднего специального образования, Минский радиотехнический институт, Кафедра автоматики и телемеханики. — Ч. 2: Графы. Автоматы |
|
1999 |
Тяпаев, Ливат Борисович (кандидат физико-математических наук ; род. 1972) |
Геометрические образы поведения автоматов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Сарат. гос. ун-т им. Н.Г.Чернышевского |
|
2000 |
Баженова, Галина Александровна |
О рациональных множествах в разрешимых группах : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / М-во образования Рос. Федерации, Омск. гос. ун-т |
|
2000 |
Максименко, Игорь Иванович |
Эксперименты в финитно-определенных метрических пространствах автоматов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Максименко Игорь Иванович ; Сарат. гос. ун-т им. Н.Г.Чернышевского |
|
2006 |
Пантелеев, Павел Анатольевич |
Об отличимости состояний конечных автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Пантелеев Павел Анатольевич ; [Московский государственный университет им. М.В.Ломоносова] |
|
1990 |
Тайминя, Дайна Яновна |
Поведение различных типов машин, работающих на бесконечных словах : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Тайминя Дайна Яновна ; Акад. наук БССР, Ин-т математики |
|
2004 |
Козюра, В. Е. |
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / В.Е.Козюра ; Российская академия наук, Сибирское отделение, Институт систем информатики им. А.П.Ершова |
|
2005 |
Спицына, Наталия Владимировна |
Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Спицына Наталия Владимировна ; Томский государственный университет |
|
2000 |
Куфарева, Ирина Борисовна |
Применение недетерминированных автоматов в задачах сиснтеза проверяющих тесов для систем логического управления : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.01 / Куфарева Ирина Борисовна ; Том. гос. ун-т |
|
2005 |
Никифорова, Анна Михайловна |
Разработка методов формирования целенаправленного поведения аниматов на основе конечных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.17 / Никифорова Анна Михайловна ; [Таганрогский государственный радиотехнический университет] |
|
1975 |
Блох, Абрам Шлемович (доктор технических наук) |
Граф-схемы и их применение : [учебно-вспомогательное пособие для математических и инженерно-технических специальностей высших учебных заведений] / А. Ш. Блох |
|
2001 |
Белоусов, Алексей Иванович (кандидат физико-математических наук) |
Дискретная математика : Учеб. для высш. техн. учеб. заведений / А.И.Белоусов, С.Б.Ткачев ; Под ред. В.С.Зарубина, А.П.Крищенко |
|
2006 |
Мозговой, Максим Владимирович |
Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход / Мозговой М.В |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ