Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- взаимодействующие процессы
- InfiniBand 1
- MYRINET 1
- QsNet 1
- Raceway 1
- SCI 1
- МВС-100 1
- МВС-1000 1
- Математическая логика 1
- алгоритмы 1
- анализ 1
- архитектура 1
- асинхронные параллельные машины 1
- внешняя память 1
- вычислительные машины 1
- вычислительные системы 1
- дискретные процессы 1
- иерархическая память 1
- имитационное моделирование 1
- кластеры 1
- когерентность 1
- коммуникационные среды 1
- коммутаторы 1
- конференции 1
- логические задачи 1
- логические средства 1
- логическое программирование 1
- надежность 1
- описание 1
- оценка 1
-
1
Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач тезисы докладов IV Всесоюзной конференции...
Опубліковано Таллин, Институт кибернетики АН ЭССР, 1986Книга -
2