Вы здесь

Главная

процесс

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

Weak Sequential Composition in Process Algebras
Weak Stochastic Bisimulation for Non-Markovian Processes
Web-Based Agile Software Development
Web-based Information Systems for Technological Process Control: Architectural Framework and Software Solutions
What Process Technology needs from Databases
When Agents Clash
Where Concurrent Processes Originate
Why is Modelling so Difficult?
Wie evolutionar sind die objektorientierten Analysemethoden? Ein kritischer Vergleich
WISR`92: 5th Annual Workshop on Software Reuse Working Group Reports
Workflow Management Systems for Process Organisations
Workflow modeling for virtual processes: ann order-preserving process-view approach
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
XHIVE: Interactive Parallel Application Development using the PCF Metodology
XII. Spectrum
XIX. LCM and MCM
Автоматизация создания таблицы конфигурации программного обеспечения для систем реального времени в авионике
Автоматизированное диагностирование железнодорожных технологических процессов на основе операторных схем
Автоматное управление асинхронными процессами в ЭВМ и дискретных системах
Алгебра параллельных недетерминированных процессов: денотационная и операционная семантики
Алгоритм построения оптимальной компоновки одинаково распределенных систем
Анализ и синтез параллельных информационных процессов на основе свойства когерентности
Анализ свойств параллельных процессоров и процессоров реального времени, представленных моделями структур событий
Архитектура операционной системы с поддержкой миграции процессов
Батарея, огонь! или Задача Майхилла для Microsoft Visual C++
Взаимодействие как унификация в алгебрах процессов: операционная семантика
Взвимодействующие последовательные объекты
Восходящий недетерминированный параллельный процесс, его организация и применение
Графовая алгебра процессов и высокоуровневая отладка программ
Графы с нестандартной достижимостью: маршрутизация, случайные процессы и потоковые задачи
Двумерное стационарное распределение полурегенерируемого процесса и приложения к анализу систем массового обслуживания
Дискретные процессы: спецификация и имитационное моделирование
Иерархические суждения в вероятностной CSP
Извлечение знаний из данных. Компьютерное познание. Модели когнитивных процессов
Имитационное моделирование вычислительного процесса в узлах локальной сети
Инструментальные средства интеллектуальной графики для отображения динамики сложного технологического процесса
ИНФОРМАТИКА Задачи и решения
Информационное обеспечение автоматизированных систем обработки результатов испытаний
Исследование коллективных процессоров в газоразрядной и твердотельной плазмах
Исследование эквивалентностных отношений структур событий с непрерывным временем
Исчесления процессов. I
Исчисления процессов. I
Как работают приложения в Windows 95
К вопросу об оценке оптимальной степени параллелизма
Классификация информационных процессов. Когнитивные процессы
Коалгебраическое исследование бисимуляционных параллельных процессов
Коллективные ресурсы в системе организации взимодействия прикладных процессов, использую ей раздельную память
Комплексное решение проблемы распределенного контроля и управления технологическими процессами
Конструктивные процессы: Тезисы конференции
Локальное управление марковскими процессами взаимодействия на графе с компактным множеством состояний