| № | Дата |
Автор |
Заглавие |
|---|
|
2012 |
Мельникова, Александра Александровна |
Базисные конечные автоматы и их применение в задачах исследования регулярных языков : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Мельникова Александра Александровна ; [Московский инженерно-физический институт] |
|
2013 |
Мельникова, Александра Александровна |
Базисный конечный автомат как инвариант регулярного языка : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Мельникова Александра Александровна ; [Национальный исследовательский ядерный университет «МИФИ»] |
|
2016 |
Кушик, Наталья Геннадьевна (кандидат физико-математических наук) |
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Кушик Наталья Геннадьевна ; [Национальный исследовательский Томский государственный университет] |
|
2004 |
Макконелл, Джеффри |
Основы современных алгоритмов : учеб. пособие по направлению подгот. специалистов "Информатика и вычисл. техника" / Дж. Макконелл ; пер. с англ. под ред. С.К. Ландо ; доп. М.В. Ульянова |
|
2014 |
Мельникова, Александра Александровна |
Базисные конечные автоматы : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Мельникова Александра Александровна ; [Национальный исследовательский ядерный университет "МИФИГ"] |
|
2009 |
Громов, Максим Леонидович |
Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 / Громов Максим Леонидович ; [ГОУ ВПО "Томский государственный университет"] |
|
2013 |
Зубова, Мария Анатольевна |
Применение универсального конечного автомата в прикладных задачах теории формальных языков : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Зубова Мария Анатольевна ; [Тольяттинский государственный университет] |
|
2013 |
Кушик, Наталья Геннадьевна (кандидат физико-математических наук) |
Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Кушик Наталья Геннадьевна ; [Национальный исследовательский Томский государственный университет] |
|
2000 |
Куфарева, Ирина Борисовна |
Применение недетерминированных автоматов в задачах сиснтеза проверяющих тесов для систем логического управления : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.01 / Куфарева Ирина Борисовна ; Том. гос. ун-т |
|
2012 |
Рогова, Ольга Александровна |
Подход к оценке репрезентативности случайно сгенерированных дискретных структур на примере недетерминированных конечных автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Рогова Ольга Александровна ; [Тольяттинский государственный университет] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ