Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю...

за авторством Шкільняк, О.С., Шкільняк, С.С.
Опубліковано 2022

Information resources distribution between automated workstations in local corporative networks

за авторством Pursky, O.I., Kozlov, V.V., Tomashevska, T.V., Dyvak, V.V., Hordiiko, N.O., Sinitsky, M.Y.
Опубліковано 2022

Двохкомпонентні алгоритми сортування

за авторством Шинкаренко, В.І., Дорошенко, А.Ю., Яценко, О.А., Разносілін, В.В., Галанін, К.К.
Опубліковано 2022

Генерація багатоцільових формальних моделей із успадкованого коду

за авторством Потієнко, С.В., Колчин, О.В.
Опубліковано 2022