Обчислювальні системи 13 10 Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем 5 Паралельне програмування. Розподілені системи і мережі 5 Теоретичні та методологічні основи програмування 5 Методи та засоби програмної інженерії 4 Формальні методи програмування 4 UDC 681.3 3 rewriting rules technique 3 Моделі та засоби паралельних і розподілених програм 3 Параллельное программирование 3 Распределенные системы и сети 3 УДК 681.3 3 техніка переписувальних правил 3 Інструментальні засоби і середовища програмування 2 Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем 2 Интеллектуальные системы автоматизации научных исследований, проектирования и управления 2 Моделювання і управління великими системами 2 Наукові напрями 2 Програмно-технічні засоби інтелектуальних систем 2 техника переписывающих правил 2 Abstract data types 1 Algorithmic Algebra 1 Fundamental Problems in Computer Science 1 Icторія програмування 1 Lyapunov function 1 Software and its engineering~Abstract data types 1 UDC 51:681.03 1 UDC 004.4 1 UDC 004.4 (091) 1