Внешние множественные операции табличной алгебры бесконечных таблиц von Глушко, И.М.

Volltext

Метод извлечения логики поведения из промышленного программного кода на языке Кобол von Губа, А.А., Колчин, А.В., Потиенко, С.В.

Volltext

Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python von Новокшонов, А.К.

Volltext

Синтез многоуровневых структур со многими выходами von Опанасенко, В.Н., Крывый, С.Л.

Volltext

Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных von Резниченко, В.А., Чистякова, И.С.

Volltext

Розвиток вітчизняного паровозобудування та роль у ньому С.П. Сиром’ятникова von Бережняк, Г.П.

Volltext

Композиційно-номінативні логіки безкванторних рівнів von Шкільняк, С.С., Волковицький, Д.Б.

Volltext

Конструктивно-продукционная модель графового представления текста von Шинкаренко, В.И., Куропятник, Е.С.

Volltext

О выделении макроопераций из вычислительных процессов сортировки массивов данных von Паулин, О.Н., Комлевая, Н.О., Марулин, С.Ю.

Volltext

Автоматизована розробка паралельної розподіленої системи обробки потокових даних von Тітов, Д.С., Дорошенко, А.Ю., Яценко, О.А.

Volltext

Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU von Погорілий, С.Д., Слинько, М.С.

Volltext

Peterson’s Algorithm total correctness proof in IPCL von Zhygallo, A.A.

Volltext

Доведення властивості коректної роботи банківської системи виплати грошових переказів von Остаповська, Ю.А., Панченко, Т.В., Поліщук, Н.В., Картавов, М.О.

Volltext

Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень von Дорошенко, А.Ю., Хаврюченко, В.Д., Туліка, Є.M., Жереб, К.А.

Volltext

Методи організації паралельних обчислень для багаторівневих нечітких систем Такагі – Сугено von Єршов, С.В., Пономаренко, Р.М.

Volltext

З історії дослідження забудови Києва кінця ХІХ – початку ХХ ст. von Сердюк, О.М.

Volltext

Машинно-навчальні методи розпізнавання іменованих сутностей тексту von Марченко, О.О.

Volltext

Метод формирования многоуровневых последовательных паттернов von Молдавская, А.В.

Volltext

Application of deep learning and computer vision frameworks for solving video context prediction problem von Voloshyn, D.

Volltext

Технологія моделювання на основі нечітких об’єктно-орієнтованих байєсівських мереж довіри von Єршов, С.В., Костукевич, Ф.В.

Volltext