05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Название работы	Автор	Дата защиты
Машины логического вывода на основе теории параллельных дедуктивных и абдуктивных вычислений	Страбыкин, Дмитрий Алексеевич	1999
Комплексный подход к обеспечению безопасности компьютерных систем и сетей, подключенных к Internet	Савочкин, Андрей Владимирович	1999
Управление качеством визуализации в САПР	Пузыня, Сергей Валентинович	1999
Технология разработки адаптивных систем дистанционного обучения на основе интеллектуальных программных агентов	Удальцов, Сергей Владимирович	1999
Сохранение конфигураций защиты в гетерогенных сетях при миграции пользователей и файловых систем	Шапошник, Александр Васильевич	1999
Создание диалоговой системы проектирования сотовых сетей	Баутин, Олег Олегович	1999
Система формирования концептуального представления предметной области на основе анализа проблемно-ориентированных естественно-языковых текстов : Модели, методы и программное обеспечение	Пономарева, Светлана Михайловна	1999
Реверсивные методы структурной разработки программных систем на начальных этапах жизненного цикла	Матьяш, Валерий Анатольевич	1999
Разработка программных и аппаратных средств с использованием методов нечетких множеств для повышения эффективности функционирования центров оперативного управления	Коротких, Вячеслав Егорович	1999
Разработка математического обеспечения специализированных систем контроля цифровых узлов на основе автоморфизмов тестовых последовательностей	Петрухнова, Галина Викторовна	1999
Разработка математического и программного обеспечения генерации тестовых последовательностей и верификации сложных цифровых схем	Зизин, Георгий Валентинович	1999
Разработка и исследование методов, моделей и программных систем управления реорганизацией предприятий	Калянов, Георгий Николаевич	1999
Программная система КВАНТ/1 для автоматического доказательства теорем	Черкашин, Евгений Александрович	1999
Применение метода недоопределенных вычислений в математическом моделировании	Кашеварова, Тамара Петровна	1999
Методы реализации графориентированных инструментальных сред и их применение для создания приложений	Фролова, Наталья Владимировна	1999
Методы проектирования операционных систем реального времени и их применение	Егоров, Геннадий Алексеевич	1999
Методы построения экономически эффективных региональных компьютерных сетей	Шевчук, Юрий Владимирович	1999
Методы построения автоматизированных информационных систем для финансового менеджмента	Тарасенко, Владимир Феликсович	1999
Методы и инструменты создания интегрированных цифровых библиотек	Бездушный, Анатолий Николаевич	1999
Методы анализа и оптимизации характеристик технологических алгоритмов при проектировании распределенных систем реального времени	Погребной, Дмитрий Владимирович	1999
Математическое и программное обеспечение систем совмещения космических изображений	Новоселов, Владимир Геннадьевич	1999
Математическое и программное обеспечение интеллектуальных процедур идентификации состояния дискретного канала сети передачи данных	Благодаров, Андрей Витальевич	1999
Математическое и программное обеспечение системы прогнозирования рецидивирующего инфаркта миокарда на основе искусственных нейронных сетей	Суснина, Алла Васильевна	1999
Локальная вычислительная сеть системы управления вузом	Брычков, Евгений Юрьевич	1999
Концептуальное моделирование программного обеспечения графических систем	Щекин, Сергей Валерьевич	1999
Исследование методов анализа Интернет-ресурсов и реализация на этой основе мультиагентной системы поиска информации	Майкевич, Наталия Вадимовна	1999
Информационные технологии и управление торговым предприятием	Фуфлыгин, Михаил Дмитриевич	1999
Анализ эффективности исходных текстов программ в процессе обучения	Халабия Рустам Фарук	1999
Анализ дискретных параллельных систем на основе графа условно-достижимых состояний F-сетевых моделей	Беленко, Вячеслав Сергеевич	1999
Автоматизированное формирование лингвистических баз знаний : Интеграционный подход	Субботин, Алексей Викторович	1999

Электронная библиотека диссертаций