Обчислювальні системи 4 rewriting rules technique 2 Методи та засоби програмної інженерії 2 техника переписывающих правил 2 техніка переписувальних правил 2 Lyapunov function 1 UDC 004.4'24 1 UDC 004.4`2 1 UDC 518.9 1 agent 1 algebra of algorithms 1 algebra-dynamic models 1 automation of parallel program optimization 1 autotuning 1 maximal time of pursuit 1 meteorological forecasting 1 parallel computation 1 programming automation 1 pursuit-evasion game 1 strategy of parallel approach 1 validation of code transformations correctness 1 Інформатика та кібернетика 1 До 90-рiччя НАН України 1 Интеллектуальные робототехнические системы 1 Методи машинного навчання 1 Моделювання і управління великими системами 1 Наукові напрями 1 Паралельне програмування. Розподілені системи і мережі 1 Семантика формальных и естественных языков 1 УДК 004.4'24 1