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