Загалом робіт:2062
1951. Ларин, Владислав Николаевич. Разработка системы компьютерной алгебры HECAS и автоматизация вычислений в физике высоких энергий Рік: 1992 1952. Ле Тхай Хи. Теория и методы графической формулировки запросов к базам данных Рік: 1992 1953. Лихачева, Марина Маратовна. Разработка средств информационной поддержки проектирования технологических процессов Рік: 1992 1954. Лозовая, Екатерина Александровна. Инструментальная система для создания специализированных систем обработки текстов, ориентированных на МСО "Наставник" Рік: 1992 1955. Локоть, Елена Алексеевна. Решение систем линейных алгебраических уравнений с матрицами специальной структуры на векторно-конвейерной ЭВМ Рік: 1992 1956. Малинина, Наталия Леонидовна. Автоматизированный синтез вычислительных алгоритмов для проектирования сложных технических систем Рік: 1992 1957. Мансуров, Николай Николаевич. Реализация расширенного языка Рефал на односвязной списковой памяти Рік: 1992 1958. Марасанов, Александр Михайлович. Информационная поддержка пакета прикладных программ решения задач физической газовой динамики Рік: 1992 1959. Матвеева, Тамара Олеговна. Разработка и исследование методов и средств измерения реляционных программ Рік: 1992 1960. Миронова, Ирина Васильевна. Языковые и программные средства постановки задач в системах линейного программирования Рік: 1992 1961. Никулин, Сергей Петрович. Инструментальная система ИСПАК для создания пакетов прикладных программ Рік: 1992 1962. Орловская, Елена Виленовна. Исследование методов формальной спецификации программно-аппаратных систем, обеспечивающих надежность систем и повторное использование спецификаций Рік: 1992 1963. Павловская, Елена Яновна. Система автоматизированного проектирования металлорежущего инструмента Рік: 1992 1964. Панкратов, Сергей Александрович. Интегрированная операционная среда параллельного программирования для крупноблочных многопроцессорных систем Рік: 1992 1965. Петровых, Евгений Александрович. Разработка логического процессора реляционных данных и методики его использования в океанологическом банке данных Рік: 1992 1966. Плисс, Олег Анатольевич. Методы оптимизации при реализации объектно-ориентированных языков Рік: 1992 1967. Пономарев, Игорь Владимирович. Организация процесса обработки изображений на многопроцессорных вычислительных системах Рік: 1992 1968. Пономаренко, Вера Николаевна. Исследование принципов управления внешней памятью и транзакциям в реляционной СУБД и разработка подсистемы управления памятью и синхронизацией в реляционной СУБД Рік: 1992 1969. Рубин, Александр Григорьевич. Применение принципа эмуляции при реализации системы символьной обработки Рік: 1992 1970. Сапожникова, Татьяна Федоровна. Методика создания и настройки ЭВМ с использованием микропрограммирования Рік: 1992 1971. Седухин, Станислав Георгиевич. Разработка и анализ высокопараллельных алгоритмов и структур с локальными взаимодействиями Рік: 1992 1972. Тодоров, Тодор Белков. Тестирование и верификация роботехнических систем на базе встроенных сенсоров Рік: 1992 1973. Фурман, Елена Семеновна. Исследование и разработка переносимой операционной среды для функционирования сетевого программного обеспечения локальной вычислительной сети Рік: 1992 1974. Цыков, Петр Владимирович. Вероятностный подход к решению задач диагностики в вычислительной технике Рік: 1992 1975. Шевченко, Василий Геннадьевич. Методы и средства оптимизации геометрических характеристик оптических резонаторов газовых лазеров Рік: 1992 1976. Шершнев, Дмитрий Алексеевич. Решение задачи составления расписания для гибких систем на основе инвариантной модели Рік: 1992 1977. Штильман, Лев Фроймович. Мобильность и преемственность при проектировании программно-аппаратных систем Рік: 1992 1978. Шутова, Ирина Алексеевна. Алгоритмы и программы обработки ваттметрической информации для технического диагностирования скважинных штанговых насосных установок Рік: 1992 1979. Щедрин, Сергей Михайлович. Исследование и разработка объектно-ориентированной системы геометрического моделирования Рік: 1992 1980. Щедрин, Сергей Михайлович. Последование и разработка объектно-ориентированной системы геометрического моделирования Рік: 1992 1981. Эрдэнэдэлгэр Тогмидын. Вопросы создания распределенной системы обработки экспериментальных данных и автоматизированного рабочего места физика на базе ЕС ЭВМ и ПЭВМ Рік: 1992 1982. Язневич, Марина Ивановна. Отображение и реализация задач численного анализа сетевых графов на архитектуру векторно-конвейерной супер-ЭВМ Рік: 1992 1983. Яицков, Александр Сергеевич. Многоуровневая верификация супер ЭВМ. Временной анализ и управление конструкторским проектированием Рік: 1992 1984. Ярко, Людмила Владимировна. Полнота тестирования реализации контекстных свойств языка программирования в трансляторах Рік: 1992 1985. Абдыкалыков, Талантбек Асиевич. Автоматизированное конструирование программ на основе генерирующих модулей Рік: 1991 1986. Андреев, Олег Юрьевич. Автоматизированный практикум по методам конструирования компиляторов Рік: 1991 1987. Андреев, Сергей Вадимович. Разработка программного обеспечения для исследования речевых сигналов Рік: 1991 1988. Березовский, Александр Викторович. Концептуальный анализ программного обеспечения распределенных вычислительных систем Рік: 1991 1989. Богачев, Дмитрий Александрович. Семантическая память адаптивных интеллектуальных систем Рік: 1991 1990. Бочков, Сергей Олегович. Автоматизация отладки программ на основе операционного описания их поведения Рік: 1991 1991. Вершигора, Руслан Владимирович. Организация конвейерной связи модулей в пакете прогамм Рік: 1991 1992. Вольперт, Александр Борисович. Взаимодействие последовательных алгоритмов: описание, моделирование и анализ Рік: 1991 1993. Галкин, Игорь Михайлович. Семантические сети в разработке и сопровождении программ Рік: 1991 1994. Гинкул, Геннадий Петрович. Игровой подход к формированию баз знаний в экспертных системах Рік: 1991 1995. Грачев, Андрей Юрьевич. Структурирование данных в диалоговой системе программирования ДССП Рік: 1991 1996. Громов, Феликс Исаакович. Метод сохранения и восстановления состояния вычислительного процесса по сигналу отказа Рік: 1991 1997. Жаков, Вячеслав Иванович. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей Рік: 1991 1998. Запреев, Сергей Степанович. Поддержка разработки многоязыковых программных комплексов Рік: 1991 1999. Зевина, Светлана Георгиевна. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ Рік: 1991 2000. Имамов, Толкин Турдыалиевич. Специализированная система аналитических преобразований для вариационных задач механики Рік: 1991 |