| Тема диссертации |
Автор |
Год |
|
|
Разработка программного обеспечения специализированной базы знаний для автоматизации решения инженерных задач
|
Крутоверцев, Константин Игоревич |
2003 |
|
|
Разработка расширенной реляционной модели данных распределенной хронологической системы управления виртуальными представительствами
|
Аксенов, Андрей Андреевич |
2003 |
|
|
Разработка системы оценки качества программных комплексов для дистанционного обучения
|
Бабешко, Владимир Николаевич |
2003 |
|
|
Разработка специального математического обеспечения системы анализа динамики асинхронного электропривода
|
Преображенский, Игорь Валерьевич |
2003 |
|
|
Разработка технологических систем машинной графики
|
Дебелов, Виктор Алексеевич |
2003 |
|
|
Создание приложений для сети Интернет на основе корпоративных технологий
|
Решетников, Сергей Олегович |
2003 |
|
|
Спецификация и синтез программного обеспечения защищенных информационных систем на основе расширенных концептуальных моделей
|
Фомин, Александр Владимирович |
2003 |
|
|
Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
|
Петренко, Александр Константинович |
2003 |
|
|
Технологии проектирования и создания информационных порталов на основе спецификации функциональной структуры обобщенными сетями Петри
|
Чернев, Сергей Петрович |
2003 |
|
|
Технология построения автоматизированных систем хранения спутниковых данных
|
Прошин, Андрей Алексеевич |
2003 |
|
|
Трехуровневая инструментальная среда поддержки корпоративного проектирования
|
Смирнов, Демид Владимирович |
2003 |
|
|
Унификация и оценка качества методов построения программного обеспечения информационной системы: На примере вуза
|
Веденяпин, Игорь Эдуардович |
2003 |
|
|
Функциональный язык для разработки переносимых параллельных программ
|
Казаков, Фёдор Александрович |
2003 |
|
|
Эволюционная система извлечения знаний на реляционных базах данных
|
Ковалев, Дмитрий Александрович |
2003 |
|
|
Алгоритмическое и программное обеспечение геоинформационной системы для решения гидрогеологических задач
|
Захарова, Алена Александровна |
2002 |
|
|
Алгоритмическое и программное обеспечение геоинформационной системы для решения задач управления сетями инженерных коммуникаций
|
Кудинов, Антон Викторович |
2002 |
|
|
Алгоритмическое и программное обеспечение системы интерпретации аэрокосмических изображений для решения задач картирования ландшафтных объектов
|
Напрюшкин, Александр Алексеевич |
2002 |
|
|
Верификация распределенных программ методом проверки на модели
|
Царьков, Дмитрий Викторович |
2002 |
|
|
Генерирование столбцов в симплекс-методе: Вопросы программной реализации
|
Ли Хе Ран |
2002 |
|
|
Интеграция разнородных языковых механизмов в рамках одного языка программирования
|
Столяров, Андрей Викторович |
2002 |
|
