Total work:2062
1851. Сабельфельд, Виктор Карлович. Анализ свойств и эквивалентные преобразования на моделях программ the year: 1994 1852. Сапир, Марина Валентиновна. Построение оптимальных гипотез в признаковом пространстве - разработка методов и анализ их вычислительной сложности the year: 1994 1853. Силич, Мария Петровна. Метод формирования гибридных моделей и инструментальный комплекс для построения экспертных систем the year: 1994 1854. Смирнов, Александр Юрьевич. Операционная система для микропроцессорных вычислительных систем с разделяемой памятью the year: 1994 1855. Ткаченко, Александр Андреевич. Разработка методов и способов обработки и визуализации данных в интеллектуальной геоинформационной системе the year: 1994 1856. Толок, Александр Сергеевич. Объектно-ориентированные средства интеграции подсистем графической поддержки принятия решений the year: 1994 1857. Ухов, Владимир Иосифович. Разработка элементов математического и программного обеспечения для диагностики и настройки магнитооптических систем the year: 1994 1858. Чичиков, Александр Викторович. Методы и средства автоматического проектирования программ по операторным термам the year: 1994 1859. Чочжа, Георгий Антонович. Исследование и разработка коммуникационных средств в многопроцессорных вычислительных системах the year: 1994 1860. Чуканов, Всеволод Озирисович. Разработка и исследование методов и средств надежностного проектирования специализированных ЭВМ с комбинированным резервированием the year: 1994 1861. Шахин Вади Ханна. Разработка методов оптимального проектирования программных средств the year: 1994 1862. Шахновский, Юрий Сергеевич. Алгоритмы оптимизации горизонтальных микропрограмм the year: 1994 1863. Юдин, Александр Николаевич. Современная технология моделирования трехмерных задач электрофизики the year: 1994 1864. Алешин, Алексей Юрьевич. Разработка инструментальных средств многоуровневого управления в системах, основанных на знаниях the year: 1993 1865. Антонова, Елена Ивановна. Разработка и исследование генератора специализированных интеллектуальных диалоговых редакторов баз знаний the year: 1993 1866. Артамонов, Григорий Феликсович. Алгоритмическое и программное обеспечение для исследования естественных семейств периодических решений the year: 1993 1867. Бакланова, Ольга Евгеньевна. Экспериментальное программное обеспечение по сжатию функциональных зависимостей и цветных изображений the year: 1993 1868. Бежанова, Майя Михайловна. Методическая и системная поддержка разработки пакетов прикладных программ the year: 1993 1869. Березин, Евгений Герольдович. Языковые средства программирования в объектно-базированной среде КЛАСТОС the year: 1993 1870. Берс, Андрей Александрович. Архитектура рабочей станции "Мрамор" и ее программное обеспечение the year: 1993 1871. Биренбаум, Михаил Иосифович. Разработка методических и программно-технологических средств организации гетерогенных локальных сетей произвольной топологии the year: 1993 1872. Богданова, Ольга Владимировна. Разработка методов моделирования и оптимизации распределенных систем обработки данных на локальных вычислительных сетях the year: 1993 1873. Борисов, Сергей Христофорович. Автоматизация многопрограммного моделирования the year: 1993 1874. Булышева, Лариса Андреевна. Разработка метода многофункционального совмещения при автоматизации параллельного программирования для VLIW-процессоров the year: 1993 1875. Бульонкова, Анна Андреевна. Управление данными во встроенных системах the year: 1993 1876. Вагин, Дмитрий Алексеевич. Адаптируемая мобильная операционная система микроЭВМ для автоматизации физических исследований the year: 1993 1877. Вартазарян, Ара Эдикович. Параллельная реализация математических функций для архитектур с динамически изменяемой длиной операндов the year: 1993 1878. Виноградов, Владимир Иванович. Интегрированная проблемно-ориентированная система расчета систем управления the year: 1993 1879. Городин, Кирилл Ефимович. Инструментальная программная среда для оценки состояния человека-оператора в экстремальных условиях the year: 1993 1880. Гринберг, Сергей Яковлевич. Проектирование и разработка оболочки для конструирования диагностических экспертных систем the year: 1993 1881. Дзенгелевский, Андрей Евгеньевич. Математическое и программное обеспечение ситуационной инструментальной экспертной системы the year: 1993 1882. Ерофеева, Галина Петровна. Принципы организации вычислительного процесса в многомашинном радиолокационном комплексе the year: 1993 1883. Журавлева, Татьяна Эдуардовна. Гибридный инструментарий интеллектуальных систем на основе расширенного логического программирования the year: 1993 1884. Замятина, Елена Борисовна. Программные механизмы автоматизации имитационного моделирования вычислительных систем the year: 1993 1885. Засыпкин, Андрей Владимирович. Экспертная система поддержки решений по рациональной организации охранно-пожарной сигнализации the year: 1993 1886. Иванов, Дмитрий Анатольевич. Представление знаний и поддержка рассуждений с использованием ограничений the year: 1993 1887. Калита, Александр Викторович. Программно-алгоритмическое и информационное обеспечение построения интеллектуальных программных систем интеграрованной обработки временных рядов the year: 1993 1888. Капризкина, Ирина Юрьевна. Сложные объекты в системе хранения the year: 1993 1889. Ковтушенко, Александр Петрович. Информационный анализ программ, ориентированный на процессор с длинным командным словом the year: 1993 1890. Конохова, Светлана Владимировна. Разработка способов систематизации процесса создания программного обеспечения the year: 1993 1891. Кострюков, Владимир Александрович. Системы мультидоступа и восстановления в современных СУБД the year: 1993 1892. Кульман, Никита Юрьевич. Исследование и разработкаэлементов программного обеспеченияобработки данных для экспериментовна установках ФОДС и СФИНКС the year: 1993 1893. Лютый, Виктор Григорьевич. Язык Модула-90К и его реализация the year: 1993 1894. Майоров, Андрей Анатольевич. Разработка и анализ алгоритмов настройки оптики пучков высоких энергий the year: 1993 1895. Максимов, Андрей Вячеславович. Иерархическое конфигурационное управление в системе автоматизации разработки крупных программных комплексов the year: 1993 1896. Мартынов, Виктор Лукьянович. Методы повышения эффективности виртуальных ЭВМ в системах автоматизации проектирования программного обеспечения АСУ реального времени the year: 1993 1897. Марченко, Александр Иванович. Способы автоматизации программирования процессоров цифровой обработки сигналов the year: 1993 1898. Марчук, Александр Гурьевич. Методы и средства экспериментального проектирования архитектуры ЭВМ и микропроцессоров the year: 1993 1899. Марьясина, Татьяна Давидовна. Создание учебно-исследовательской программной среды в области математических дисциплин the year: 1993 1900. Остов, Юрий Яковлевич. Применение вариационных методов в задачах алгоритмического обеспечения движения летательных аппаратов the year: 1993 |