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

by Потієнко, С.В., Колчин, О.В.
Published 2022

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

by Шкільняк, О.С., Шкільняк, С.С.
Published 2022

Information resources distribution between automated workstations in local corporative networks

by Pursky, O.I., Kozlov, V.V., Tomashevska, T.V., Dyvak, V.V., Hordiiko, N.O., Sinitsky, M.Y.
Published 2022

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

by Шинкаренко, В.І., Дорошенко, А.Ю., Яценко, О.А., Разносілін, В.В., Галанін, К.К.
Published 2022