| № | Дата |
Автор |
Заглавие |
|---|
|
2006 |
Вахлаева, Клавдия Павловна |
Функциональное восстановление автоматов-перечислителей с обобщенными временными характеристиками линейного типа : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Вахлаева Клавдия Павловна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
1962 |
Блох, Абрам Шлемович (доктор технических наук) |
Вопросы реализации конечных автоматов : автореферат диссертации на соискание ученой степени доктора технических наук / А. Ш. Блох ; Академия наук БССР, Отделение технических наук |
|
2008 |
Тихомирова, Светлана Владимировна |
Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Тихомирова Светлана Владимировна ; [ГОУ ВПО "Томский государственный университет"] |
|
1976 |
Петрович, Валерий Дмитриевич (математика ; экономика) |
Текст лекции по теме "Основные методы распознавания экономических объектов" курса высшей математики для студентов экономических специальностей / В. Д. Петрович ; Белорусский государственный институт народного хозяйства им. В. В. Куйбышева |
|
2002 |
Карпов, Юрий Глебович (доктор технических наук) |
Теория автоматов : Учеб. для вузов / Ю.Г.Карпов |
|
2000 |
Шалыто, Анатолий Абрамович |
Логическое управление. Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто |
|
2005 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров : [монография] / Л.П. Лисовик. — Т. 1: Главы 5-12. Кн. 2, Алгебра и автоматы. 1 |
|
1990 |
Грунский, Игорь Сергеевич |
Представления конечных автоматов фрагментами поведения / АН УССР.Ин-т прикл.математики и механики |
|
2010 |
Жук, Дмитрий Николаевич |
Решение проблемы отделимости алгоритмически разрешимых случаев А—полноты для базисов поста дефинитных автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Жук Дмитрий Николаевич ; Московский государственный университет им. М. В. Ломоносова |
|
2010 |
Максимовский, Михаил Юрьевич |
Полигоны и мультиполигоны над полугруппами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Максимовский Михаил Юрьевич ; [Московский государственный институт электронной техники] |
|
2011 |
|
Дискретная математика : методические указания к практическим занятиям для студентов специальности 23 01 02 "Автоматизированные системы обработки информации и управления" / Государственное учреждение высшего профессионального образования "Белорусско-Российский университет", Кафедра "Автоматизированные системы управления" ; [составитель А. И. Якимов] |
|
2011 |
Колдаев, Виктор Дмитриевич (доктор технических наук ; 1950—2020) |
Основы логического проектирования : учебное пособие для студентов, обучающихся по группе специальностей "Программное обеспечение вычислительной техники и автоматизированных систем", "Вычислительные машины", комплексы, системы и сети", "Системы автоматизированного проектирования" / В. Д. Колдаев |
|
2012 |
Мельникова, Александра Александровна |
Базисные конечные автоматы и их применение в задачах исследования регулярных языков : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Мельникова Александра Александровна ; [Московский инженерно-физический институт] |
|
2013 |
Гусев, Владимир Валерьевич |
Экстремальные конструкции в теории синхронизируемых автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Гусев Владимир Валерьевич ; Российская академия наук, Уральское отделение, Институт математики и механики |
|
1989 |
Герго, Элемир Иосифович (информатика) |
Многофункциональные настраиваемые логические модули с однородной организацией структуры : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.05 Элементы и устройства вычислительной техники и систем управления / Герго Элемир Иосифович ; Академия наук Украинской ССР, Институт кибернетики им. В. М. Глушкова |
|
2015 |
Пархоменко, Денис Владимирович |
Гистограммная функция автомата и ее приложения : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Пархоменко Денис Владимирович ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |
|
2016 |
Кушик, Наталья Геннадьевна (кандидат физико-математических наук) |
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Кушик Наталья Геннадьевна ; [Национальный исследовательский Томский государственный университет] |
|
2017 |
|
Основы вычислительной и микропроцессорной техники. Арифметические и логические основы цифровых устройств : пособие / [И. Г. Ильев и др.] ; Вооруженные Силы Республики Беларусь, Военная академия Республики Беларусь |
|
2017 |
Стариченко, Борис Евгеньевич (доктор педагогических наук ; кандидат физико-математических наук) |
Теоретические основы информатики : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Информационные системы и технологии" / Стариченко Б. Е |
|
2018 |
Шевелев, Юрий Павлович (кандидат технических наук) |
Прикладные вопросы дискретной математики : учебное пособие / Ю. П. Шевелев |
|
2021 |
Шоломов, Лев Абрамович |
Основы теории дискретных логических и вычислительных устройств : учебное пособие по направлению ВПО 010500 — "Прикладная математика и информатика" и 010400 — "Информационные технологии" / Л. А. Шоломов |
|
2023 |
|
Трансляция формальных языков : курс лекций / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П. М. Машерова", Кафедра прикладного и системного программирования ; [составитель С. В. Сергеенко] |
|
1989 |
Мохамед, Саид Хуссейн Эль-Сайед Фахми |
Исследование алгебр автоматных отображений : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Мохамед Саид Хуссейн Эль-Сайед Фахми ; Академия наук Белорусской ССР, Институт математики |
|
2000 |
Кудрин, Александр Александрович |
Автоматная сложность вычисления формул : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Кудрин Александр Александрович ; [Моск. гос. ун-т им. М.В.Ломоносова] |
|
2004 |
Кунявская, Анна Наумовна |
Распознавание конечных детерминированных автоматов методом зацикливания : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Кунявская Анна Наумовна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
2004 |
Самойлов, Виктор Геннадьевич |
Исследование линейных дискретных систем, заданных интервальными характеристическими матрицами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Самойлов Виктор Геннадьевич ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
2003 |
Семигродских, Александр Павлович |
Решетки замкнутых классов функций на бесконечном множестве : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Семигродских Александр Павлович ; [Урал. гос. ун-т] |
|
1992 |
Гаврилов, Гарий Петрович (доктор физико-математических наук ; род. 1935) |
Задачи и упражнения по курсу дискретной математики : Учеб.пособие для студентов вузов,обучающихся по спец."Прикл.математика" |
|
2007 |
|
Автоматизация проектирования дискретных систем = Computer-aided design of discrete devices CAD DD'07 : материалы 6-й Международной конференции, 14―15 ноября 2007 г., Минск : в 2 т. — Т. 1 |
|
1975 |
|
Синтез асинхронных автоматов на ЭВМ / [А. Д. Закревский и др.] ; под общей редакцией А. Д. Закревского |
|
2004 |
Грунский, Игорь Сергеевич |
Синтез и идентификация автоматов / И.С.Грунский, В.А.Козловский ; Национальная академия наук Украины, Институт прикладной математики и механики |
|
2002 |
Хопкрофт, Джон Э |
Введение в теорию автоматов, языков и вычислений : Пер. с англ. / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман |
|
2007 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Трансдьюсеры / Л. П. Лисовик. — [Т.] 2 |
|
1998 |
Короткевич, А. Г. |
Анализ и оптимизация параллельных алгоритмов логического управления : Автореф.дис.... канд.техн.наук:05.13.01 / Бел.гос.ун-т информатики и радиоэлектроники |
|
2005 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров : [монография] / Л.П. Лисовик. — Т. 1: Главы 1-4. Кн. 1, Типы языков и машин |
|
1998 |
Шалыто, Анатолий Абрамович |
SWITCH-технология.Алгоритмизация и программирование задач логического управления |
|
2008 |
Горбатов, Вячеслав Афанасьевич (доктор технических наук ; доктор физико-математических наук ; доктор экономических наук ; 1939—2010) |
Теория автоматов : учебник для студентов втузов / В. А. Горбатов, А. В. Горбатов, М. В. Горбатова |
|
2010 |
Волков, Николай Юрьевич |
Об автоматной модели преследования : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Волков Николай Юрьевич ; Московский государственный университет им. М. В. Ломоносова |
|
2010 |
Зузанова, Мария Рафаэльевна |
Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных атоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Зузанова Мария Рафаэльевна ; [Тольяттинский государственный университет] |
|
2010 |
Петрова, Елена Владиленовна |
Математическое моделирование защищенных информационных систем органов внутренних дел на основе использования методов теории автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.18 ; 05.13.19 / Петрова Елена Владиленовна ; [Воронежский институт МВД России] |
|
2011 |
Подколзина, Мария Александровна |
О полноте и A-полноте S-множеств детерминированных функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Подколзина Мария Александровна ; Московский государственный университет им. М. В. Ломоносова |
|
2011 |
Епифанов, Антон Сергеевич |
Модели и методы анализа, интерполяции и распознавания автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Епифанов Антон Сергеевич ; [Институт проблем точной механики и управления РАН (г. Саратов)] |
|
2011 |
Берлинков, Михаил Владимирович |
Аппроксимация длин синхронизирующих слов для конечных автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Берлинков Михаил Владимирович ; Российская академия наук Уральское отделение Институт математики и механики |
|
2012 |
Закс, Юлия Иосифовна |
Синхронизируемость конечных автоматов в экстремальном и среднем случаях : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Закс Юлия Иосифовна ; [Уральский федеральный университет им. первого Президента России Б. Н. Ельцина] |
|
2012 |
Майоров, Александр Викторович |
Методы и средства синтеза автоматов мультибиометрической аутентификации : автореферат диссертации на соискание ученой степени кандидата технических наук : специальности 05.13.17 Теоретические основы информатики, 05.13.19 Методы и системы защиты информации, информационная безопасность / Майоров Александр Викторович ; [Пензенский государственный университет] |
|
1973 |
|
Системы управления : [сборник статей] / Министерство приборостроения средств автоматизации и систем управления СССР, Институт проблем управления |
|
2006 |
|
Modern formal methods and applications [Electronic resource] / ed. by Hossam A. Gabbar |
|
2019 |
Кудрявцев, Валерий Борисович (доктор физико-математических наук, математика ; 1936—2021) |
Теория автоматов : учебник для бакалавриата и магистратуры : для студентов высших учебных заведений, обучающихся по естественнонаучным и инженерно-техническим направлениям / В. Б. Кудрявцев, С. В. Алешин, А. С. Подколзин |
|
2019 |
Артоболевский, Иван Иванович (доктор технических наук ; 1905—1977) |
Теория механизмов и машин : учебник для студентов высших технических учебных заведений / И. И. Артоболевский ; предисловие А. П. Бессонова, А. Н. Боголюбова, Н. И. Левитского |
|
2023 |
Трухин, Михаил Павлович (кандидат технических наук) |
Моделирование сигналов и систем. Конечномерные системы и дискретные каналы связи : учебное пособие / М. П. Трухин ; научный редактор С. В. Поршнев |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ