Диссертации, подготовленные на кафедре

References
6.
Трифонов, П.В.
Методы построения и декодирования многочленных кодов
Диссертация на соискание ученой степени доктора технических наук
Санкт-Петербургский политехнический университет,
2018
5.
Шошмина, Ирина В.
Метод разработки формальных контекстных требований для верификации программных систем логического управления
Диссертация
СПбПУ,
March 2015

Keywords: Реагирующие системы, метод проверки модели, инженерия программных требований, темпоральная логика

4.
Милославская, Вера
Методы построения и декодирования полярных кодов
Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.01
Санкт-Петербургский государственный политехнический университет,
March 2015
3.
Кондратьев, М.
Разработка модели распространения инфекционных заболеваний на основе агентного подхода
Диссертация на соискание ученой степени кандидата технических наук
Санкт-Петербургский государственный политехнический университет,
2012
2.
Сениченков, Ю.Б.
Основы теории и средства моделирования гибридных систем
Диссертация на соискание доктора технических наук по специальности 05.13.11 - математическое и программное обеспечение вычислительных машин,
Санкт-Петербургский государственный политехнический университет,
2005
1.
Трифонов, П.В.
Адаптивное кодирование в многочастотных системах
Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.01
Санкт-Петербургский государственный политехнический университет,
2005
Export as:
BibTeX, XML