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