Total work:2087
1901. Вагин, Дмитрий Алексеевич. Адаптируемая мобильная операционная система микроЭВМ для автоматизации физических исследований the year: 1993 1902. Вартазарян, Ара Эдикович. Параллельная реализация математических функций для архитектур с динамически изменяемой длиной операндов the year: 1993 1903. Виноградов, Владимир Иванович. Интегрированная проблемно-ориентированная система расчета систем управления the year: 1993 1904. Городин, Кирилл Ефимович. Инструментальная программная среда для оценки состояния человека-оператора в экстремальных условиях the year: 1993 1905. Гринберг, Сергей Яковлевич. Проектирование и разработка оболочки для конструирования диагностических экспертных систем the year: 1993 1906. Дзенгелевский, Андрей Евгеньевич. Математическое и программное обеспечение ситуационной инструментальной экспертной системы the year: 1993 1907. Ерофеева, Галина Петровна. Принципы организации вычислительного процесса в многомашинном радиолокационном комплексе the year: 1993 1908. Журавлева, Татьяна Эдуардовна. Гибридный инструментарий интеллектуальных систем на основе расширенного логического программирования the year: 1993 1909. Замятина, Елена Борисовна. Программные механизмы автоматизации имитационного моделирования вычислительных систем the year: 1993 1910. Засыпкин, Андрей Владимирович. Экспертная система поддержки решений по рациональной организации охранно-пожарной сигнализации the year: 1993 1911. Иванов, Дмитрий Анатольевич. Представление знаний и поддержка рассуждений с использованием ограничений the year: 1993 1912. Калита, Александр Викторович. Программно-алгоритмическое и информационное обеспечение построения интеллектуальных программных систем интеграрованной обработки временных рядов the year: 1993 1913. Капризкина, Ирина Юрьевна. Сложные объекты в системе хранения the year: 1993 1914. Ковтушенко, Александр Петрович. Информационный анализ программ, ориентированный на процессор с длинным командным словом the year: 1993 1915. Конохова, Светлана Владимировна. Разработка способов систематизации процесса создания программного обеспечения the year: 1993 1916. Кострюков, Владимир Александрович. Системы мультидоступа и восстановления в современных СУБД the year: 1993 1917. Кульман, Никита Юрьевич. Исследование и разработкаэлементов программного обеспеченияобработки данных для экспериментовна установках ФОДС и СФИНКС the year: 1993 1918. Лютый, Виктор Григорьевич. Язык Модула-90К и его реализация the year: 1993 1919. Майоров, Андрей Анатольевич. Разработка и анализ алгоритмов настройки оптики пучков высоких энергий the year: 1993 1920. Максимов, Андрей Вячеславович. Иерархическое конфигурационное управление в системе автоматизации разработки крупных программных комплексов the year: 1993 1921. Мартынов, Виктор Лукьянович. Методы повышения эффективности виртуальных ЭВМ в системах автоматизации проектирования программного обеспечения АСУ реального времени the year: 1993 1922. Марченко, Александр Иванович. Способы автоматизации программирования процессоров цифровой обработки сигналов the year: 1993 1923. Марчук, Александр Гурьевич. Методы и средства экспериментального проектирования архитектуры ЭВМ и микропроцессоров the year: 1993 1924. Марьясина, Татьяна Давидовна. Создание учебно-исследовательской программной среды в области математических дисциплин the year: 1993 1925. Остов, Юрий Яковлевич. Применение вариационных методов в задачах алгоритмического обеспечения движения летательных аппаратов the year: 1993 1926. Павлов, Николай Станиславович. Коррекция расписаний гибких дискретных технологических систем the year: 1993 1927. Панфиленко, Валерий Павлович. Многоуровневое проектирование и проверка свойств структурированных параллельных схем программ the year: 1993 1928. Пинчак, Александр Борисович. О критериях полноты (Математические аспекты выбора языка запросов) the year: 1993 1929. Подольская, Нина Аркадьевна. Исследование и разработка инструментальных редакторов программ the year: 1993 1930. Поливаный, Игорь Викторович. Диалоговая инструментально-учебная макросистема визуального программирования the year: 1993 1931. Родионов, Вадим Михайлович. Организация локальной и удаленной обработки в операционной системе модульного конфейерного процессора the year: 1993 1932. Саад Кадум Маджид. Автоматизированная система инкрементной разработки крупных программ для мини- и микро-ЭВМ the year: 1993 1933. Самсонов, Владимир Викторович. Разработка и исследование методов преобразования прикладных семантических сетей в базы правил the year: 1993 1934. Смирнова, Вера Васильевна. Исследование механизма образования аттракторовряда динамических систем и визуализация иххарактеристик the year: 1993 1935. Спасителева, Светлана Алексеевна. Методы и способы распределения ресурсов в вычислительных системах с жесткими временными измерениями the year: 1993 1936. Стаценко, Павел Борисович. Принципы интеграции прикладного и инструментального программного обеспечения в системе программирования QUASIC-3 the year: 1993 1937. Трескунов, Антон Семенович. Алгоритмы и программное обеспечение автоматических систем визуального контроля the year: 1993 1938. Усманов, Рустамбек Алтнксулович. Исследование и разработка диалогового обеспечения информационно-вычислительной системы специального назначения the year: 1993 1939. Церетели, Паата Андреевич. Инструменталные средства для визуализации структур параллельных ЭВМ the year: 1993 1940. Шаленинов, Алексей Александрович. Автоматическая генерация программ для моделирования непрерывных процессов the year: 1993 1941. Яковлев, Сергей Викторович. Исследования и реализация методов и способов теоретико-множественного программирования the year: 1993 1942. Абдиев, Болат Азимбекович. Разработка алгоритма и программ для акустико-фонетического анализа речевых сигналов на основе нейронных сетей the year: 1992 1943. Аджиев, Валерий Джелембиевич. Проектирование системы программирования для интегрированных систем машинной геометрии и графики the year: 1992 1944. Андриенко, Геннадий Людвигович. Методы сопоставления для автоматизированного приобретения экспертных знаний the year: 1992 1945. Андриенко, Наталия Валентиновна. Инструментальные средства формирования баз процедурных знаний the year: 1992 1946. Анисимов, Валерий Алексеевич. Система параллельного программирования для крупноблочных вычислительных комплексов the year: 1992 1947. Апанович, Зинаида Владимировна. Системный подход к синтезу топологии СБИС в системе типа "кремниевый компилятор" the year: 1992 1948. Артемьева, Ирина Леонидовна. Разработка и исследование системы недоопределенного вывода для декларативных продукций the year: 1992 1949. Баженова, Ирина Юрьевна. Архивные средства обеспечения надежности коллективных программных разработок the year: 1992 1950. Бакулин, Александр Владимирович. Развитие метода и инструментария многоуровневого доказательного проектирования программ the year: 1992 |