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

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

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

укр рус eng

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

Условия поиска
Все документы темы "Скляр В.В./Sklyar V."

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

Список

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

1.
Использование метрик Холстеда при оценке безопасности критического программного обеспечения / В. С. Харченко, В. В. Скляр, А. А. Гордеев, В. И. Токарев [и др. ] // Радіоелектронні і комп'ютерні системи. - 2003. - № 4. - C. 145–150 . - Библиогр.: 11 назв.

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

3.	Шифр: 629.7 Т33
Теоретичне обгрунтування методології, структури, моделі, методи оцінювання надійності і живучості інтелектуальних систем моніторингу потенційно небезпечних і військових об'єктів з використанням багатоцільових флотів БПЛА : звіт про НДР (проміж.) : Д503-1/2021-Ф / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т" ; керівник Харченко В. С. ; викон.: Морозова О. І. [та інш.]. - Харків, 2021. - 230 с. - № ДР 0121U112172

4.	Шифр: 004 Р65
Розроблення засобів тестування та верифікації вбудованих і розподілених гарантоздатних ІТ-систем та інфраструктур : звіт про НДР (проміж.) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т" ; керівник Харченко В. С. ; викон.: Фесенко Г. В. [та інш.]. - Харків, 2021. - 197 с. - № ДР 0121U113842

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

6.	Шифр: 004 I-69
Internet of Things for Industry and Human Applications=Інтернет речей для індустріальних і гуманітарних застосунків . Vol. 2 : Modelling and Development / O. V. Drozd, O. O. Illiashenko, V. S. Kharchenko, M. O. Kolisnyk [и др. ] ; 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. - 547 p. - 978-617-7361-82-3 . - 110,00

7.	Шифр: 004 Р65
Розробка моделей та засобів кібербезпеки інформацiйних і комунікаційних систем. Впровадження запропонованих принципів, моделей та методівоцінювання та розробки гарантоздатних комп'ютерних систем, мереж та ІТ-інфраструктур : звіт про НДР (заключ.) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т" ; керівник Харченко В. С. ; викон.: Лисенко І. В. [та інш.]. - Харків, 2020. - 245 с. - № ДР 0117U05349 - Інв. № 0221U000032

8.	Шифр: 004 S66, Sklyar V.V.
Dependability and Security of Internet of Things=Гарантоздатність та безпека систем Інтернету речей : practicum / V. V. Sklyar, V. V. Yatskiv, N. G. Yatskiv ; Min. of Education and Science of Ukraine, Nat. Aerospace Univ. "Kharkiv Aviation Inst.", Ternopil Nat. Econ. Univ. ; ed. V. S. Kharchenko, V. V. Sklyar. - Kharkiv. - National Aerospace University Kharkiv Aviation Institute, 2019. - 98 p. - 978-617-7361-88-5 - ( Internet of Things for Industry and Human Applications ) . - 40,00

9.
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

10.	Шифр: 378 У59
Університетсько-індустріальна кооперація=University-Industry Cooperation . Т. 1 : Модельно-орієнтований підхід. Практичне керівництво та приклади / В. С. Харченко, В. В. Скляр, А. В. Боярчук, Д. О. Штейнбрехер [и др. ] ; М-во освіти та науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т" ; під ред. В. С. Харченка. - Харків. - Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т", 2017. - 364 с. - 978-617-7361-34-2 - ( Tempus Cabriolet ) . - 150,00

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

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

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

14.	Скляр В.В.
Оценка CASE-инструментов с использованием иерархической модели характеристик / В. В. Скляр // Інститут проблем моделювання в енергетиці ім. Г. Є. Пухова . Збірник наукових праць / Нац. акад. наук України . - Київ,2003. - Вип. 22. - С. 183-187 . - Библиогр.: 7 назв.

15.	Шифр: 004 Р65
Розроблення нових моделей і методів проектування, розгортання, використання та інжинірингу засобів та продуктів ІТ. Впровадження отриманих результатів : звіт з НДР (заключ.) : Д503-9/2015-Ф . Т. 1 / М-во науки та освіти України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т" ; керівник Харченко В. ; викон.: Лисенко І. та ін. - Харків, 2017. - 224 с. - № ДР 0115U000996 - Інв. № 0218U003552

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

17.	Kharchenko V.S.
Assurance Case driven design for software and hardware description language based systems / V. S. Kharchenko, V. V. Sklyar // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - 2016. - № 5. - P. 98-103 . - Bibliogr.: 12 names

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

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

20.	Скляр В.В.
Исследование марковских моделей информационно-управляющей системы с учетом ошибок контроля и управления / В. В. Скляр // Харківський університет Повітряних Сил ім. І. Кожедуба . Збірник наукових праць / М-во оборони України . - Харків,2014. - Вип. 2(39). - С. 102-108 . - Библиогр.: 5 назв.

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

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