Электронная библиотека Веда
Цели библиотеки
Скачать бесплатно
Доставка литературы
Доставка диссертаций
Размещение литературы
Контактные данные
Я ищу:
Библиотечный каталог российских диссертаций

Вы находитесь:
Диссертационные работы России
Технические науки
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Содержание текущего раздела:
Косых Петр АлександровичРазработка и исследование файловой системы со слежением за целостностью2006  
Круг Петр ГермановичОсновы построения программного обеспечения виртуальных тренажеров железнодорожных и автомобильных весов2006  
Кручинин Алексей НиколаевичАвтоматическая генерация программных компонент по высокоуровневым спецификациям2006  
Кудрявцев Максим ВладимировичАвтоматизация отладки параллельных программ2006  
Курочкин Игорь АнатольевичРазвитие программного обеспечения для моделирования переноса низкоэнергетических частиц в комплексе программ MARS2006  
Кутарба Анна ЮрьевнаПостроение семантического словаря для обработки англоязычных текстов2006  
Липатов Алексей АндреевичМетоды и программные средства интеллектуализации пользовательского интерфейса систем недоопределенных вычислений2006  
Лисс Владимир АлександровичРазработка математических и имитационных моделей надежности программного обеспечения систем реального времени2006  
Лопатникова Вера БорисовнаСовершенствование гибридных абдуктивных методов для создания интеллектуальных систем поддержки принятия решений2006  
Лукичев Александр СергеевичРеализация атрибутных грамматик в технологии SYNTAX2006  
Лю ЮнКомпьютерная обучающая система китайской письменности2006  
Макеев Григорий АнатольевичМатематическое и программное обеспечение систем распределенной совместной фильтрации информации2006  
Максимов Сергей ВладимировичМодели и алгоритмы контекстно-словарного сжатия текстовых данных2006  
Маликов Олег РустэмовичИсследование и разработка методики автоматического обнаружения уязвимостей в исходном коде программ на языке Си2006  
Малюх Владимир НиколаевичМетоды организации функционального взаимодействия приложений в расширяемых графических САПР2006  
Меламед Александр ЯковлевичМетоды оценки трудоемкости разработки программного обеспечения корпоративных информационных систем2006  
Минасова Наталья СергеевнаСоздание программируемых учебных модулей на основе объектно-ориентированного подхода к хранению учебно-методической информации : применительно к самостоятельной работе студентов2006  
Мирза Наталия СергеевнаРазработка алгоритмов построения, анализа и визуализации сверхбольших моделей поверхностей на основе мультитриангуляции2006  
Мозговой Максим ВладимировичМашинный семантический анализ русского языка и его применения2006  
Мосиенко Максим АлексеевичАвтоматизированный перевод устаревших приложений на новые языки и платформы2006  
Нгуен Доан КуонгОрганизация доступа, хранения и извлечения знаний в темпоральных базах данных2006  
Нгуен Туан ФонгМетоды оценки моделей и построения математического обеспечения электронной цифровой подписи для электронного документооборота в Социалистической Республике Вьетнам2006  
Низамова Гузель ФанисовнаМатематическое и программное обеспечение составления расписания учебных занятий на основе агрегативных генетических алгоритмов2006  
Омаров Омар МагадовичМетоды и средства моделирования вычислительных процессов в многопроцессорных и распределенных системах на основе CF-сетей2006  
Пакулин Николай ВитальевичФормализация стандартов и тестовых наборов протоколов Интернета2006  
Плеханов Сергей ВадимовичИнтеграция разнородных баз данных на основе многомерных моделей данных2006  
Плешачков Петр ОлеговичМетоды управления транзакциями в XML-ориентированных СУБД2006  
Полухин Александр ЛеонидовичМетоды доступа к хронологическим данным в реляционных системах управления базами данных2006  
Пономарёв Денис КонстантиновичСинтаксическая однозначность при представлении знаний в логике первого порядка2006  
Приступа Андрей ВикторовичРазработка программного комплекса имитационного моделирования СМО на основе объектно-ориентированной модели дискретно-событийного метода2006  
Протас Дмитрий ВладимировичМатематическое и алгоритмическое обеспечение сервисно-ориентированной среды поддержки управления качеством программных систем2006  
Расторгуев Иван АлександровичРешение задач фильтрации устойчивыми явными методами2006  
Ратников Сергей ВладимировичДоменно-ориентированная модель данных с учетом свойств упорядоченности2006  
Репьёв Алексей ВладимировичПрограммное обеспечение адаптивной системы дистанционного обучения2006  
Розинкин, Андрей НиколаевичСистема защиты от массовых несанкционированных рассылок электронной почты на основе методов Data Mining2006  
Садчиков Сергей МихайловичМодели, методы и инструментальные средства интерактивного контроля выполнения многошаговых учебных заданий2006  
Сальников Алексей НиколаевичСистема разработки и поддержки исполнения параллельных программ2006  
Самохин Алексей АлександровичИсследование и реализация программного комплекса для решения задач большой размерности на примере рассеяния волн на сложных структурах2006  
Сафонов Константин ВладимировичРаспознавание и синтаксический анализ контекстно-свободных языков программирования2006  
Сергеев Михаил ЮрьевичРазработка специального математического и программного обеспечения формирования многоуровневых контентов распределенных информационных систем2006  
Сидорова Елена АнатольевнаМетоды и программные средства для анализа документов на основе модели предметной области2006  
Смирнов Виталий ВалерьевичМетоды и средства верификации баз знаний в интегрированных экспертных системах2006  
Старцев Геннадий ВладимировичПрограммно-инструментальные средства для организации управления данными в учебно-методических процессах2006  
Стасенко Александр ПавловичМодели и реализация транслирующих компонентов системы функционального программирования2006  
Сыпин Алексей АлександровичМодель и методика обнаружения несанкционированных действий и атак в сетях ТСР/IP2006  
Тапкинов Батр ЮрьевичСтруктурно-предикативная система построения внутреннего представления программ, ориентированного на оптимизацию и распараллеливание2006  
Файбисович Михаил ЛьвовичИсследование и реализация программных средств выбора альтернатив в среде Web2006  
Филатов Иван ЮрьевичАлгоритмы совместной обработки информации от бортовых источников летательного аппарата на основе логики взаимного расположения объектов2006  
Хорошилов, Алексей ВладимировичСпецификация и тестирование компонентов с асинхронным интерфейсом2006  
Худов Ким АндреевичМатематическое и программное обеспечение средств верификации программ микроконтроллерных устройств2006  

[0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]

© Научная электронная библиотека «Веда», 2003-2013.
info@lib.ua-ru.net