| № | Дата |
Автор |
Заглавие |
|---|
|
1970 |
Бром, Е. Л. |
Некоторые вопросы синтеза полициклических конечных автоматов : Автореф. дис. на соиск. учен. степ. канд. техн. наук: (255) / АН БССР, Отд-ние физико-техн. наук |
|
2002 |
Severyanov, V. M. |
An approach to formal description of one class of automata networks / V.M.Severyanov |
|
2011 |
|
Дискретная математика : методические указания к практическим занятиям для студентов специальности 23 01 02 "Автоматизированные системы обработки информации и управления" / Государственное учреждение высшего профессионального образования "Белорусско-Российский университет", Кафедра "Автоматизированные системы управления" ; [составитель А. И. Якимов] |
|
2011 |
Колдаев, Виктор Дмитриевич (доктор технических наук ; 1950—2020) |
Основы логического проектирования : учебное пособие для студентов, обучающихся по группе специальностей "Программное обеспечение вычислительной техники и автоматизированных систем", "Вычислительные машины", комплексы, системы и сети", "Системы автоматизированного проектирования" / В. Д. Колдаев |
|
2013 |
Мельникова, Александра Александровна |
Базисный конечный автомат как инвариант регулярного языка : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Мельникова Александра Александровна ; [Национальный исследовательский ядерный университет «МИФИ»] |
|
2015 |
Пархоменко, Денис Владимирович |
Гистограммная функция автомата и ее приложения : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Пархоменко Денис Владимирович ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |
|
2000 |
Шульга, Татьяна Эриковна (доктор физико-математических наук) |
Методы и модели функционального восстановления поведения систем, моделируемых автоматами специального класса : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Шульга Татьяна Эриковна ; Сарат. гос. ун-т им. Н.Г.Чернышевского |
|
2000 |
Посохина, Наталия Игоревна |
Задачи синтеза и анализа перечислителей в некоторых классах конечных автоматов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Посохина Наталия Игоревна ; Сарат. гос. ун-т им. Н.Г.Чернышевского |
|
2004 |
Кунявская, Анна Наумовна |
Распознавание конечных детерминированных автоматов методом зацикливания : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Кунявская Анна Наумовна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
1975 |
|
Синтез асинхронных автоматов на ЭВМ / [А. Д. Закревский и др.] ; под общей редакцией А. Д. Закревского |
|
2004 |
Грунский, Игорь Сергеевич |
Синтез и идентификация автоматов / И.С.Грунский, В.А.Козловский ; Национальная академия наук Украины, Институт прикладной математики и механики |
|
2005 |
Нурутдинов, Шамиль Рамилович |
Полиномиальные модели автоматных преобразований над полем GF (2n) : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.18 / Нурутдинов Шамиль Рамилович ; Казанский государственный университет |
|
1977 |
Пономаренко, Вадим Кузьмич (кандидат физико-математических наук) |
Автоматы, реализующие операторы сравнения и вычисления значений линейных функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Математическая кибернетика / Пономаренко Вадим Кузьмич ; Академия наук Белорусской ССР, Институт математики |
|
2005 |
Тихончев, Михаил Юрьевич |
Автоматный анализ детерминированных графов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Тихончев Михаил Юрьевич ; [Ульяновский государственный университет, г. Димитровград] |
|
2000 |
Тренькаев, Вадим Николаевич |
Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.01 / Тренькаев Вадим Николаевич ; Том. гос. ун-т |
|
2005 |
Рзун, Ирина Геннадьевна (кандидат физико-математических наук ; род. 1972) |
Методы синтеза и анализа проходимых автоматов в управлении технологическими процессами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 / Рзун Ирина Геннадьевна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
2006 |
Винокуров, Никита Сергеевич |
Автоморфизмы автоматных структур : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Винокуров Никита Сергеевич ; [Новосибирский государственный университет] |
|
2009 |
Притыкин, Юрий Львович |
Алгоритмические свойства последовательностей, близких к периодическим : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Притыкин Юрий Львович ; Московский государственный университет им. М. В. Ломоносова |
|
2016 |
Мухопад, Александр Юрьевич (кандидат технических наук) |
Анализ и синтез устройств управления проблемно-ориентированными средствами вычислительной техники и сложными техническими системами : автореферат диссертации на соискание ученой степени доктора технических наук : специальность 05.13.05 Элементы и устройства вычислительной техники и систем управления / Мухопад Александр Юрьевич ; [Иркутский государтвенный университет путей сообщения] |
|
2021 |
Часовских, Анатолий Александрович (кандидат физико-математических наук) |
Полнота и выразимость в классах линейных автоматов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Часовских Анатолий Александрович ; научный консультант Кудрявцев Валерий Борисович ; Московский государственный университет им. М. В. Ломоносова |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ