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

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

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

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

Пошук :

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

Довідка :

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

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

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

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

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

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

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

<< назад | 1 | 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


Моделі та методи інформаційної технології створення адаптивних бездротових локальних комп'ютерних...
Недоступно
 0 из 1
Книга
Яновський, Максим Едуардович
Моделі та методи інформаційної технології створення адаптивних бездротових локальних комп'ютерних...: [монографія]
Models and methods of information technology for the creation of adaptive wireless local area networks
Лисенко І. Б., 2015 г.
ISBN 978-966-1681-16-2


Надійність флотів безпілотних літальних апаратів систем моніторингу потенційно небезпечних об'єктів
Недоступно
 0 из 1
Книга
Фесенко, Герман Вікторович
Надійність флотів безпілотних літальних апаратів систем моніторингу потенційно небезпечних об'єктів: монографія
Reliability of unmanned aerial vehicle fleets for monitoring systems of potentially dangerous objects
Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2022 г.
ISBN 978-966-1681-56-8


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


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


Проектирование встроенных систем на микроконтроллерах STMicroelectronics
Недоступно
 0 из 1
Книга
Бабешко Е. В.
Проектирование встроенных систем на микроконтроллерах STMicroelectronics: учебное пособие
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2008 г.
ISBN 966-298-232-9


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

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


Сервис-ориентированные системы и технологии бизнес-критического применения
Недоступно
 0 из 1
Книга
Горбенко, Анатолий Викторович
Сервис-ориентированные системы и технологии бизнес-критического применения: практикум
Service-oriented business-critical systems and technologies
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2012 г.
ISBN 978-966-662-275-7


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

Системы и технологии высокой готовности: практикум
High availability systems and technologies
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2013 г.
ISBN 978-966-662-285-6


Принципы, компоненты, модели
Недоступно
 0 из 1
Книга

Т. 1: Принципы, компоненты, модели
2014 г.
ISBN відсутній


Системы, индустрия, социум
Недоступно
 0 из 1
Книга

Т. 2: Системы, индустрия, социум
2014 г.
ISBN 978-966-662-361-7


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

Технологии разработки зеленых регуляторов и робототехнических систем: практикум
Technologies of Green Regulators and Robotics Development
ХАИ, 2015 г.
ISBN 978-966-662-713-4


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


Формальные методы разработки критического программного обеспечения. Лекционный материал
Недоступно
 0 из 1
Книга
Тарасюк Ольга Михайловна
Формальные методы разработки критического программного обеспечения. Лекционный материал
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2009 г.
ISBN відсутній


Формальные методы разработки критического программного обеспечения. Практикум
Недоступно
 0 из 1
Книга
Тарасюк Ольга Михайловна
Формальные методы разработки критического программного обеспечения. Практикум
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2008 г.
ISBN відсутній


Энергоэффективные кластерные и облачные вычисления и технологии
Недоступно
 0 из 1
Книга

Энергоэффективные кластерные и облачные вычисления и технологии: практикум
Energy-effecient cluster and cloud computing and technology
ХАИ, 2016 г.
ISBN 978-966-662-706-6


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