[email protected]
+38 (057) 788-42-24
Електронний каталог
dKHAIIR
Про бібліотеку
Бібліотека сьогодні
Історія бібліотеки
Структура бібліотеки. Графік роботи.
Положення про науково-технічну бібліотеку
Правила користування НТБ
Ресурси
Інформаційно-бібліографічні ресурси
Бібліографічні видання
Тематичні книжково-ілюстративні виставки
Віртуальні виставки
Нові надходження
Онлайн-ресурси локального доступу
Онлайн-ресурсы вільного доступу
Списки публікацій співробітників НТБ
Швидкий пошук
Студенту
Оформлення списку літератури
Основи інформаційної культури
Соціокультурна діяльність
Галерея
Архів подій
Випускники ХАІ
Наука
Бібліометричні профілі співробітників Університету
Нормативно-правова база
Оформлення дисертацій і авторефератів
Наукометрична діяльність
Створення авторського профілю
Технічні звіти з НДДКР
До уваги науковців
Послуги
Електронна доставка документів
Віртуальна довідка
Ваш формуляр
Усі послуги
Головна
→
Електронний каталог
→
Пошук по електронному каталогу
Форма поиска
Назад
укр
рус
eng
Поиск по электронному каталогу
Условия поиска
Все документы темы "Скляр В.В./Sklyar V."
Результаты
41 - 58
от общего числа
58
Список
Выбрать все на странице
41.
Модели безотказности и готовности встроенных мультидиверсных систем / В. С. Харченко, В. В. Скляр, А. А. Сиора, Ю. А. Белый ; Национальный аэрокосмический университет им. Н. Е. Жуковского "ХАИ" // Авиационно-космическая техника и технология . - Харьков,2008. - № 1. - С. 64-69 . - 8 назв.
42.
Требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники: опыт создания и использования стандарта предприятия / В. В. Скляр, В. Б. Остроумов, Н. Ф. Сидоренко, В. С. Харченко ; Национальный аэрокосмический университет им. Н. Е. Жуковского "ХАИ" // Авиационно-космическая техника и технология . - Харьков,2007. - № 6. - С. 94-99 . - 18 назв.
43.
Шифр:
621 І-73
,
Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2003", міжнар. наук. - техн. конф. (2003; Харків)
Міжнародна науково-технічна конференція "Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2003" : тези доп. / Інтегровані комп'ютерні технології в машинобудуванні ІКТМ'2003", міжнар. наук. - техн. конф. (2003; Харків) ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т". - Харків. - Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2003. - 300 с . - 15,00
44.
The static analysis of a program code procedure based on metrics profiling / A. Andrashov, A. Gordeyev, V. Kharchenko, V. Sklyar // Радіоелектронні і комп'ютерні системи,2007. - № 8. - C. 184-188 . - 6 назв.
45.
Обеспечение и оценка безопасности информационных и управляющих систем АЭС на базе ПЛИС / Е. С. Бахмач, А. А. Сиора, В. В. Скляр, В. И. Токарев [и др. ] // Радіоелектронні і комп'ютерні системи,2007. - № 7. - С. 75-82 . - 8 назв.
46.
Скляр В.В.
Задача оптимального выбора многоверсионных технологий разработки информационно-управляющих систем / В. В. Скляр, В. А. Головир // Радіоелектронні і комп'ютерні системи,2007. - № 7. - С. 62-67 . - 15 назв.
47.
Харченко В.С.
Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием / В. С. Харченко, В. В. Скляр, А. Д. Герасименко // Радіоелектронні і комп'ютерні системи,2007. - № 6. - C. 196-201 . - 5 назв.
48.
Скляр В.В.
Оценка качества программного обеспечения верхнего уровня информационно-управляющих систем аэс / В. В. Скляр, Ю. А. Белый, С. А. Малохатько // Радіоелектронні і комп'ютерні системи,2007. - № 6. - C. 153-158 . - 10 назв.
49.
Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями / Г. А. Поляков, В. В. Скляр, Д. А. Толстолужский, Е. Г. Толстолужская [и др. ] // Радіоелектронні і комп'ютерні системи,2006. - № 7. - С. 7-16
50.
Скляр В.В.
Метрическая оценка измерений программного обеспечения информационно-управляющих систем / В. В. Скляр, Ю. А. Белый // Радіоелектронні і комп'ютерні системи,2006. - № 6. - С. 147-152
51.
Шифр:
004 Х22
,
Харченко В.С.
Верификация программного обеспечения : учеб. пособие / В. С. Харченко, В. В. Скляр, А. А. Гордеев ; М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2006. - 132 с.
52.
Харченко В.С.
Матрично-графовый метод выбора моделей роста надежности одноверсионных и многоверсионных программных средств / В. С. Харченко, В. В. Скляр, О. М. Тарасюк // Открытые информационные и компьютерные интегрированные технологии . - Х.,2002. - Вып. 11. - С. 65-85
53.
Метод и инструментальные средства комплексной метрико-вероятностной оценки надежности программного обеспечения / В. С. Харченко, О. М. Тарасюк, А. В. Горбенко, В. В. Скляр // Электронное моделирование. - 2005. - № 5. - С. 85-98 . - С. 97-98
54.
Скляр В.В.
Оценка и обеспечение безопасности информационно-управляющих систем критического использования : Элементы методологии и формальные модели / В. В. Скляр // Авиационно-космическая техника и технология . - Харьков,2005. - № 6. - С. 84-93 :ил . - Библиогр.: 19 назв.
55.
Харченко В.С.
Метрики диверсности программных средств: классификация, анализ и применение для оценки надежности и безопастности компьютерных систем управления / В. С. Харченко, И. В. Пискачева, В. В. Скляр // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" . - Х.,2001. - Вып. 9. - С. 194-214
56.
Шифр:
004 Х22
,
Харченко В.С.
Методы моделирования и оценки качества и надежности программного обеспечения : учеб. пособие / В. С. Харченко, В. В. Скляр, О. М. Тарасюк ; М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2004. - 159 с.
57.
Харченко В.С.
Модели состояний и событий отказоустойчивых информационно-управляющих систем с учетом их влияния на безопасность / В. С. Харченко, В. В. Скляр, А. Х. Аль-Тарази // Радіоелектронні і комп'ютерні системи,2004. - № 2. - С. 67-74
58.
Харченко В.С.
Безопасность аэрокосмической техники и надежность компьютерных систем / В. С. Харченко, В. В. Скляр, О. М. Тарасюк // Авиационно-космическая техника и технология . - Харьков,2004. - № 1. - С. 66-80 :ил . - Библиогр.: 12 назв.
Страница с результатами:
1
2
3
Заказ документа (книги/статьи)
Мы обрабатываем онлайн заявки в первую очередь. Справка обрабатывается в течение недели (в зависмости от сложности запроса).
Заказать
*
:
Часть документа (книгу)
Статью из журнала/сборника
Сведения о заказчике:
ФИО
*
:
Номер чит. билета (ХАИ):
E-mail
*
:
Сведения о документе:
Шифр и/или автор
*
:
Название / Описание
*
:
Шифр:
Том:
Страницы
*
:
ограничение - 30 страниц (согласно авторскому праву)
Поля отмеченные звездочкой (
*
) обязательны для заполнения.
Задати питання
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом 3 днів (в зависмости від складності запиту).
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Категорія користувача
Студент
Викладач
Науковий співробітник
Аспірант
Співробітник університету
Учень ліцею
Розділ
*
Авіація і космонавтика
Астрономія
Аеродинаміка
Бухгалтерія
Військова техніка
Географія
Двигуни. Силові установки
Деталі машин
Мистецтво
Історія
Комп'ютерна технологія
Космонавтика. Ракетна техніка
Культурологія
Логіка
Маркетинг
Математика
Машинобудування
Освіта. Виховання. Навчання
Пневмоенергетіка. Холодильна техніка
Право. Юридичні науки
Психологія
Релігія. Теологія
Соціологія
Стандартизація та стандарти
Теплодинаміка
Технологія механічної обробки матеріалів
Управління підприємствами. менеджмент
Фізика
Філософія
Фінанси
Хімія
Економіка. Економічні науки
Електротехніка
Етика
Мовознавство
Екологія
Загальні питання
Ракетна техніка й озброєння
Телекомунікації. Зв'язок. Радіотехніка
інше
Кібернетика. Автоматика
Питання
*
Замовити частина документа (книгу)
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).
Відомості про замовника
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Відомості про книгу
Автор
*
Назва
*
Рік видання
*
Місце видання
*
Том
*
Сторінки
*
Замовити статтю з журналу / збірника
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).
Відомості про замовника
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Відомості про статтю з журналу / збірника
Название журнала/сборника
*
Автор
*
Назва статті
*
Рік видання
*
Місце видання
*
Номер журналу / збірника
*
Сторінки
*