| Тема диссертации |
Автор |
Год |
|
|
Автоматическая генерация программных компонент по высокоуровневым спецификациям
|
Кручинин, Алексей Николаевич |
2006 |
|
|
Автоматическая генерация тестов для семантических анализаторов трансляторов
|
Архипова, Мария Викторовна |
2006 |
|
|
Адаптивные методы и средства поддержки дистанционного обучения программированию
|
Касьянова, Елена Викторовна |
2006 |
|
|
Алгоритмический и программный инструментарий для численного решения прямых задач химической кинетики с использованием супер-ЭВМ
|
Черных, Игорь Геннадьевич |
2006 |
|
|
Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК
|
Черемушкин, Евгений Сергеевич |
2006 |
|
|
Алгоритмы и программный инструментарий для исследования процессов генной регуляции
|
Валеев, Тагир Фаридович |
2006 |
|
|
Алгоритмы совместной обработки информации от бортовых источников летательного аппарата на основе логики взаимного расположения объектов
|
Филатов, Иван Юрьевич |
2006 |
|
|
Инструментальные средства построения комплексов моделей и аналитических приложений в OLAP-технологии
|
Ишенин, Павел Петрович |
2006 |
|
|
Интеграция разнородных баз данных на основе многомерных моделей данных: на примере интеграции геоинформационной системы с информационными системами предприятия
|
Плеханов, Сергей Вадимович |
2006 |
|
|
Интегрированная технология обеспечения качества программных продуктов с помощью верификации и тестирования
|
Дробинцев, Павел Дмитриевич |
2006 |
|
|
Исследование информационных зависимостей программ для распараллеливающих преобразований
|
Шульженко, Александр Михайлович |
2006 |
|
|
Исследование и разработка методики автоматического обнаружения уязвимостей в исходном коде программ на языке Си
|
Маликов, Олег Рустэмович |
2006 |
|
|
Исследование и реализация методов построения корпоративных программных систем для поддержки изменяющихся бизнес-процессов
|
Ярных, Андрей Валерьевич |
2006 |
|
|
Исследование и реализация программного комплекса для решения задач большой размерности на примере рассеяния волн на сложных структурах
|
Самохин, Алексей Александрович |
2006 |
|
|
Исследование и реализация программных средств выбора альтернатив в среде Web
|
Файбисович, Михаил Львович |
2006 |
|
|
Комплекс программ, реализующий параллельные алгоритмы
|
Заооль Иззедин |
2006 |
|
|
Компьютерная обучающая система китайской письменности
|
Лю Юн |
2006 |
|
|
Контекстно-ассоциативный метод уточнения поисковых запросов с обратной связью по релевантности
|
Беляев, Дмитрий Владимирович |
2006 |
|
|
Контролируемый доступ нарушителя в системе защиты вычислительной сети
|
Городецкий, Павел Эдуардович |
2006 |
|
|
Математическое и алгоритмическое обеспечение сервисно-ориентированной среды поддержки управления качеством программных систем
|
Протас, Дмитрий Владимирович |
2006 |
|
