Темы диссертаций и авторефератов по специальности ВАК РФ 01.01.10 Математическое обеспечение вычислительных машин и систем

Тема диссертации Автор Год
Систолические системы для задач матричных модификаций

Бондаренко, Екатерина Владимировна 1984
Специальный интерфейсный метод доступа в ОС ЕС ЭВМ

Скопцов, Александр Павлович 1984
Средства программного описания функциональной архитектуры и их языковая реализация

Лельчук, Татьяна Иосифовна 1984
Технологическая система интерактивного программирования

Шевелев, Сергей Леонидович 1984
Технология многомашинной реализации и жизнеобеспечения библиотек подпрограмм вычислительной математики на языке Фортран

Волченскова, Надежда Ивановна 1984
Технология программирования в терминах служб и ее применение для задач календарного планирования

Воденин, Дмитрий Ростиславович 1984
Элементы программного обеспечения диалоговой системы распознавания внутреннего строения объектов

Линецкий, Александр Иосифович 1984
Алгебраические методы исследования задач информационного поиска

Решетников, Валерий Николаевич 1983
Верификация алголо-подобных программ методом индуктивных высказываний

Черноброд, Людмила Викторовна 1983
Математическое обеспечение для исследования динамических характеристик многомашинных систем сбора и обработки данных

Хомутников, Вячеслав Павлович 1983
Метод представления знаний в диалоговых системах с естественным языком

Асафьева, Наталья Юрьевна 1983
Некоторые вопросы создание программного обеспечения для диалоговых систем на основе сканирующего автомата с электронно-лучевой трубкой

Наумов, Борис Петрович 1983
Программное обеспечение технологии интерактивного редактирования изданий на мини-ЭВМ

Ратнер, Леонид Михайлович 1983
Программный инструментарий управления автоматизированным обучением

Митин, Александр Иванович 1983
Специальный комплекс программ для решения и исследования задач линейной алгебры в генераторе программ "Поле-3"

Суворова, Ирина Георгиевна 1983
Расширение класса индексных языков

Маслов, Александр Николаевич 1981