Одеська національна наукова
бібліотека
Бібліотека працює:
понеділок, вівторок, середа, четвер, субота і неділя – з 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
Недоступно
0 из 1
Книга
Поморова, Оксана Викторовна
Safety Case методы и средства получения и анализа данных: тренинг
Safety Case oriented system measurement and data analysis
ФЛП Лысенко И. Б., 2013 г.
ISBN 978-966-1681-04-9
Недоступно
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