Титульні сторінки та зміст

Volltext

Конструкционно-продукционная модель структур данных на логическом уровне von Шинкаренко, В.И., Ильман, В.М., Забула, Г.В.

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext