№ | Дата |
Автор |
Заглавие |
---|
|
2015 |
Королев, Юрий Ильич |
Методы и программные средства моделирования сложных динамических систем на основе темпоральной модификации раскрашенных сетей Петри : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Королев Юрий Ильич ; [ФГБОУ ВО НИУ "МЭИ"] |
|
2010 |
Карпов, Юрий Глебович (доктор технических наук) |
MODEL CHECKING. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов |
|
1995 |
Попов, Виталий Владимирович |
Темпоральная логика и теория изменения : Автореф. дис. на соиск. учен. степ. канд. филос. наук : 09.00.07 / МГУ им. М.В.Ломоносова |
|
2017 |
Нгуен Тхи Минь Ву |
Разработка методов темпоральной спецификации и дедукции для онтологий : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.17 Теоретические основы информатики / Нгуен Тхи Минь Ву ; [Институт автоматики и вычислительной техники ФГБОУ ВО НИУ "МЭИ"] |
|
2004 |
|
Логические исследования / Рос. акад. наук, Ин-т философии. — Вып. 11 / редкол.: Карпенко А.С. (отв. ред.) [и др.] |
|
2015 |
Шошмина, Ирина Владимировна |
Метод разработки формальных контекстных требований для верификации программных систем логического управления : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Шошмина Ирина Владимировна ; [Санкт-Петербургский политехнический университет Петра Великого] |
|
2022 |
Буравцев, Алексей Владимирович |
Исследование и разработка геоинформационной системы адресного реестра : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 25.00.35 Геоинформатика / Буравцев Алексей Владимирович ; [Московский государственный университет геодезии и картографии (МИИГАиК)] |
|
2016 |
Захаров, Андрей Сергеевич |
Методы и алгоритмы моделирования приближенных рассуждений на основе темпоральных нечетких байесовских сетей : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.17 Теоретические основы информатики / Захаров Андрей Сергеевич ; [Национальный исследовательский университет "МЭИ" в г. Смоленске] |
|
2018 |
Авдошин, Сергей Михайлович (кандидат технических наук) |
Дискретная математика. Формально-логические системы и языки : для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и вычислительная техника", 09.03.02 "Информационные системы и технологии", 09.03.03 "Прикладная информатика", 09.03.04 "Программная инженерия" / С. М. Авдошин, А. А. Набебин |