Головна
Авторизація
Прізвище
№ читательского билета
 

Бази даних


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

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повний інформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=транзиционные системы<.>
Загальна кількість знайдених документів : 2
Показані документи с 1 за 2
1.

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Крывый С. Л., Гриненко Е. А.
Назва : Экосистемы программной инженерии
Місце публікування : Кибернетика и системный анализ: міжнародний науково-теоретичний журнал. - Київ: Інститут кібернетики ім. В. М. Глушкова НАН України, 2020. - Том 56, № 4. - С. 128-143 (Шифр К2/2020/56/4)
Примітки : Библиогр. в конце ст.
УДК : 51:681.3
Предметні рубрики: Математика
Вычислительная техника
Обчислювальна техніка
Ключові слова (''Вільн.індекс.''): экосистема--екосистема--транзиционные системы--транзиційні системи--конечные автоматы--скінченні автомати--временные автоматы--часові автомати--сети петри--мережі петрі
Знайти схожі

2.

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Погорілий С. Д., Слинько М. С.
Назва : Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах
Місце публікування : Кибернетика и системный анализ: міжнародний науково-теоретичний журнал. - Київ: Інститут кібернетики ім. В. М. Глушкова НАН України, 2020. - Том 56, № 4. - С. 196-202 (Шифр К2/2020/56/4)
Примітки : Бібліогр. в кінці ст.
УДК : 004.4
Предметні рубрики: Інформаційні технології
Информационные технологии
Ключові слова (''Вільн.індекс.''): транзиційні системи--транзиционные системы--системи алгоритмічних алгебр--системы алгоритмических алгебр--gpgpu-системи--gpgpu-системы--мережі петрі--сети петри
Знайти схожі

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