- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Формальная семантика C-LIGHT программ и их верификация методом Хоара
Тип роботи:
Дис. канд. физ.-мат. наук
Рік:
2004
Артикул:
15170 179 грн
Рекомендовані дисертації
- Теория семантически значимых отображений и ее применение для проектирования реляционных баз данных
- Разработка технологии автоматизированной подготовки динамических документов и интерактивного повествования
- Приближенные методы решения задачи Штейнера на ориентированных графах
- Математическое и программное обеспечение работы с электронными документами, удостоверяющими личность гражданина Социалистической Республики Вьетнам
- Методы поддержки активного поведения систем управления базами XML-данных
- Разработка объектно-ориентированного математического и программного обеспечения информационных технологий управления индивидуализированным обучением в коррекционной школе
- Разработка алгоритмов и программных средств моделирования оптических систем на основе технологии рассеивающих микроэлементов
- Повышение эффективности применения методов сжатия цифровых изображений
- Разработка графического подхода к проектированию корпоративных приложений на основе технологий Java 2, Enterprise Edition
- Немецкая авиационная терминология