Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

004
І-88Іссам, Саад
    Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності [Текст] : автореф. дис. ... канд. техн. наук : 05.12.02 - телекомунікац. системи та мережі / М-во освіти і науки України, Харк. нац. ун-т радіоелектроніки. — Харків, 2016. — 23 с.

- Теми документа

  • УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
  • УДК // Маршрутизатори ("роутери")
  • УДК // Моделювання з використанням математичних моделей
  • УДК // Протоколи



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 1 Перейти на сайт