-
-
-
-
-
-
-
-
-
-
-
- Верификация моделей программ
- Компонентно-ориентированное программирование
- Методы и алгоритмы защиты информации
- Неклассические архитектуры вычислителей
- Обработка изображений и распознавание образов
- Ресурсно-эффективные комбинированные алгоритмы
- Управление данными и знаниями
- Управление рисками
- Спецификация и верификация распределенных систем
-
-







