Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
параллельный процесс
Связанные издания:
Automated Technology for Verification and Analysis: Proc./9th International Symposium, ATVA 2011, Taipei, Taiwan, October 2011
CONCUR 2014 - Concurrency Theory: Proc./25th International Conference, CONCUR 2014, Rome, Italy, September 2014
Категорные методы исследования полукубических множеств и пространств как моделей параллельных процессов
Математические модели и методы в параллельных процессах
Организация параллельных процессов с использованием экторов
Расчёт характеристик и планирование параллельных вычислительных процессов