- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Разработка прекомпилируемой защиты программных систем с посткомпилируемой обработкой исполняемого кода на основе конечно-автоматных моделей
Тип роботи:
Дис. канд. техн. наук
Рік:
2004
Артикул:
15135 179 грн
Рекомендовані дисертації
- Модели, методы и программные средства обработки нечеткой информации в системах поддержки принятия решений на основе когнитивных карт
- Информационно-поисковая система для сопровождения сейсморазведочных работ
- Технология построения языков спецификаций классов задач, ориентированных на пользователей
- Исследование и реализация систем дискретно-событийного имитационного моделирования на основе графовых моделей
- Модели, методы и инструментальные средства интерактивного контроля выполнения многошаговых учебных заданий
- Разработка интеллектуальной информационно-управляющей системы оценки ядерной деятельности стран
- Математические модели и методы оптимальной организации параллельных конкурирующих процессов и их реализация
- Теория конформности для функционального тестирования программных систем на основе формальных моделей
- Методы и средства мультиплексирования пакетов данных и речевых сообщений
- Верификация С-программ с помощью смешанной аксиоматической семантики