| Тема диссертации |
Автор |
Год |
|
|
Разработка математического и программного обеспечения обработки биометрической информации единой системы удостоверяющих документов Социалистической Республики Вьетнам
|
Хоанг Чунг Киен |
2008 |
|
|
Разработка математического обеспечения оценки схожести WEB-документов на основе структурно-семантического разбиения
|
Косинов, Дмитрий Иванович |
2008 |
|
|
Разработка метода и инструментальных средств создания приложений для системы управления содержанием веб-сайтов
|
Лебедев, Кирилл Сергеевич |
2008 |
|
|
Разработка методов и средств анализа и обеспечения качества программных систем учебного назначения
|
Гуров, Валерий Валентинович |
2008 |
|
|
Разработка специального математического обеспечения процедур предварительной обработки информации в системах статистического анализа
|
Чупеев, Андрей Николаевич |
2008 |
|
|
Разработка сред пользовательских интерфейсов нового поколения с применением аспектно-ориентированного программирования
|
Михеев, Олег Игоревич |
2008 |
|
|
Семантическая интеграция управления доступом к сервисам
|
Созыкин, Андрей Владимирович |
2008 |
|
|
Система распараллеливания алгоритмов компьютерной алгебры на основе арифметики полиномов
|
Валеев, Юрий Дамирович |
2008 |
|
|
Спекулятивные оптимизации программ для архитектур с явно выраженным параллелизмом команд
|
Белеванцев, Андрей Андреевич |
2008 |
|
|
Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри
|
Быстров, Александр Васильевич |
2008 |
|
|
Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем
|
Дубцов, Роман Сергеевич |
2008 |
|
|
Теория конформности для функционального тестирования программных систем на основе формальных моделей
|
Бурдонов, Игорь Борисович |
2008 |
|
|
Технология построения математического и программного обеспечения генерации окружающей обстановки для тренажерных комплексов
|
Ильин, Алексей Михайлович |
2008 |
|
|
Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний: метод, инструментальное средство, верификация
|
Гуров, Вадим Сергеевич |
2008 |
|
|
Транзакционная обработка данных в распределенных информационно-управляющих системах
|
Гражданцев, Евгений Викторович |
2008 |
|
|
Управление параллельными заданиями в гриде с помощью опережающего планирования
|
Семячкин, Дмитрий Александрович |
2008 |
|
|
Управляемая тестами система имитационного моделирования наземного движения воздушных судов
|
Щетинин, Денис Вячеславович |
2008 |
|
|
Электронные документы со встроенной динамической моделью на основе XML
|
Шакирова, Гульнара Равилевна |
2008 |
|
|
Автоматизация проектирования, реализации и сопровождения пользовательского интерфейса на основе онтологического подхода
|
Грибова, Валерия Викторовна |
2007 |
|
|
Автоматизация распараллеливания алгоритмов функционирования многопроцессорных систем
|
Новиков, Алексей Владимирович |
2007 |
|
