Наукова бібліотека Українського державного університету науки і технологій

Головна

Бази даних

Статті, доповіді, тези- результати пошуку

Вид пошуку

Каталог книг

Каталог книг НМетАУ (до 2022 року)

Періодичні видання (друковані)

Статті, доповіді, тези

Рідкісні та цінні видання

Охоронні документи

Мережеві ресурси

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: <.>K=системы алгоритмических алгебр<.>

Загальна кількість знайдених документів : 1

Погорілий, С. Д.
Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах / С. Д. Погорілий, М. С. Слинько // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2020. - Том 56, № 4. - С. 196-202. - Бібліогр. в кінці ст.

УДК

004.4

Рубрики: Інформаційні технології
Информационные технологии
Кл.слова (ненормовані):
транзиційні системи -- транзиционные системы -- системи алгоритмічних алгебр -- системы алгоритмических алгебр -- GPGPU-системи -- GPGPU-системы -- мережі Петрі -- сети Петри

Дод.точки доступу:
Слинько, М. С.

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)