Головна
Шановні користувачі!
Чернігівська ОУНБ ім. Софії та Олександра Русових проводить роботу відповідно до
Рекомендацій Міністерства культури та інформаційної політики України
щодо актуалізації бібліотечних фондів у зв'язку зі збройною агресією російської федерації проти України.
Авторизація
Прізвище
Пароль
Увійти
 
Вид пошуку
 
Стандартний
Розширений
Професійний
Розподілений
За словником
Бази даних
Електронна картотека аналітичного опису статей - результати пошуку
Електронний каталог книг
Електронна картотека аналітичного опису статей
Зведений краєзнавчий каталог Чернігівщини
Електронна бібліотека
Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)
Електронний каталог книг іноземними мовами
Друковані ЗМІ про нас
Зона пошуку
Ключові слова
Автор
Назва
Рік видання
Формат представлення знайдених документів:
повний
інформаційний
короткий
Відсортувати знайдені документи за:
автором
назвою
роком видання
типом документа
Пошуковий запит:
(<.>K=операційний блок<.>)
Загальна кількість знайдених документів
:
2
Показані документи
с 1 за 2
>
1.
Зіць, Олексій
.
Особливості розвитку бізнес-процесів ПАТ "Укрзалізниця" [Текст] / О. Зіць> // Проблеми і перспективи економіки та управління. - 2016. -
№ 3
. - С. 123-134 : рис., табл. - Бібліогр.: с. 134
Рубрики:
Залізничний транспорт--Україна
Кл.слова (ненормовані):
управлінський
блок
--
операційний
блок
--
підтримуючий
блок
--
вантажні перевезення
--
пасажирські перевезення
--
інфраструктура
--
блок
забезпечення
--
приватні залізничні перевізники
--
соціальний сегмент
--
конкурентне середовище
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
>
2.
Бибило, П. Н.
Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов [Текст] / П. Н. Бибило, В. И. Романов> // Управляющие системы и машины. - 2017. -
№ 1
. - С. 35-45 : рис., табл. - Библиогр.: с. 44 . - ISSN 0130-5395
УДК
004.3
Рубрики:
Інформатика--Моделювання--Автомати
Кл.слова (ненормовані):
цифрова апаратура
--
мікропрограми
--
операційний
блок
Анотація:
В статье разработана программа, позволяющая по полученной в результате моделирования последовательности состояний автомата строить ориентированный граф переходов автомата и находить покрытие всех дуг. Входные тестовые наборы, соответствующие дугам, вошедшим в покрытие, будут образовывать тест для функциональной верификации.
Дод.точки доступу:
Романов, В. И.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
повний формат
короткий формат
всі знайдені
відмічені
окрім відмічених
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)