[email protected]
+38 (057) 788-42-24

Головна
→
Електронний каталог
→
Пошук по електронному каталогу

Форма поиска Назад

укр рус eng

Поиск по электронному каталогу

Условия поиска
Все документы темы "Тарасюк О.М./Tarasyuk O."

Результаты 1 - 20 от общего числа 49

Список

Выбрать все на странице

1.
Consistency issue and related trade-offs in distributed replicated systems and databases: a review / J. Ahmed, A. Karpenko, O. Tarasyuk, A. Gorbenko [и др. ] // Радіоелектронні і комп'ютерні системи. - 2023. - № 2. - Р. 171-179 . - Bibliogr.: 56 names

2.	Харченко В.С.
Анализ рисков аварий для ракетно-космической техники: эволюция причин и тенденций / В. С. Харченко, В. В. Скляр, О. М. Тарасюк // Радіоелектронні і комп'ютерні системи. - 2003. - № 3. - C. 135–149

3.	Шифр: 004 Р65
Розроблення моделей та методів оцінювання безпеки критичних інформаційних інфраструктур. Верифікація отриманих результатів : звіт про НДР (проміж.) : Д503-2/2019-Ф / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т" ; керівник Брежнєв Є. В. ; викон.: Фесенко Г. В. [та інш.]. - Харків, 2020. - 211 с. - № ДР 0119U100979 - Інв. № 0221U000028

4.	Шифр: 004 I-69
Internet of Things for Industry and Human Applications=Інтернет речей для індустріальних і гуманітарних застосунків . Vol. 1 : Fundamentals and Technologies / T. O. Biloborodova, A. V. Boyarchuk, E. V. Brezhniev, D. A. Butenko [и др. ] ; Min. of Education and Science of Ukraine, Nat. Aerospace Univ. "Kharkiv Aviation Inst." ; ed. V. S. Kharchenko. - Kharkiv. - National Aerospace University Kharkiv Aviation Institute, 2019. - 605 p. - 978-617-7361-81-6 . - 120,00

5.	Шифр: 004 D24
Data Science for Internet of Things and Internet of Everything=Наука про дані для Інтернету Речей та Інтернету Всього : practicum / I. S. Skarga-Bandurova, A. V. Gorbenko, T. O. Biloborodova, V. S. Koval [и др. ] ; Min. of Education and Science of Ukraine, Volodymyr Dahl East Ukr. Nat. Univ., Nat. Aerospace Univ. "Kharkiv Aviation Inst.", Ternopil Nat. Econ. Univ. ; ed. I. S. Skarga-Bandurova, A. V. Gorbenko. - Kharkiv. - National Aerospace University Kharkiv Aviation Institute, 2019. - 169 p. - 978-617-7361-86-1 - ( Internet of Things for Industry and Human Applications ) . - 40,00

6.
Secure and Resilient Computing for Industry and Human Domains : Multi-book . Vol. 2 : Secure and Resilient Systems, Networks and Infrastructures / V. Sklyar, KharchenkoV. , E. Babeshko, A. Kovalenko [и др. ] ; Min. of Education and Science of Ukraine, N. Ye. Zhukovskiy Nat. Aerospace Univ. "Kharkiv Aviation Inst." ; ed. V. S. Kharchenko. - Kharkiv. - National Aerospace University Kharkiv Aviation Institute, 2017. - 97 p . - http://library.khai.edu/library/fulltexts/doc/Secur.pdf

7.	Шифр: 004 А64
Аналіз задач та розробка положень методології оцінювання та забезпечення безпеки критичних інформаційних інфраструктур, обґрунтування математичного апарату та методології досліджень. Аналіз існуючих підходів до створення системи захисту критичних інф : звіт про НДР : Д503-2/2019-Ф / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т" ; керівник Брежнєв Є. В. ; викон.: Фесенко Г. В. [та інш.]. - Харків, 2019. - 150 с. - № ДР 0119U00979 - Інв № 0220U101582

8.	Тарасюк О.М.
Метод комплексной метрико-модельной оценки качества и надежности программного обеспечения / О. М. Тарасюк // Системи обробки інформації : зб. наук. пр. / Харк. військ. ун-т . - Харків,2004. - Вип. 2. - С. 105-111 . - Библиогр.: 9 назв.

9.	Шифр: 004 Р65
Розробка та дослідження методів та засобів тестування та верифікації електронних проектів ПЛІС та програмного забезпечення, а також методів забезпечення надійності та функціональної безпеки інформаційно-управляючих систем критичних ІТ-інфраструктур : звіт про НДР (проміж.) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т" ; керівник Харченко В. С. ; викон.: Лисенко І. В. [та інш.]. - Харків, 2018. - 283 с. - № ДР 0117U005349 - Інв. № 0219U001924

10.	Тарасюк О.М.
Динамические радиальные метрические диаграммы в задачах управления качеством программного обеспечения / О. М. Тарасюк, В. С. Харченко // Інститут проблем моделювання в енергетиці ім. Г. Є. Пухова . Збірник наукових праць / Нац. акад. наук України . - Київ,2003. - Вип. 22. - С. 202-205 . - Библиогр.: 4 назв.

11.	Шифр: 004 Т19, Тарасюк О.М.
Формальные технологии разработки безопасных компьютерных систем=Formal Methods-based Technologies for Safeware : практикум / О. М. Тарасюк, А. В. Горбенко ; М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. - Харьков. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2012. - 75 с. - 978-966-662-276-4 - ( Tempus ) . - 20,00

12.	Шифр: 004 Г67, Горбенко А.В.
Сервис-ориентированные системы и технологии бизнес-критического применения=Service-Oriented Business-Critical Systems and Technologies : практикум / А. В. Горбенко, О. М. Тарасюк ; М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. - Харьков. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2012. - 65 с. - 978-966-662-275-7 - ( Tempus )

13.	Шифр: 004 Р17
Разработка теоретических и экспериментальных методов оценивания и уменьшения энергопотребления, а также повышения энергоэффективности программируемых средств : отчет о НИР (промежуточ.) : Д503-9/2015-Ф . Т. 1 / М-во науки и образования Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн.: Лысенко И. [и др.]. - Харьков, 2016. - 253 с. - № ГР 0115U000996 - Инв. № 0217U006283

14.	Политько Е.И.
Метод формальной верификации UMC: UML Model Checking / Е. И. Политько, О. М. Тарасюк, А. В. Горбенко // Системи обробки інформації : [зб. наук. пр.] / М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба . - Харків,2013. - Вип. 1 (108). - С. 211-215 . - Библиогр.: 8 назв.

15.	Шифр: 004 С40
Системи обробки інформації : [зб. наук. пр.] , Вип. 1 (108) / М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба. - Харків. - ХУ ПС ім. І. Кожедуба, 2013. - 290 с . - 50,00

16.
Исследование уязвимостей серверных операционных систем / А. Ю. Белобородов, А. В. Горбенко, О. М. Тарасюк, С. А. Шеремет // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - 2016. - № 6. - С. 50-58 . - Библиогр.: 20 назв.

17.	Тарасюк О.М.
Проблемы создания гетерогенных систем для глобально-распределенной обработки и хранения информации / О. М. Тарасюк // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - 2016. - № 5. - С. 148-154 . - Библиогр.: 19 назв.

18.	Шифр: 004 Т19, Тарасюк О.М.
Исследование и разработка энергоэффективных беспроводных сетей=Research and Development for Power Efficient Wireless Networks : практикум / О. М. Тарасюк, А. В. Горбенко ; М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. - Харьков. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2016. - 96 с. - 978-966-662-709-7 . - 40,00

19.	Шифр: 004 З-48
Зеленая ИТ-инженерия : [в 2 т.] . Т. 1 : Принципы, компоненты, модели / В. С. Харченко, Д. К. Андрейченко, С. Г. Антощук, Е. Н. Бульба [и др. ] ; М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2014. - 594 с. - 978-966-662-378-5 . - 150,00

20.	Шифр: 004 Р17
Разработка положений методологии зеленого компьютинга и коммуникаций в условиях ресурсных ограничений : отчет о НИР (промежуточ.) : Д503-9/2015-Ф . Т. 1 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. - Х., 2015. - 246 с. - № ГР 0115U000996 - Инв. № 0216U003623

Страница с результатами: 1 2 3

Сведения о заказчике:
Заказать*:
ФИО*:
Номер чит. билета (ХАИ):
E-mail*:
Сведения о документе:
Шифр и/или автор*:
Название / Описание*:
Шифр:
Том:
Страницы*:	ограничение - 30 страниц (согласно авторскому праву)
Поля отмеченные звездочкой (*) обязательны для заполнения.