library@khai.edu
+38 (057) 788-42-24

Главная
→
Электронный Каталог
→
Поиск по электронному каталогу

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

укр рус eng

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

Условия поиска
Все документы темы "Манжос Ю.С./Manzhos Y."

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

Список

1.	Берднікова А.Л.
Інформаційна технологія аналiзування складних систем / А. Л. Берднікова, Ю. С. Манжос // Радіоелектронні і комп'ютерні системи. 2013. - № 5. - С. 192-197 . - Бібліогр.: 6 назв.

2.	Шифр: 621 І-73, Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2003", міжнар. наук. - техн. конф. (2003; Харків)
Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2003" : тез. доп. / Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2003", міжнар. наук. - техн. конф. (2003; Харків) ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Харків. - Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2003. - 300 с . - 15,00

3.	Шифр: 621 І-73, Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2016", всеукр. наук. - техн. конф. (2016; Харків)
Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2016" : зб. матеріалів конф . Т. 3 / Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2016", всеукр. наук. - техн. конф. (2016; Харків) ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Харків. - Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2016. - 267 с . - 60,00

4.	Шифр: 621 І-73, Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2017", всеукр. наук. - техн. конф. (2017; Харків)
Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2017" : зб. матеріалів конф . Т. 3 / Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2017", всеукр. наук. - техн. конф. (2017; Харків) ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Харків. - Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2017. - 406 с . - 60,00

5.	Шифр: 621 І-73, Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2018", всеукр. наук. - техн. конф. (2018; Харків)
Всеукраїнська науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2018" : зб. тез доп . Т. 3 / Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2018", всеукр. наук. - техн. конф. (2018; Харків) ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т". - Харків. - Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т", 2018. - 204 с . - 45,50

6.	Шифр: 004 О-75
Основы объектно-ориентированного программирования : учеб. пособие / В. Д. Кожухов, Ю. С. Манжос, Т. А. Клименко, В. Л. Петрик ; М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т". - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2005. - 145 с.

7.
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов / Б. М. Конорев, С. А. Засуха, Ю. С. Манжос, Л. П. Семенов [и др. ] // Радіоелектронні і комп'ютерні системи. 2006. - № 7. - С. 162-170

8.	Шифр: 004 И58
Инвариантно-ориентированная оценка качества программного обеспечения космических систем / Б. М. Конорев, Ю. С. Манжос, В. С. Харченко, Ю. Г. Алексеев [и др. ] ; Гос. центр регулирования качества поставок и услуг, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. Б.М. Конорева, В.С. Харченка. - Харьков. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2009. - 224 с. - 978-966-662-193-4 - ( Качество программного обеспечения и безопасность космических систем ) . - 35,00

9.	Мандрикова Л.В.
Методы оценки стоимости и затрат на создание программного продукта, основанные на нечеткой логике / Л. В. Мандрикова, Ю. С. Манжос, П. А. Лучшев ; Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // Радіоелектронні і комп'ютерні системи. 2008. - № 2. - C. 115-118 . - 7 назв.

10.	Мандрикова Л.В.
Метод идентификации рисков программного проекта на основе вероятностного подхода / Л. В. Мандрикова, Ю. С. Манжос, В. В. Хоменко ; Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ" г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. 2009. - № 7. - С. 207-211 . - 6 назв

11.	Манжос Ю.С.
Алгебричне аналізування надійності програмного забезпечення / Ю. С. Манжос // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. 2014. - № 1. - С. 20-27 . - Бібліогр.: 8 назв.

12.	Манжос Ю.С.
Аналіз семантичних дефектів програмного забезпечення / Ю. С. Манжос // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. 2010. - № 1. - С. 5-14 . - 17 назв

13.	Манжос Ю.С.
Багатоінваріантний метод підвищення надійності програмних засобів / Ю. С. Манжос ; Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // Радіоелектронні і комп'ютерні системи. 2008. - № 6. - С. 193-196 . - 4 назв.

14.	Манжос Ю.С.
Використання аналізу розмірностей для підвищення рівня функціональної безпеки i&c систем / Ю. С. Манжос // Радіоелектронні і комп'ютерні системи. 2012. - № 7. - С. 313-318 . - 5 назв

15.	Манжос Ю.С.
Оценка эффективности независимой верификации программного обеспечения / Ю. С. Манжос // Авиационно-космическая техника и технология . - Х. 2004. - № 7. - С. 210-214 :ил . - Библиогр.: 7 назв.

16.	Манжос Ю.С.
Принципы семантического контроля программного обеспечения / Ю. С. Манжос // Авиационно-космическая техника и технология : труды / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" . - Х. 2002. - Вып. 32. - С. 307-315 . - Библиогр.: 4 назв.

17.	Манжос Ю.С.
Семантический контроль программного обеспечения систем критического применения / Ю. С. Манжос // Авіаційно-космічна техніка і технологія . - Х. 2002. - Вип. 34. - С. 207-212

18.	Шифр: 004 М23, Манжос Ю.С.
Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем : автореф. дис. ... канд. техн. наук : 05.13.06 - автоматиз. системи упр. та прогрес. інформ. технол. / Ю. С. Манжос ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х., 2007. - 20 с.

19.	Манжос Ю.С.
Фактори надійності програмного забезпечення / Ю. С. Манжос // Радіоелектронні і комп'ютерні системи. 2013. - № 5. - С. 305-312 . - Библиогр.: 8 назв.

20.	Манжос Ю.С.
Якість програмного забезпечення та тестування : навч. посіб. / Ю. С. Манжос ; М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х. - Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2012. - 200 с . - http://library.khai.edu/library/fulltexts/metod/

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

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