Чернігівська ОУНБ ім. В.Г. Короленка

Головна

Шановні користувачі!
Чернігівська ОУНБ ім. Софії та Олександра Русових проводить роботу відповідно до Рекомендацій Міністерства культури та інформаційної політики України щодо актуалізації бібліотечних фондів у зв'язку зі збройною агресією російської федерації проти України.

Вид пошуку

Бази даних

Електронна картотека аналітичного опису статей - результати пошуку

Електронний каталог книг

Електронна картотека аналітичного опису статей

Зведений краєзнавчий каталог Чернігівщини

Електронна бібліотека

Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)

Електронний каталог книг іноземними мовами

Друковані ЗМІ про нас

Зона пошуку

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

Пошуковий запит: (<.>K=формалізація властивостей<.>)

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

Казимир, В. В.
Мережеве планування в режимі реального часу з використанням апарату темпоральних логік [Текст] / В. В. Казимир, А. С. Посадська // Технічні науки та технології. - 2015. - № 1. - С. 61-67 : табл., рис. - Бібліогр. в кінці ст.
Рубрики: Комп'ютерні технології--Інформаційні системи
Кл.слова (ненормовані):
мережевий графік -- формалізація властивостей

Дод.точки доступу:
Посадська, А. С.

Є примірники у відділах: всього 1 : ВДЕТПСГН (1)

Знайти схожі

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