|
Загалом робіт:2089
1201. Круг Петр Германович. Основы построения программного обеспечения виртуальных тренажеров железнодорожных и автомобильных весов
Рік: 2006 1202. Кручинин Алексей Николаевич. Автоматическая генерация программных компонент по высокоуровневым спецификациям
Рік: 2006 1203. Кудрявцев Максим Владимирович. Автоматизация отладки параллельных программ
Рік: 2006 1204. Курочкин Игорь Анатольевич. Развитие программного обеспечения для моделирования переноса низкоэнергетических частиц в комплексе программ MARS
Рік: 2006 1205. Кутарба Анна Юрьевна. Построение семантического словаря для обработки англоязычных текстов
Рік: 2006 1206. Липатов Алексей Андреевич. Методы и программные средства интеллектуализации пользовательского интерфейса систем недоопределенных вычислений
Рік: 2006 1207. Лисс Владимир Александрович. Разработка математических и имитационных моделей надежности программного обеспечения систем реального времени
Рік: 2006 1208. Лопатникова Вера Борисовна. Совершенствование гибридных абдуктивных методов для создания интеллектуальных систем поддержки принятия решений
Рік: 2006 1209. Лукичев Александр Сергеевич. Реализация атрибутных грамматик в технологии SYNTAX
Рік: 2006 1210. Лю Юн. Компьютерная обучающая система китайской письменности
Рік: 2006 1211. Макеев Григорий Анатольевич. Математическое и программное обеспечение систем распределенной совместной фильтрации информации
Рік: 2006 1212. Максимов Сергей Владимирович. Модели и алгоритмы контекстно-словарного сжатия текстовых данных
Рік: 2006 1213. Маликов Олег Рустэмович. Исследование и разработка методики автоматического обнаружения уязвимостей в исходном коде программ на языке Си
Рік: 2006 1214. Малюх Владимир Николаевич. Методы организации функционального взаимодействия приложений в расширяемых графических САПР
Рік: 2006 1215. Меламед Александр Яковлевич. Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем
Рік: 2006 1216. Минасова Наталья Сергеевна. Создание программируемых учебных модулей на основе объектно-ориентированного подхода к хранению учебно-методической информации : применительно к самостоятельной работе студентов
Рік: 2006 1217. Мирза Наталия Сергеевна. Разработка алгоритмов построения, анализа и визуализации сверхбольших моделей поверхностей на основе мультитриангуляции
Рік: 2006 1218. Мозговой Максим Владимирович. Машинный семантический анализ русского языка и его применения
Рік: 2006 1219. Мосиенко Максим Алексеевич. Автоматизированный перевод устаревших приложений на новые языки и платформы
Рік: 2006 1220. Нгуен Доан Куонг. Организация доступа, хранения и извлечения знаний в темпоральных базах данных
Рік: 2006 1221. Низамова Гузель Фанисовна. Математическое и программное обеспечение составления расписания учебных занятий на основе агрегативных генетических алгоритмов
Рік: 2006 1222. Омаров Омар Магадович. Методы и средства моделирования вычислительных процессов в многопроцессорных и распределенных системах на основе CF-сетей
Рік: 2006 1223. Пакулин Николай Витальевич. Формализация стандартов и тестовых наборов протоколов Интернета
Рік: 2006 1224. Плеханов Сергей Вадимович. Интеграция разнородных баз данных на основе многомерных моделей данных
Рік: 2006 1225. Плешачков Петр Олегович. Методы управления транзакциями в XML-ориентированных СУБД
Рік: 2006 1226. Полухин Александр Леонидович. Методы доступа к хронологическим данным в реляционных системах управления базами данных
Рік: 2006 1227. Пономарёв Денис Константинович. Синтаксическая однозначность при представлении знаний в логике первого порядка
Рік: 2006 1228. Приступа Андрей Викторович. Разработка программного комплекса имитационного моделирования СМО на основе объектно-ориентированной модели дискретно-событийного метода
Рік: 2006 1229. Протас Дмитрий Владимирович. Математическое и алгоритмическое обеспечение сервисно-ориентированной среды поддержки управления качеством программных систем
Рік: 2006 1230. Расторгуев Иван Александрович. Решение задач фильтрации устойчивыми явными методами
Рік: 2006 1231. Ратников Сергей Владимирович. Доменно-ориентированная модель данных с учетом свойств упорядоченности
Рік: 2006 1232. Репьёв Алексей Владимирович. Программное обеспечение адаптивной системы дистанционного обучения
Рік: 2006 1233. Розинкин, Андрей Николаевич. Система защиты от массовых несанкционированных рассылок электронной почты на основе методов Data Mining
Рік: 2006 1234. Садчиков Сергей Михайлович. Модели, методы и инструментальные средства интерактивного контроля выполнения многошаговых учебных заданий
Рік: 2006 1235. Сальников Алексей Николаевич. Система разработки и поддержки исполнения параллельных программ
Рік: 2006 1236. Самохин Алексей Александрович. Исследование и реализация программного комплекса для решения задач большой размерности на примере рассеяния волн на сложных структурах
Рік: 2006 1237. Сафонов Константин Владимирович. Распознавание и синтаксический анализ контекстно-свободных языков программирования
Рік: 2006 1238. Сергеев Михаил Юрьевич. Разработка специального математического и программного обеспечения формирования многоуровневых контентов распределенных информационных систем
Рік: 2006 1239. Сидорова Елена Анатольевна. Методы и программные средства для анализа документов на основе модели предметной области
Рік: 2006 1240. Смирнов Виталий Валерьевич. Методы и средства верификации баз знаний в интегрированных экспертных системах
Рік: 2006 1241. Старцев Геннадий Владимирович. Программно-инструментальные средства для организации управления данными в учебно-методических процессах
Рік: 2006 1242. Стасенко Александр Павлович. Модели и реализация транслирующих компонентов системы функционального программирования
Рік: 2006 1243. Сыпин Алексей Александрович. Модель и методика обнаружения несанкционированных действий и атак в сетях ТСР/IP
Рік: 2006 1244. Тапкинов Батр Юрьевич. Структурно-предикативная система построения внутреннего представления программ, ориентированного на оптимизацию и распараллеливание
Рік: 2006 1245. Файбисович Михаил Львович. Исследование и реализация программных средств выбора альтернатив в среде Web
Рік: 2006 1246. Филатов Иван Юрьевич. Алгоритмы совместной обработки информации от бортовых источников летательного аппарата на основе логики взаимного расположения объектов
Рік: 2006 1247. Хорошилов, Алексей Владимирович. Спецификация и тестирование компонентов с асинхронным интерфейсом
Рік: 2006 1248. Худов Ким Андреевич. Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств
Рік: 2006 1249. Черемушкин Евгений Сергеевич. Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК
Рік: 2006 1250. Черных Игорь Геннадьевич. Алгоритмический и программный инструментарий для численного решения прямых задач химической кинетики с использованием супер-ЭВМ
Рік: 2006 |
