Пошуковий запит: (<.>U=З965.984-018.1<.>) |
Загальна кількість знайдених документів : 12
Представлено документи з 1 до 12
|
1. ![](/irbis_nbuv/images/printer.jpg) | ДС94017 Волковой, Андрей Владимирович. Модели, методы и инструментальные средства разработки многоверсионного программного обеспечения информационно-управляющих систем критического применения [Текст] : дис... канд. техн. наук: 05.13.06 / Волковой Андрей Владимирович ; Национальный аэрокосмический ун-т им. Н.Е.Жуковского "Харьковский авиационный ин-т". - Х., 2006. - 252 л. - Библиогр.: л. 147-158Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальный аэрокосмический университет имени Н. Е. Жуковского "Харьковский авиационный институт"
Видання зберігається у :
Основний фонд
|
2. ![](/irbis_nbuv/images/printer.jpg) | ДС89527 Абед Саиф Ахмед Аль-Гули Математические модели прогнозирования динамических рядов в дилинговых информационных системах [Текст] : дис... канд. техн. наук: 05.13.06 / Абед Саиф Ахмед Аль-Гули ; Харьковский национальный ун-т радиоэлектроники. - Х., 2005. - 260 л.: рис. - Библиогр.: л. 148-158Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
3. ![](/irbis_nbuv/images/printer.jpg) | ДС98125 Манжос, Юрій Семенович. Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем [Текст] : дис... канд. техн. наук: 05.13.06 / Манжос Юрій Семенович ; Національний аерокосмічний ун-т ім. М.Є.Жуковського "Харківський авіаційний ін-т". - Х., 2006. - 197 арк.: рис., табл. - арк. 149-166Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національний аерокосмічний університет імені М. Є. Жуковського "Харківський авіаційний інститут"
Видання зберігається у :
Основний фонд
|
4. ![](/irbis_nbuv/images/printer.jpg) | РА336287 Абед Саиф Ахмед Аль-Гулі Математичні моделі прогнозування динамічних рядів у дилінгових інформаційних системах [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Абед Саиф Ахмед Аль-Гулі ; Харківський національний ун-т радіоелектроніки. - Х., 2005. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
5. ![](/irbis_nbuv/images/printer.jpg) | РА345964 Волковий, Андрій Володимирович. Моделі, методи та інструментальні засоби розробки багатоверсійного програмного забезпечення інформаційно-управляючих систем критичного застосування [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Волковий Андрій Володимирович ; Національний аерокосмічний ун-т ім. М.Є.Жуковського "Харківський авіаційний ін-т". - Х., 2006. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національний аерокосмічний університет імені М. Є. Жуковського "Харківський авіаційний інститут"
Видання зберігається у :
Основний фонд
|
6. ![](/irbis_nbuv/images/printer.jpg) | РА348641 Манжос, Юрій Семенович. Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Манжос Юрій Семенович ; Національний аерокосмічний ун-т ім. М.Є.Жуковського "Харківський авіаційний ін-т". - Х., 2007. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національний аерокосмічний університет імені М. Є. Жуковського "Харківський авіаційний інститут"
Видання зберігається у :
Основний фонд
|
7. ![](/irbis_nbuv/images/printer.jpg) | РА369498 Петрик, Валерія Леонідівна. Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Петрик Валерія Леонідівна ; Нац. аерокосм. ун-т ім. М.Є.Жуковського "Харк. авіац. ін-т". - Х., 2009. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: "Харківський авіаційний інститут", національний аерокосмічний університет імені М. Є. Жуковського
Видання зберігається у :
Основний фонд
|
8. ![](/irbis_nbuv/images/printer.jpg) | ВА578074 Шнайдерман, Иосиф Беркович. Интегрированная обработка данных [Текст] / И. Б. Шнайдерман. - М. : Статистика, 1977. - 151 с.: ил.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
9. ![](/irbis_nbuv/images/printer.jpg) | ДС125343 Петрик, Валерия Леонидовна. Информационная технология верификации программного обеспечения информационно-управляющих систем на основе дескрипторной модели [Текст] : дис. ... канд. техн. наук : 05.13.06 / Петрик Валерия Леонидовна ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Х., 2009. - 198 л. : рис., табл. - Бібліогр.: арк. 183-198.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
|
10. ![](/irbis_nbuv/images/printer.jpg) | РА387337 Сергієнко, Володимир Володимирович. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Сергієнко Володимир Володимирович ; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х., 2012. - 21 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: "Харківський авіаційний інститут", національний аерокосмічний університет імені М. Є. Жуковського
Видання зберігається у :
Основний фонд
|
11. ![](/irbis_nbuv/images/printer.jpg) | ДС140707 Орехова, Анастасия Александровна. Модели, методы и информационная технология оценки качества человеко-машинных интерфейсов информационно-управляющих систем [Текст] : дис. ... канд. техн. наук : 05.13.06 / Орехова Анастасия Александровна ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьков. авиац. ин-т". - Харьков, 2013. - 190 л. : табл., рис. - Бібліогр.: арк. 144-157.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
|
12. ![](/irbis_nbuv/images/printer.jpg) | ДС147268 Сергиенко, Владимир Владимирович. Инварианто-ориентированная информационная технология независимой верификации программного обеспечения информационно-управляющих систем критического применения [Текст] : дис. ... канд. техн. наук : 05.13.06 / Сергиенко Владимир Владимирович ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьков. авиац. ин-т". - Харьков, 2011. - 166 л. : рис., табл. - Бібліогр.: арк. 145-158.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
|