- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Формальная семантика C-LIGHT программ и их верификация методом Хоара
Тип роботи:
Дис. канд. физ.-мат. наук
Рік:
2004
Артикул:
15170 179 грн
Рекомендовані дисертації
- Алгоритмы синхронизации данных без сохранения состояния
- Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем
- Математическое обеспечение ресурсного планирования в информационной системе управления предприятием
- Система анализа и прогнозирования состояния рынка ценных бумаг
- Электронные документы со встроенной динамической моделью на основе XML
- Совершенствование гибридных абдуктивных методов для создания интеллектуальных систем поддержки принятия решений
- Система автоматического синтеза функциональных программ
- Математическое и программное обеспечение процессов пространственной привязки космических изображений по электронным картам
- Инструментальные средства создания элементов пользовательского интерфейса на основе семантического описания компьютерных пиктограмм
- Модель и методика обнаружения несанкционированных действий и атак в сетях ТСР/IP