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

von Шкільняк, О.С., Шкільняк, С.С.
Veröffentlicht 2022

Information resources distribution between automated workstations in local corporative networks

von Pursky, O.I., Kozlov, V.V., Tomashevska, T.V., Dyvak, V.V., Hordiiko, N.O., Sinitsky, M.Y.
Veröffentlicht 2022

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

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

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

von Потієнко, С.В., Колчин, О.В.
Veröffentlicht 2022