Паралелізація невід’ємної факторизації розріджених матриць надвеликої розмірності by Насиров, Е.М.

Get full text

Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди by Дорошенко, А.Ю., Бекетов, О.Г., Прусов, В.А., Тирчак, Ю.М., Яценко, О.А.

Get full text

Схема параллельного решения задачи дифракции SH-волн на системе некруговых трещин в бесконечной упругой среде... by Назаренко, А.М., Панченко, Б.Е., Пилипенко, С.А.

Get full text

Кластерное решение задачи о дифракции упругих волн на системе жестких цилиндрических включений произвольного поперечного сечения... by Панченко, Б.Е., Сайко, И.Н.

Get full text

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

Get full text

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

Get full text

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

Get full text

Traversal of arbitrary sequences of UCM symbolic transitions for test generation by Guba, A.A.

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text