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