Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями by Нікітченко, М.С., Шкільняк, О.С., Шкільняк, С.С.

Get full text

ОБСЕ и обеспечение международной безопасности by Эйвазлы, Д.В. оглы

Get full text

Согласованное описание алгоритмов в рамках алгебраического аппарата by Акуловский, В.Г., Дорошенко, А.Е.

Get full text

Швидка або якісна розробка? by Панченко, Т.В.

Get full text

NP-трудность задач оптимизации коллективного преследования by Пашко, С.В.

Get full text

Дослідження шаблонів синхронізації та їх використання в технології GPGPU by Погорілий, С.Д., Верещинський, О.А.

Get full text

Принципи проектування GPGPU-застосувань на основі мереж Петрі by Погорілий, С.Д., Вітель, Д.Ю.

Get full text

Паралелізація невід’ємної факторизації розріджених матриць надвеликої розмірності 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