Вы здесь

Главная

проблемно-ориентированный

Связанные издания:

A Goal-Oriented Approach to Computing Well Founded Semantics
On the Purpose of Object-Oriented Analysis
Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM
Problem-Oriented Object Memory: Customizing Consistency
Problem-oriented verification system and its application to linear algebra program
Problem-Oriented Verification System and its Application to Linear Algebra Programs
The TRAINS 91 Dialogues
Towards Automatic Program Verification: Problem-Oriented Knowledge Bases
Вопросы проблемно-ориентированного математического обеспечения в машинном проектировании технологии
Вопросы проблемно-ориентированного математического обеспечения в машинном проектировании технологии
Встроенные проблемно-ориентированные системы
Диалоговые системы
Доказательство условий корректности в проблемно-ориентированной системе верификации программ
Инструментальная среда для разработки проблемно-ориентированых систем
Инфомационное обеспечение проблемно-ориентированных систем реального времени для обработки результатов натурных испытаний
Информационные системы и проблемно-ориентированные БД
Использование комплексных функциональных устройств микропроцесоров при оптимизирую ей компиляции
Исследование и разработка математического обеспечения малых интерактивных систем в проблемно-ориентированной многомашинной среде
Метод группировок в анализе социально-экономической информации (применение ЭВМ для построения статистических описаний)
Метод проблемно-ориентированного доказательства в нечеткой логике (ПО-метод)
Методы и средства построения проблемно-ориентированных диалоговых систем
Методы управления ресурсами в проблемно-ориентированных вычислительных средах
Общесистемное математическое обеспечение проблемно-ориентированного многомашинного комплекса
О проектировании программного обеспечения АСУ ТП в рамках метода МСПП
Оптимизация исследования ресурсов в проблемно-ориентированных системах программирования
Организация проблемно-ориентированного программного обеспечения в моделирующем комплексе
Оценка состояния базы знаний с точки зрения сложности и подтвержденности
Прикладное и программно-ориентированное математическое обеспечение суперЭВМ "Электроника ССБИС"
Прикладные программные системы: архитектура, построение, развитие
Проблемно-ориентированная система верификации программ
Проблемно-ориентированная система верификации программ СПЕКТР
Проблемно-ориентированная система для матричных вычислений
Проблемно-ориентированные базы знаний и их применение в системе верификации программ СПЕКТР
Проблемно-ориентированные вычислительные комплексы: (Сборник научных трудов)
Проблемно-ориентированные средства управления информационными моделями агрегативных объектов
Проблемно-ориентированный информационный массив по экспертным системах
Проблемно-ориентированный подход к верификации программ
Проблемно-ориентированный подход к верификации программ линейной алгебры
Проблемно-ориентированный подход к верификации программ обработки файлов
Проблемно-ориентированный подход к верификации программ. Применение к программам обработки файлов
Разработка многоцелевых проблемно-ориентированных систем с помо ью анализатора PLAN-БЭСМ6. Система КОРПУСКУЛА
Реализация проблемно-ориентированных пакетов программ и инструментальные средства их создания
Реализация универсального анализатора проблемных языков PLAN-БЭСМ-6
Системы условных редукций и их применение в проблемно-ориентированной верификации программ
Функциональные средства спецификации трансляторов и их применение в проблемно-ориентированной системе верификации программ