Обчислювальні системи 13 7 Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем 5 Теоретичні та методологічні основи програмування 4 rewriting rules technique 3 Методи та засоби програмної інженерії 3 Моделі та засоби паралельних і розподілених програм 3 Паралельне програмування. Розподілені системи і мережі 3 техніка переписувальних правил 3 UDC 681.3 2 Інструментальні засоби і середовища програмування 2 Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем 2 Интеллектуальные системы автоматизации научных исследований, проектирования и управления 2 Моделювання і управління великими системами 2 Параллельное программирование 2 Распределенные системы и сети 2 УДК 681.3 2 Формальні методи програмування 2 техника переписывающих правил 2 Abstract data types 1 Algorithmic Algebra 1 Lyapunov function 1 Software and its engineering~Abstract data types 1 UDC 51:681.03 1 UDC 004.4 1 UDC 004.4'24 1 UDC 004.422+510.23+510.25+510.54+512.567 1 UDC 004.4`2 1 UDC 004.4`2:004.94 1 UDC 518.9 1