Перейти к содержимому. | Перейти к навигации

Разделы

Персональные инструменты

Вход

Вы здесь: Главная → Курсовые работы → Осень 2015 → Магистры, 564 группа → Агапова Татьяна Юрьевна. Построение дискретного плана управления по спецификации в виде LTL-формулы

Агапова Татьяна Юрьевна. Построение дискретного плана управления по спецификации в виде LTL-формулы

Агапова Татьяна Юрьевна.pdf — PDF document, 458Kb

Действия с Документом

Новости: $News Item$ Стипендия А.Н. Терехова 2016-06-17; $News Item$ Защиты магистерских диссертаций 010300 «Фундаментальные информатика и информационные технологии» 2014-06-06; $News Item$ Защиты ВКР бакалавров 010400 «Информационные технологии» 2014-06-04; $News Item$ Предзащиты магистров 010300 и бакалавров 010400 2014-05-26; $News Item$ Предзащиты бакалавров 010400 (информационные технологии) 2014-05-20; Ещё новости…