| № | Дата |
Автор |
Заглавие |
|---|
|
1970 |
Бром, Е. Л. |
Некоторые вопросы синтеза полициклических конечных автоматов : Автореф. дис. на соиск. учен. степ. канд. техн. наук: (255) / АН БССР, Отд-ние физико-техн. наук |
|
1995 |
Захаров, Вячеслав Михайлович |
Аппаратно-программная организация специализированных процессоров на основе автономных вероятностных автоматов : Автореф. дис. на соиск. учен. степ. д-ра техн. наук : 05.13.05 / НИИ математики и механики Казан. гос. ун-т |
|
1962 |
Блох, Абрам Шлемович (доктор технических наук) |
Вопросы реализации конечных автоматов : автореферат диссертации на соискание ученой степени доктора технических наук / А. Ш. Блох ; Академия наук БССР, Отделение технических наук |
|
2007 |
Пономаренко, Александр Владимирович |
Универсальное тестирование в частных классах автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Пономаренко Александр Владимирович ; [Институт проблем точной механики и управления РАН] |
|
2008 |
Баев, Владимир Валерьевич |
Эффективные алгоритмы получения оценок алгебраической иммуности булевых функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Баев Владимир Валерьевич ; Московский государственный университет им. М. В. Ломоносова |
|
1984 |
|
Основные средства описания алгоритмов : методические материалы / Академия наук Белорусской ССР, Институт технической кибернетики ; [автор-составитель Л. П. Матюшков] |
|
2009 |
Мазный, Никита Геннадиевич |
Использование метода конечных автоматов для разработки программного обеспечения автоматизации экспериментов в области физики низких энергий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Мазный Никита Геннадиевич ; [Объединенный институт ядерных исследований] |
|
2010 |
Соболев, Михаил Сергеевич |
Моделирование многокомпонентных систем при помощи взаимодействующих Х-машин : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Соболев Михаил Сергеевич ; [Московский физико-технический институт (государственный университет)] |
|
2012 |
Мельникова, Александра Александровна |
Базисные конечные автоматы и их применение в задачах исследования регулярных языков : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Мельникова Александра Александровна ; [Московский инженерно-физический институт] |
|
2013 |
Чигарев, Анатолий Власович (доктор физико-математических наук ; род. 1941) |
Введение в мехатронику : учебное пособие для студентов учреждений высшего образования по техническим специальностям / А. В. Чигарев, К. Циммерман, В. А. Чигарев ; Министерство образования Республики Беларусь, Белорусский национальный технический университет, Кафедра "Теоретическая механика" |
|
2013 |
Гусев, Владимир Валерьевич |
Экстремальные конструкции в теории синхронизируемых автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Гусев Владимир Валерьевич ; Российская академия наук, Уральское отделение, Институт математики и механики |
|
2013 |
Мельникова, Александра Александровна |
Базисный конечный автомат как инвариант регулярного языка : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Мельникова Александра Александровна ; [Национальный исследовательский ядерный университет «МИФИ»] |
|
2015 |
Пархоменко, Денис Владимирович |
Гистограммная функция автомата и ее приложения : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Пархоменко Денис Владимирович ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |
|
2015 |
Ульянцев, Владимир Игоревич |
Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Ульянцев Владимир Игоревич ; [Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики] |
|
2016 |
Кушик, Наталья Геннадьевна (кандидат физико-математических наук) |
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Кушик Наталья Геннадьевна ; [Национальный исследовательский Томский государственный университет] |
|
2016 |
|
Руководство по микропрограммному обеспечению : [перевод с английского] / под редакцией Джека Ганссла |
|
2017 |
Стариченко, Борис Евгеньевич (доктор педагогических наук ; кандидат физико-математических наук) |
Теоретические основы информатики : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Информационные системы и технологии" / Стариченко Б. Е |
|
2020 |
Соловьев, Валерий Васильевич (доктор технических наук ; информатика ; вычислительная техника ; род. 1956) |
Проектирование функциональных блоков встраиваемых систем на FPGA / В. В. Соловьев |
|
2021 |
Соловьев, Валерий Васильевич (доктор технических наук ; информатика ; вычислительная техника ; род. 1956) |
Основы языка проектирования цифровой аппаратуры Verilog / В. В. Соловьев |
|
2021 |
Шоломов, Лев Абрамович |
Основы теории дискретных логических и вычислительных устройств : учебное пособие по направлению ВПО 010500 — "Прикладная математика и информатика" и 010400 — "Информационные технологии" / Л. А. Шоломов |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ