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

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

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

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

Пошук :

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

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

Довідка :

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

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

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

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

Електронний каталог : Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", Харьков

К списку издательств

Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", Харьков

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

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

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

<< назад | 1 | 2 | 3 | 4 | 5 | 6 | 7
Технический музей: история, опыт, перспективы
Недоступно
 0 из 1
Книга

Технический музей: история, опыт, перспективы: матер. II междунар. науч.-практ. конф., 26-29 мая 2010 г., г. Киев
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", НАУ-друк, 2010 г.
ISBN відсутній


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


Учебно-информационный центр критического компьютинга. Руководство пользователя
Недоступно
 0 из 1
Книга
Бохан Константин Александрович
Учебно-информационный центр критического компьютинга. Руководство пользователя
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2008 г.
ISBN відсутній


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


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


Серии:

  • Качество программного обеспечения и безопасность космических систем
  • Tempus. Education and Culture. MSc
© Одеська національна наукова бібліотека 2012—2025