- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики
Тип работы:
Кандидатская
Год:
2013
Артикул:
336159 179 грн
Рекомендуемые диссертации
- Разработка принципов и методов построения программных систем поддержки принятия решений в слабо структурированных ситуациях на основе моделирования знаний эксперта
- Математические модели и программные средства защиты распределенных компьютерных систем
- Методы и средства построения представлений унаследованной информационной системы в процессе реинжиниринга
- Разработка программно-методической системы автоматизации обучения, основанной на логическом подходе
- Анализ и разработка способов индексирования текстов на основе обобщенных и неплотных суффиксных деревьев
- Разработка инструментария переноса и оптимизации приложений в многоплатформенной среде
- Инструментальные средства создания интеллектуальных обучающих систем с визуальным преобразованием, сопоставлением и вычислением формул
- Исследование и разработка системы отображения и наблюдения тренажера подводного аппарата
- Создание диалоговой системы проектирования сотовых сетей
- Проектирование и оценка качества программ на основе структурно-графических представлений