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