Вы здесь

Главная

операционный

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

TVLA: A System for Implementing Static Analyses
Typed Operational Semantics
Using a Protean Language to Enhance Expressiveness in Specification
USL - The Language of Natural State Machines
Weak Sequential Composition in Process Algebras
What Operational Semantics is Adequate for Nonsequential Systems?
Yeast: A case study for a practical use of formal methods
Алгебра параллельных недетерминированных процессов: денотационная и операционная семантики
Анализ операционных сетей Петри
Архитектура и принципы построения операционной среды "мини-ОС"
Введение в VxD
Взаимодействие как унификация в алгебрах процессов: операционная семантика
Динамическая настройка операционной среды в ОС ЕС
Интегрированная операционная среда параллельного программирования для крупноблочных многопроцессорных систем
Математическое обеспечение школьного учебного процесса (средства формирования операционной обстановки)
Математическое обеспечение ЭВМ: операционные средства (Учебное пособие)
Операционная обстановка высокого уровня
Операционная обстановка коллективного автоматизированного рабочего места служа их
Операционная среда NEXTSTEP: теперь для PC
Операционное исчисление
Оптимизация операционных характеристик сети передачи данных с коммутацией пакетов
Оптимизирую ая операционная оболочка для проектирования и создания персональных информационных систем
Рекуррентные схемы формирования и выбора вариантов систем на основе операционных моделей
Снова о ПО для Palm OS