|
Загалом робіт:135
101. Представление и обработка темпоральной информации в интеллектуальных системах Кандрашина, Елена Юрьевна
Рік: 1984 102. Пакет программ символьной обработки для некоторых задач механики Почтаренко, Михаил Вениаминович
Рік: 1984 103. Разработка алгоритмического и программного обеспечения систем обработки дальнометрической информации и планирования движения мобильных роботов Кирильченко, Александр Александрович
Рік: 1984 104. Разработка архитектуры и программного обеспечения локального распределенного мультимикромашинного комплекса для автоматизации экспериментательных исследований Леонас, Владас Владасович
Рік: 1984 105. Разработка и исследование статического и динамического методов управления точностью в системе синтеза алгоритмов Кулида, Сергей Владимирович
Рік: 1984 106. Разработка системного програмного обеспечения автоматизированного проектирования заводов энергетического машиностроения Гах, Владимир Яковлевич
Рік: 1984 107. Редактор геометрической системы Коноплева, Елена Федоровна
Рік: 1984 108. Синтез циклических программ над многомерными структурами данных Чирас, Витаутас Александрович
Рік: 1984 109. Система трехуровневой управляемой виртуальной памяти УВП-3 Система трехуровневой управляемой виртуальной памяти УВП-3
Рік: 1984 110. Специальный интерфейсный метод доступа в ОС ЕС ЭВМ Скопцов, Александр Павлович
Рік: 1984 111. Средства программного описания функциональной архитектуры и их языковая реализация Лельчук, Татьяна Иосифовна
Рік: 1984 112. Технология многомашинной реализации и жизнеобеспечения библиотек подпрограмм вычислительной математики на языке Фортран Волченскова, Надежда Ивановна
Рік: 1984 113. Элементы программного обеспечения диалоговой системы распознавания внутреннего строения объектов Линецкий, Александр Иосифович
Рік: 1984 114. Технология программирования в терминах служб и ее применение для задач календарного планирования Воденин, Дмитрий Ростиславович
Рік: 1984 115. Абстрактные типы данных и частичная корректность программ Менц, Хельмут
Рік: 1984 116. Автоматическая реализация семантики проблемно-ориентированных языков Пеньям, Яан Эдуардович
Рік: 1984 117. Алгоритмы и средства автоматизации расчетов электронно-оптических систем (ЭОС) Катешов, Владимир Арсентьевич
Рік: 1984 118. Диалоговая система коллективного пользования Дейкало, Геннадий Федорович
Рік: 1984 119. Именование и защита объектов в операционных системах Иванова, Ольга Львовна
Рік: 1984 120. Инструментальная система программирования, ориентированная на построение специализированных синтезаторов программ Долидзе, Давид Шотаевич
Рік: 1984 121. Исследование интерактивного управления выполнением программ Райхлин, Борис Маркович
Рік: 1984 122. Исследование вопросов реализации языка программирования высокого уровня CHILL Козуб, Владимир Александрович
Рік: 1984 123. Исследование и разработка метода графического программирования для ЭВМ Мощицкий, Александр Викторович
Рік: 1984 124. Исследование и разработка эффективных методов реализации языков программирования Лийб, Дональд Бернхардович
Рік: 1984 125. Исследование и реализация методов структурного синтеза программ Харф, Майт Якобович
Рік: 1984 126. Математическое обеспечение решения задач географической привязки в системе обработки многозональной космической видеоинформации Головчин, Валерий Романович
Рік: 1984 127. Математическое обеспечение решения задач распознавания в системе обработки многозональной космической видеоинформации Асмус, Василий Валентинович
Рік: 1984 128. Математическое обеспечение ЭВМ для интерполяции и аппроксимации решений краевых задач математической физики с помощью финитных базисных функций Дабагян, Александр Арегович
Рік: 1984 129. Методы представления данных в памяти ЭВМ при программировании по Р-технологии Нетесин, Игорь Евгеньевич
Рік: 1984 130. Многоцелевой программный процессор телеобработки для абонентской станции ВЦКП Дорий, Янош Павлович
Рік: 1984 131. Верификация алголо-подобных программ методом индуктивных высказываний Черноброд, Людмила Викторовна
Рік: 1983 132. Математическое обеспечение для исследования динамических характеристик многомашинных систем сбора и обработки данных Хомутников, Вячеслав Павлович
Рік: 1983 133. Программное обеспечение технологии интерактивного редактирования изданий на мини-ЭВМ Ратнер, Леонид Михайлович
Рік: 1983 134. Информационное обеспечение проблемно-ориентированных систем реального времени для обработки результатов натурных испытаний Шеверда, Олег Николаевич
Рік: 1983 135. Расширение класса индексных языков Маслов, Александр Николаевич
Рік: 1981 |
