Пошук :
Довідка :
Електронний каталог : Харченко, В. С.
К списку авторов
Харченко, В. С.
Сортувати за:заглавиюЗв'язані описи:
Книга
Бабешко Е. В.
Проектирование встроенных систем на микроконтроллерах STMicroelectronics: учебное пособие
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2008 г.
ISBN 966-298-232-9
Бабешко Е. В.
Проектирование встроенных систем на микроконтроллерах STMicroelectronics: учебное пособие
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2008 г.
ISBN 966-298-232-9
Книга
Харченко В. С.
Оценка и обеспечение качества программных средств космических систем
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2007 г.
ISBN відсутній
Харченко В. С.
Оценка и обеспечение качества программных средств космических систем
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2007 г.
ISBN відсутній
Книга
Конорев Б. М.
Инварианто-ориентированная оценка качества программного обеспечения космических систем
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2009 г.
ISBN відсутній
Конорев Б. М.
Инварианто-ориентированная оценка качества программного обеспечения космических систем
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2009 г.
ISBN відсутній
Книга
Тарасюк Ольга Михайловна
Формальные методы разработки критического программного обеспечения. Практикум
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2008 г.
ISBN відсутній
Тарасюк Ольга Михайловна
Формальные методы разработки критического программного обеспечения. Практикум
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2008 г.
ISBN відсутній
Книга
Тарасюк Ольга Михайловна
Формальные методы разработки критического программного обеспечения. Лекционный материал
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2009 г.
ISBN відсутній
Тарасюк Ольга Михайловна
Формальные методы разработки критического программного обеспечения. Лекционный материал
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2009 г.
ISBN відсутній
Книга
Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения
Safety of critical infrastructures : mathematical and engineering methods of analysis and ensuring
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2011 г.
ISBN 978-966-662-228-3
Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения
Safety of critical infrastructures : mathematical and engineering methods of analysis and ensuring
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2011 г.
ISBN 978-966-662-228-3
Книга
Скляр, Владимир Владимирович
Инструментальные средства поддержки метода Safety Case и технологии их применения
Safety Case Tools and Innovative Technologies of Application
ХАИ, 2012 г.
ISBN 978-966-662-264-1
Скляр, Владимир Владимирович
Инструментальные средства поддержки метода Safety Case и технологии их применения
Safety Case Tools and Innovative Technologies of Application
ХАИ, 2012 г.
ISBN 978-966-662-264-1
Книга
Андрашов, Антон Александрович
Анализ системных требований с использованием метода Safety Case
Safety Case-Oriented System Requirements Analysis
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2012 г.
ISBN 978-966-662-270-2
Андрашов, Антон Александрович
Анализ системных требований с использованием метода Safety Case
Safety Case-Oriented System Requirements Analysis
Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2012 г.
ISBN 978-966-662-270-2
Книга
Тарасюк, Ольга Михайловна
Формальные технологии разработки безопасных компьютерных систем: практикум
Formal Methods-based Technologies for Safeware
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2012 г.
ISBN 978-966-662-276-4
Тарасюк, Ольга Михайловна
Формальные технологии разработки безопасных компьютерных систем: практикум
Formal Methods-based Technologies for Safeware
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2012 г.
ISBN 978-966-662-276-4
Книга
Горбенко, Анатолий Викторович
Сервис-ориентированные системы и технологии бизнес-критического применения: практикум
Service-oriented business-critical systems and technologies
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2012 г.
ISBN 978-966-662-275-7
Горбенко, Анатолий Викторович
Сервис-ориентированные системы и технологии бизнес-критического применения: практикум
Service-oriented business-critical systems and technologies
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2012 г.
ISBN 978-966-662-275-7
Книга
Поморова, Оксана Викторовна
Safety Case методы и средства получения и анализа данных: тренинг
Safety Case oriented system measurement and data analysis
ФЛП Лысенко И. Б., 2013 г.
ISBN 978-966-1681-04-9
Поморова, Оксана Викторовна
Safety Case методы и средства получения и анализа данных: тренинг
Safety Case oriented system measurement and data analysis
ФЛП Лысенко И. Б., 2013 г.
ISBN 978-966-1681-04-9
Книга
Брежнев, Евгений Витальевич
Основы ИТ - инженерии безопасности критических инфраструктур: практикум
Foundations of IT-engineering of critical infrastructure safety
ФЛП Лысенко И. Б., 2013 г.
ISBN 978-966-1681-03-2
Брежнев, Евгений Витальевич
Основы ИТ - инженерии безопасности критических инфраструктур: практикум
Foundations of IT-engineering of critical infrastructure safety
ФЛП Лысенко И. Б., 2013 г.
ISBN 978-966-1681-03-2
Книга
Скляр, Владимир Владимирович
Качество программно-технических комплексов: процессный подход: лекционный материал
Quality of Instrumentation and Control Systems : A Process Approach
ФЛП Лысенко И. Б., 2013 г.
ISBN 978-966-1681-06-3
Скляр, Владимир Владимирович
Качество программно-технических комплексов: процессный подход: лекционный материал
Quality of Instrumentation and Control Systems : A Process Approach
ФЛП Лысенко И. Б., 2013 г.
ISBN 978-966-1681-06-3
Книга
Системы и технологии высокой готовности: практикум
High availability systems and technologies
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2013 г.
ISBN 978-966-662-285-6
Системы и технологии высокой готовности: практикум
High availability systems and technologies
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2013 г.
ISBN 978-966-662-285-6
Книга
Распределённые критические системы и инфраструктуры: практикум
Distributed Critical Systems and Infrastructures
ХАИ, 2013 г.
ISBN 978-966-662-300-6
Распределённые критические системы и инфраструктуры: практикум
Distributed Critical Systems and Infrastructures
ХАИ, 2013 г.
ISBN 978-966-662-300-6
Книга
Инженерия критического программного обеспечения: учеб. пособие
ХАИ, 2015 г.
ISBN 978-966-662-403-4
Инженерия критического программного обеспечения: учеб. пособие
ХАИ, 2015 г.
ISBN 978-966-662-403-4
Книга
Моделі кооперації університетів та ІТ-компаній: системи прийняття рішень на нечіткій логіці: монографія
Models of cooperation between universities and IT-companies : decision making systems based on fuzzy logic
Лисенко І. Б., 2015 г.
ISBN 978-966-1681-14-8
Моделі кооперації університетів та ІТ-компаній: системи прийняття рішень на нечіткій логіці: монографія
Models of cooperation between universities and IT-companies : decision making systems based on fuzzy logic
Лисенко І. Б., 2015 г.
ISBN 978-966-1681-14-8