- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Формальная семантика C-LIGHT программ и их верификация методом Хоара
Тип роботи:
Дис. канд. физ.-мат. наук
Рік:
2004
Артикул:
15170 179 грн
Рекомендовані дисертації
- Разработка математического и программного обеспечения для компьютерных тренажеров в энергетике
- Аспектный подход к созданию объектно-ориентированных систем управления базами данных
- Исследование методов анализа Интернет-ресурсов и реализация на этой основе мультиагентной системы поиска информации
- Разработка и создание информационной технологии дистанционного определения параметров первичной продуктивности в системах мониторинга океана
- Оптимизация объектного кода для процессорных архитектур с поддержкой параллелизма на уровне команд
- Алгоритмическое обеспечение для маршрутизации с поддержкой качества обслуживания данных в беспроводных вычислительных сетях
- Методы и средства генерации данных для тестирования встроенного бортового программного обеспечения
- Романтическое стилевое течение в украинской советской поэзии 20-х - 30-х годов (М. Бажан, Ю. Яновский, О. Влызько, Л. Первомайский)
- Исследование и разработка методов организации выполнения и физической оптимизации запросов к XML-данным
- Разработка инструментальных средств оценки качества Интернет-ориентированных систем управления данными