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

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

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

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

Пошук :

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

Довідка :

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

Електронний каталог : Тарасюк, Ольга Михайловна

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

Тарасюк, Ольга Михайловна

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

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

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

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


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


Гарантоспособные системы, сети и сервисы. Практикум
Недоступно
 0 из 1
Книга
Горбенко Анатолий Викторович
Гарантоспособные системы, сети и сервисы. Практикум
Серія: Tempus. Education and Culture. MSc
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2008 г.
ISBN відсутній


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

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


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


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


Исследование и разработка энергоэффективных беспроводных сетей
Недоступно
 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


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