| Тема диссертации |
Автор |
Год |
|
|
Разработка программно-аппаратных средств на базе нечетких методов моделирования для повышения эффективности функционирования систем централизованной охраны
|
Слепцов, Александр Федорович |
1998 |
|
|
Разработка программного и математического обеспечения ЛВС функционально-ориентированных распределенных информационных систем
|
Скворцова, Татьяна Ивановна |
1998 |
|
|
Расширение линейно-алгебраических возможностей систем компьютерной алгебры
|
Чугунов, Вадим Николаевич |
1998 |
|
|
Системы переписывания формул и их применение в автоматической верификации программ
|
Ануреев, Игорь Сергеевич |
1998 |
|
|
Создание методики и прототипа инструментальной системы автоматизации проектирования проблемно-ориентированных систем обработки информации
|
Пантелеев, Петр Анатольевич |
1998 |
|
|
Трехкомпонентный подход при разработке информационных систем
|
Баландин, Кирилл Анатольевич |
1998 |
|
|
Исследование и разработка методов верификации протоколов распределенных систем на основе бисимуляционной эквивалентности сетей Петри
|
Поступальский, Павел Алексеевич |
1997 |
|
|
Математические методы, алгоритмы и программные системы для решения прикладных задач качественного характера при логическом представлении нечетких знаний
|
Серов, Владимир Васильевич |
1997 |
|
|
Методология разработки и внедрения программно-математического и информационного обеспечения систем органов государственного управления
|
Клепцов, Михаил Яковлевич |
1997 |
|
|
Методы и средства прогнозирования времени выполнения последовательных фрагментов программ на вычислителях с различной архитектурой
|
Капитонова, Алла Петровна |
1997 |
|
|
Объектно-продукционная модель знаний для построения параллельных экспертных систем реального времени для производственных и организационных комплексов
|
Бураков, Сергей Борисович |
1997 |
|
|
Создание прототипа интегрированного пакета оценки трудоемкости программного обеспечения
|
Токарев, Михаил Валентинович |
1995 |
|
|
Композиционные методы разработки протоколов на основе сетей Петри
|
Анисимов, Николай Александрович |
1994 |
|
|
Синтаксический анализатор адаптивной системы общения человека с ЭВМ на естественном языке: Пунктуац. компонент
|
Полякова, И. Н. |
1994 |
|
|
Исследование и разработка принципов построения адаптивных обучающих систем
|
Норенков, Юрий Игоревич |
1993 |
|
|
Создание учебно-исследовательской программной среды в области математических дисциплин
|
Марьясина, Татьяна Давидовна |
1993 |
|
|
Реализация системы логического программирования для персональных компьютеров с ограниченными ресурсами и ее применения
|
Григорьев, Сергей Георгиевич |
1992 |
|
|
Диалоговая система цифровой обработки зашумленных речевых сигналов
|
Чучупал, Владимир Яковлевич |
1985 |
|
|
Разработка методов и программных средств функционального моделирования протоколов межмашинной связи вычислительных сетей
|
Хачатрян, Геворк Жоржикович |
1985 |
|
|
Разработка синтаксических анализаторов языков программирования с учетом контекстных условий
|
Зо Зон Су, 0 |
1985 |
|
