| Тема диссертации |
Автор |
Год |
|
|
Разработка алгоритмического и программного обеспечения для проектирования и поддержки регионального банка цифровой геологической информации
|
Уваров, Владислав Вадимович |
2000 |
|
|
Разработка и исследование измерительных процессоров алгоритмических языков программирования
|
Остроухова, Светлана Николаевна |
2000 |
|
|
Разработка и исследование методов и средств формального специфицирования моделей и метрик программ
|
Шалфеева, Елена Арефьевна |
2000 |
|
|
Разработка и исследование подсистемы трассировки заказных СБИС
|
Щукин, Александр Валентинович |
2000 |
|
|
Разработка и сопровождение открытых СУБД приложений
|
Куделя, Сергей Викторович |
2000 |
|
|
Разработка математического обеспечения систем управления вложенными транзакциями в параллельных и распределенных средах
|
Козленко, Лилия Александровна |
2000 |
|
|
Разработка специализированного алгоритмического и программного обеспечения систем мониторинга центральной гемодинамики
|
Швагерус, Сергей Евгеньевич |
2000 |
|
|
Разработка средств поддержки процесса навигации в гипермедиа системах
|
Никифоров, Игорь Сергеевич |
2000 |
|
|
Система планирования решений задач на основе дедуктивных и ассоциативных методов
|
Малышко, Виктор Васильевич |
2000 |
|
|
Система программ для исследования комбинаторно-алгебраических инвариантов топологических объектов малой размерности
|
Каишев, Андрей Игоревич |
2000 |
|
|
Создание программно-математических средств для автоматизации книгорассылочной деятельности предприятия
|
Филатов, Вячеслав Валерьевич |
2000 |
|
|
Специализированные базы данных для статистической обработки информации
|
Червенчук, Игорь Владимирович |
2000 |
|
|
Тематико-ориентированные методы информационного поиска
|
Некрестьянов, Игорь Сергеевич |
2000 |
|
|
Технология комплексной оценки качества интеллектуальных программных продуктов двойного применения в процессе сертификационных испытаний
|
Белов, Виктор Викторович |
2000 |
|
|
Экономичные коммутационные схемы и распараллеливание программ
|
Адигеев, Михаил Георгиевич |
2000 |
|
|
Язык FlexT для спецификации бинарных форматов данных
|
Хмельнов, Алексей Евгеньевич |
2000 |
|
|
Автоматизированное формирование лингвистических баз знаний: Интеграционный подход
|
Субботин, Алексей Викторович |
1999 |
|
|
Автоматическая генерация и исполнение программ по спецификациям на языке SDL
|
Рагозин, Алексей Сергеевич |
1999 |
|
|
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления
|
Волкова, Анна Валерьевна |
1999 |
|
|
Анализ дискретных параллельных систем на основе графа условно-достижимых состояний F-сетевых моделей
|
Беленко, Вячеслав Сергеевич |
1999 |
|
