Одеська національна наукова бібліотека

Повернутися до сайту ОННБ
Бібліотека працює:
понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

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

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

  • Нові надходження
  • Простий пошук

  • Автори
  • Видавництва
  • Серії
  • Тезауруси
  • Індекси УДК

Довідка :

  • Як освоїти пошук в ЕК

  • Приклади оформлення бланка вимоги

  • Перелік наукових спеціальностей

  • Скорочені таблиці УДК українською мовою на веб-сайті UDCS

Електронний каталог : Книги у рубриці: Підручники, посібники

Рубрики
--> Підручники, посібники

Рубрика

Назва:
 
Підручники, посібники  

Друк списку

Зв'язані описи:

Відобразити для друку: сторінку | інверсія | сброс | друк(0)

Качество
Недоступно
 0 из 1
Книга

Т. 1: Качество
2012 г.
ISBN 978-966-662-254-2


Надежность
Недоступно
 0 из 1
Книга

Т. 2: Надежность
2012 г.
ISBN 978-966-662-255-9


Безопасность
Недоступно
 0 из 1
Книга

Т. 3: Безопасность
2012 г.
ISBN 978-966-662-256-6


Safety Case методы и средства получения и анализа данных
Недоступно
 0 из 1
Книга
Поморова, Оксана Викторовна
Safety Case методы и средства получения и анализа данных: тренинг
Safety Case oriented system measurement and data analysis
ФЛП Лысенко И. Б., 2013 г.
ISBN 978-966-1681-04-9


Инструментальные средства поддержки метода Safety Case и технологии их применения
Недоступно
 0 из 1
Книга
Скляр, Владимир Владимирович
Инструментальные средства поддержки метода Safety Case и технологии их применения
Safety Case Tools and Innovative Technologies of Application
ХАИ, 2012 г.
ISBN 978-966-662-264-1


Масштабируемые многоверсионные технологии для критических приложений
Недоступно
 0 из 1
Книга

Масштабируемые многоверсионные технологии для критических приложений
Scalable multi-version technologies for safety-critical applications
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2013 г.
ISBN 978-966-662-309-9


Основы ИТ - инженерии безопасности критических инфраструктур
Недоступно
 0 из 1
Книга
Брежнев, Евгений Витальевич
Основы ИТ - инженерии безопасности критических инфраструктур: практикум
Foundations of IT-engineering of critical infrastructure safety
ФЛП Лысенко И. Б., 2013 г.
ISBN 978-966-1681-03-2


Распределённые критические системы и инфраструктуры
Недоступно
 0 из 1
Книга

Распределённые критические системы и инфраструктуры: практикум
Distributed Critical Systems and Infrastructures
ХАИ, 2013 г.
ISBN 978-966-662-300-6


Формальні методи розроблення критичних систем
Недоступно
 0 из 1
Книга
Лисенко, Сергій Миколайович
Формальні методи розроблення критичних систем: навч. посіб.
ХНУ, 2024 г.
ISBN 978-966-330-433-5


Формальные  технологии разработки безопасных компьютерных систем
Недоступно
 0 из 1
Книга
Тарасюк, Ольга Михайловна
Формальные технологии разработки безопасных компьютерных систем: практикум
Formal Methods-based Technologies for Safeware
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2012 г.
ISBN 978-966-662-276-4


© Одеська національна наукова бібліотека 2012—2025