Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Dependable Software Engineering. Theories, Tools, and Applications, Xinyu Feng; Markus M?ller-Olm; Zijiang Yang


Варианты приобретения
Цена: 6986.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Xinyu Feng; Markus M?ller-Olm; Zijiang Yang
Название:  Dependable Software Engineering. Theories, Tools, and Applications
ISBN: 9783319999326
Издательство: Springer
Классификация:





ISBN-10: 331999932X
Обложка/Формат: Soft cover
Страницы: 201
Вес: 0.34 кг.
Дата издания: 2018
Серия: Programming and Software Engineering
Язык: English
Издание: 1st ed. 2018
Иллюстрации: 55 illustrations, black and white; xiv, 201 p. 55 illus.
Размер: 234 x 156 x 12
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,
Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.
The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.
The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.

Дополнительное описание: Refinement.- Verification.- Timing and Scheduling.



Dependable Software Engineering: Theories, Tools, and Applications

Автор: Xuandong Li; Zhiming Liu; Wang Yi
Название: Dependable Software Engineering: Theories, Tools, and Applications
ISBN: 3319259415 ISBN-13(EAN): 9783319259413
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The title, Violent Grace, suggests a paradox. This pairing has become an unexpected gateway into the varied and prolific artistic career of Edward Knippers. Violence conjures images of aggression while grace has long been associated with beauty, poise, or an unmerited gift. Within the ambiguity of this fertile paradox, the art of Edward Knippers opens up into something rich and rewarding.

Dependable Computing for Critical Applications 3

Автор: Carl E. Landwehr; Brian Randell; Luca Simoncini
Название: Dependable Computing for Critical Applications 3
ISBN: 3709140110 ISBN-13(EAN): 9783709140116
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system`s reliability, availability, safety, security, and performance.

Dependable Software Engineering. Theories, Tools, and Applications

Автор: Kim Guldstrand Larsen; Oleg Sokolsky; Ji Wang
Название: Dependable Software Engineering. Theories, Tools, and Applications
ISBN: 3319694820 ISBN-13(EAN): 9783319694825
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions.

Dependable Software Engineering. Theories, Tools, and Applications

Автор: Nan Guan; Joost-Pieter Katoen; Jun Sun
Название: Dependable Software Engineering. Theories, Tools, and Applications
ISBN: 303035539X ISBN-13(EAN): 9783030355395
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.

Dependable Software Engineering: Theories, Tools, and Applications

Автор: Fr?nzle
Название: Dependable Software Engineering: Theories, Tools, and Applications
ISBN: 3319476769 ISBN-13(EAN): 9783319476766
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.

Dependable Computing for Critical Applications 2

Автор: John F. Meyer; Richard D. Schlichting
Название: Dependable Computing for Critical Applications 2
ISBN: 3709192005 ISBN-13(EAN): 9783709192009
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the papers presented at the Second International Work- ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991.

Dependable Computing for Critical Applications 4

Автор: Flaviu Cristian; Gerard LeLann; Teresa Lunt
Название: Dependable Computing for Critical Applications 4
ISBN: 3709193982 ISBN-13(EAN): 9783709193983
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994.

Modeling And Analysis Of Dependable Systems: A Probabilistic Graphical Model Perspective

Автор: Portinale Luigi & Codetta Raiteri Daniele
Название: Modeling And Analysis Of Dependable Systems: A Probabilistic Graphical Model Perspective
ISBN: 9814612030 ISBN-13(EAN): 9789814612036
Издательство: World Scientific Publishing
Рейтинг:
Цена: 16632.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The monographic volume addresses, in a systematic and comprehensive way, the state-of-the-art dependability (reliability, availability, risk and safety, security) of systems, using the Artificial Intelligence framework of Probabilistic Graphical Models (PGM). After a survey about the main concepts and methodologies adopted in dependability analysis, the book discusses the main features of PGM formalisms (like Bayesian and Decision Networks) and the advantages, both in terms of modeling and analysis, with respect to classical formalisms and model languages.

Methodologies for deriving PGMs from standard dependability formalisms will be introduced, by pointing out tools able to support such a process. Several case studies will be presented and analyzed to support the suitability of the use of PGMs in the study of dependable systems.

Innovative Technologies for Dependable OTS-Based Critical Systems

Автор: Domenico Cotroneo
Название: Innovative Technologies for Dependable OTS-Based Critical Systems
ISBN: 8847055571 ISBN-13(EAN): 9788847055575
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With practical examples from industry, this volume introduces the methods and tools adopted by the critical systems industry, which includes air traffic control and space exploration. It features `off-the-shelf` systems designed by world-beating companies.

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

Автор: Issa Traore; Isaac Woungang; Ahmed Awad
Название: Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments
ISBN: 3319691546 ISBN-13(EAN): 9783319691541
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Holistic model for HTTP botnet detection based on DNS traffic analysis.- Detecting broad length algorithmically generated domains.- Secure cloud computing: multithreaded fully homomorphic encryption for legal metrology.- Detecting command and control channel of botnets in clouds.- An experimental framework for investigating security and privacy of IoT devices.- Dynamic cypher for enhanced cryptography and communication for Internet of Things.- An inter-device authentication scheme for smart homes using one-time-password over infrared channel.- Detection and prevention of blackhole attacks in wireless sensor networks.- Detection of online fake news using N-gram analysis and machine learning techniques.- Security protocol of social payment apps.- Spectral-spatial classification of hyperspectral imagery using support vector and Fuzzy-MRF.- Infant monitoring system using wearable sensors based on blood oxygen saturation.- Network behavioral analysis for zero-day malware detection. Network Behavioral Analysis for Zero-day Malware Detection.

Architecting Dependable Systems

Автор: Rog?rio de Lemos; Cristina Gacek; Alexander Romano
Название: Architecting Dependable Systems
ISBN: 3540407278 ISBN-13(EAN): 9783540407270
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: As software systems become more and more ubiquitous, the issues of dependability become more and more critical. The papers are organized in topical sections on- architectures for dependability- fault tolerance in software architectures- dependability analysis in software architectures- industrial experience.

Architecting Dependable Systems VI

Автор: Rog?rio de Lemos; Jean-Charles Fabre; Cristina Gac
Название: Architecting Dependable Systems VI
ISBN: 3642102476 ISBN-13(EAN): 9783642102479
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия