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

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

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

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

Пошук :

  • Нові надходження
  • Простий пошук
  • Автори
  • Видавництва
  • Серії
  • Тезауруси
  • Індекси УДК

Довідка :

  • Як освоїти пошук в ЕК
  • Приклади оформлення бланка вимоги
  • Перелік наукових спеціальностей
  • Скорочені таблиці УДК українською мовою на веб-сайті UDCS

Електронний каталог : Харченко, В. С.

К списку авторов

Харченко, В. С.

Сортувати за:заглавию

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

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

1 | 2 | вперед >>
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-Oriented System Requirements Analysis
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2012 г.
ISBN 978-966-662-270-2


Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения
Недоступно
 0 из 1
Книга

Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения
Safety of critical infrastructures : mathematical and engineering methods of analysis and ensuring
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2011 г.
ISBN 978-966-662-228-3


Зеленая ИТ-инженерия
Нет экз.
Багатотомне видання

Зеленая ИТ-инженерия: в 2 т.
ХАИ, 2014 г.
ISBN відсутній


Зеленые аппаратные средства и программируемые системы
Недоступно
 0 из 1
Книга

Зеленые аппаратные средства и программируемые системы: практикум
Green hardware and programmable systems
ХАИ, 2015 г.
ISBN 978-966-662-715-8


Зеленые технологии в телекоммуникациях
Недоступно
 0 из 1
Книга

Зеленые технологии в телекоммуникациях: [практикум]
Green telecommunication technologies
ФЛП Лысенко И. Б., 2015 г.
ISBN 978-966-1681-17-9


Инварианто-ориентированная оценка качества программного обеспечения космических систем
Недоступно
 0 из 1
Книга
Конорев Б. М.
Инварианто-ориентированная оценка качества программного обеспечения космических систем
Серія: Качество программного обеспечения и безопасность космических систем
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2009 г.
ISBN відсутній


Инженерия критического программного обеспечения
Недоступно
 0 из 1
Книга

Инженерия критического программного обеспечения: учеб. пособие
ХАИ, 2015 г.
ISBN 978-966-662-403-4


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


Исследование и разработка энергоэффективных беспроводных сетей
Недоступно
 0 из 1
Книга
Тарасюк, Ольга Михайловна
Исследование и разработка энергоэффективных беспроводных сетей: практикум
Research and development for power efficient wireless networks
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2016 г.
ISBN 978-966-662-709-7


Исследование и разработка энергоэффективных мобильных и встроенных систем
Недоступно
 0 из 1
Книга
Тарасюк, Ольга Михайловна
Исследование и разработка энергоэффективных мобильных и встроенных систем: практикум
Research and development for power efficient mobile and embedded systems
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2016 г.
ISBN 978-966-662-710-3


Інтелектуальні кібернетичні системи: еволюція принципів, теорій та безпекових технологій
Недоступно
 0 из 1
Книга

Інтелектуальні кібернетичні системи: еволюція принципів, теорій та безпекових технологій: монографія
Видавництво Юстон, 2023 г.
ISBN 978-617-7854-91-2


Інформаційна технологія забезпечення функціональної безпеки інформаційно-управляючих систем з арх...
Недоступно
 0 из 1
Книга
Дужий, Вячеслав Ігорович
Інформаційна технологія забезпечення функціональної безпеки інформаційно-управляючих систем з арх...: монографія
Information technologies to ensure functional safety information and control systems with architecture and technology of diversity
Серія: TEMPUS
Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2015 г.
ISBN 978-617-7361-16-8


Качество программно-технических комплексов: процессный подход
Недоступно
 0 из 1
Книга
Скляр, Владимир Владимирович
Качество программно-технических комплексов: процессный подход: лекционный материал
Quality of Instrumentation and Control Systems : A Process Approach
ФЛП Лысенко И. Б., 2013 г.
ISBN 978-966-1681-06-3


Методи і засоби забезпечення виконання вимог до кібербезпеки систем на програмовній логіці
Недоступно
 0 из 1
Книга
Ілляшенко, Олег Олександрович
Методи і засоби забезпечення виконання вимог до кібербезпеки систем на програмовній логіці: монографія
Methods and means of the cybersecurity requirements compliance ensuring for programmable logic systems
Серія: TEMPUS
Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2019 г.
ISBN 978-966-1681-45-2


Методи і засоби розроблення мультипараметризовних проектів програмованої логіки для вбудованих си...
Недоступно
 0 из 1
Книга
Перепелицин, Артем Євгенович
Методи і засоби розроблення мультипараметризовних проектів програмованої логіки для вбудованих си...: монографія
Methods and tools of multiparametrized PLD-based projects development for embedded systems
Серія: TEMPUS
Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2019 г.
ISBN 978-966-1681-46-9


Методи комплексування процедур оцінювання та забезпечення функціональної безпеки інформаційно-кер...
Недоступно
 0 из 1
Книга
Бабешко, Євген Васильович
Методи комплексування процедур оцінювання та забезпечення функціональної безпеки інформаційно-кер...: монографія
Methods of information and control systems functional safety assessment and ensuring procedures complexation
Серія: TEMPUS
Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2019 г.
ISBN 978-966-1681-47-6


Методи та технології забезпечення якості та безпеки інтелектуальних систем
Недоступно
 0 из 1
Книга

Методи та технології забезпечення якості та безпеки інтелектуальних систем: монографія
Methods and technologies of ensuring quality and safety of intelligent systems
Видавництво Юстон, 2023 г.
ISBN 978-617-8335-01-4


Моделі й метод надання доступу до сервісів розподіленої хмарної системи
Недоступно
 0 из 1
Книга
Яновська, Ольга Володимирівна
Моделі й метод надання доступу до сервісів розподіленої хмарної системи: монографія
Models and method for services provision in a distributed cloud system
Серія: TEMPUS
Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2016 г.
ISBN 978-617-7361-19-9


Моделі кооперації університетів та ІТ-компаній: системи прийняття рішень на нечіткій логіці
Недоступно
 0 из 1
Книга

Моделі кооперації університетів та ІТ-компаній: системи прийняття рішень на нечіткій логіці: монографія
Models of cooperation between universities and IT-companies : decision making systems based on fuzzy logic
Лисенко І. Б., 2015 г.
ISBN 978-966-1681-14-8


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