Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем за авторством Лукьянова, Е.А.

Отримати повний текст

Международно-правовое регулирование труда трудящихся мигрантов на универсальном уровне за авторством Ниязов, Д.А. оглы

Отримати повний текст

Блочний алгоритм перетворень Хаусхолдера для комп’ютерів гібридної архітектури за авторством Попов, О.В., Рудич, О.В.

Отримати повний текст

Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

Отримати повний текст

Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування... за авторством Чебанюк, О.В.

Отримати повний текст

Парадигмы программирования сборочного типа в программной инженерии за авторством Лаврищева, Е.М.

Отримати повний текст

Регрессивное тестирование: методы и будущие направления исследований за авторством Мороз, Г.Б., Плис, А.В.

Отримати повний текст

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем... за авторством Колчин, А.В., Летичевский, А.А., Потиенко, С.В.

Отримати повний текст

Разработка и обоснование алгоритмов на основе семантических свойств за авторством Крывый, С.Л., Максимец, А.Н.

Отримати повний текст

Генерация SQL-запросов в задаче согласования данных электронного документа и таблиц базы данных за авторством Марулин, С.Ю.

Отримати повний текст

Формальна семантика агрегатних операцій мультимножинної табличної алгебри за авторством Глушко, І.М.

Отримати повний текст

Сравнительна характеристика методик объектно-реляцонного преобразования за авторством Лихацкий, И.А.

Отримати повний текст

Безпосередній об'єкт статевих зносин з особою, яка не досягла статевої зрілості за авторством Чмут, С.В.

Отримати повний текст

Змішана тематично-сутнісна онтологія у покращеній тематичній векторній моделі за авторством Шабінський, А.С.

Отримати повний текст

Онтолого-ориентированная интеграция данных в Семантическом Вебе за авторством Чистякова, И.С.

Отримати повний текст

Медико-физиологические программные симуляторы: необходимость и проблемы за авторством Григорян, Р.Д., Дериев, И.И., Аксенова, Т.В., Лиссов, А.Н.

Отримати повний текст

Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення за авторством Завадський, І.О.

Отримати повний текст

Методы моделирования поведения агентов в мультиагентной системе "Навигация" за авторством Яловец, А.Л.

Отримати повний текст

Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения”... за авторством Палагин, А.В., Петренко, Н.Г., Величко, В.Ю., Малахов, К.С.

Отримати повний текст

Mathematical foundations for designing and development of intelligent systems of information analysis за авторством Terletskyi, D.O., Provotar, O.I.

Отримати повний текст