Вы здесь

Главная

формализованный

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

Intelligent Computer Mathematics: Proc./11th International Conference, CICM 2018, Hagenberg, Austria, August 2018
Verified Software: Theories, Tools and Experiments: Revised Selected Papers/6th International Conference, VSTTE 2014, Vienna, Austria, July 2014
Архитектурно-структурная организация и формализованное проектирование микро-ЭВМ
Вопросы разработки и реализации программного обеспечения, ориентированного на автоматизацию исследований в формализованных системах
Концепция проекта универсального формализованного языка знаний
Некоторые разрешимые случаи проблемы построения полной системы примеров и формализованное проектирование функциональных тестов блоков ЭВМ
О применении метода формализованных технических заданий к проектированию программ обработки структур данных
Проблемы использования неформальной информации в задачах моделирования
Сложность формализованных преобразований алгоритмов