Диссертации, подготовленные на кафедре
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
|
mailto: webmaster@dcn.ftk.spbstu.ru