Аналітичний огляд методів і засобів інформаційного пошуку в Semantic Web von Гришанова, І.Ю.

Volltext

Драматична медицина: героїзм вчених минулого і трагічні наслідки сучасності von Клименко, Л.О.

Volltext

Використання онтологій для персоніфікованого пошуку знань у природномовних текстів von Рогушина, Ю.В.

Volltext

Методы и модели использования экспертно-аналитического знания для поддержки принятия решений в организации. Часть 1. Модели знания о решениях... von Ильина, Е.П.

Volltext

Автоматизоване проектування програм для розв’язання задачі метеорологічного прогнозування von Дорошенко, А.Ю., Іваненко, П.А., Овдій, О.М., Яценко, О.А.

Volltext

Game theoretic modeling of AIMD network equilibrium von Ignatenkо, O.P.

Volltext

Мультиагентне моделювання послідовних багатоелементних японських аукціонів von Яловець, А.Л.

Volltext

Внешние множественные операции табличной алгебры бесконечных таблиц 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