troubitsyna elena (32 Ergebnisse)

Zustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Zustand: New. pp. 158.

Zustand: New. pp. viii + 343 Illus.

Paperback. Zustand: Brand New. 216 pages. 9.25x6.10x0.71 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 1st edition. 343 pages. 9.21x6.06x0.79 inches. In Stock.

Paperback. Zustand: Brand New. 461 pages. 9.25x6.10x1.42 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Paperback. Zustand: Brand New. 160 pages. 9.25x6.25x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 340 pages. 9.25x6.10x0.71 inches. In Stock.

Paperback. Zustand: Brand New. 2011 edition. 175 pages. 9.25x6.00x0.50 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; requirements engineering and re-engineering for resilience; frameworks, patterns and software architectures for resilience; engineering of self-healing autonomic systems; design of trustworthy and intrusion-safe systems; resilience at run-time (mechanisms, reasoning and adaptation); resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems); verification, validation and evaluation of resilience; modeling and model based analysis of resilience properties; formal and semi-formal techniques for verification and validation; experimental evaluations of resilient systems; quantitative approaches to ensuring resilience; resilience prediction; cast studies and applications; empirical studies in the domain of resilient systems; methodologies adopted in industrial contexts; cloud computing and resilient service provisioning; resilience for data-driven systems (e.g., big data-based adaption and resilience); resilient cyber-physical systems and infrastructures; global aspects of resilience engineering: education, training and cooperation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The growing complexity of modern software systems increases the di culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: ¿ Veri cation and re nement of fault-tolerant systems ¿ Integrated approaches to developing fault-tolerant systems ¿ Formal foundations for error detection, error recovery, exception and fault handling ¿ Abstractions, styles and patterns for rigorousdevelopment of fault tolerance ¿ Fault-tolerant software architectures ¿ Development and application of tools supporting rigorous design of depe- able systems ¿ Integrated platforms for developing dependable systems ¿ Rigorous approaches to speci cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with theIntegrated Formal Methods 2007 Conference at Oxford University.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; requirements engineering and re-engineering for resilience; frameworks, patterns and software architectures for resilience; engineering of self-healing autonomic systems; design of trustworthy and intrusion-safe systems; resilience at run-time (mechanisms, reasoning and adaptation); resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems); verification, validation and evaluation of resilience; modeling and model based analysis of resilience properties; formal and semi-formal techniques for verification and validation; experimental evaluations of resilient systems; quantitative approaches to ensuring resilience; resilience prediction; cast studies and applications; empirical studies in the domain of resilient systems; methodologies adopted in industrial contexts; cloud computing and resilient service provisioning; resilience for data-driven systems (e.g., big data-based adaption and resilience); resilient cyber-physical systems and infrastructures; global aspects of resilience engineering: education, training and cooperation.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011.The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The growing complexity of modern software systems increases the di culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: - Veri cation and re nement of fault-tolerant systems - Integrated approaches to developing fault-tolerant systems - Formal foundations for error detection, error recovery, exception and fault handling - Abstractions, styles and patterns for rigorousdevelopment of fault tolerance - Fault-tolerant software architectures - Development and application of tools supporting rigorous design of depe- able systems - Integrated platforms for developing dependable systems - Rigorous approaches to speci cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with theIntegrated Formal Methods 2007 Conference at Oxford University.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed andselected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.

Paperback. Zustand: Brand New. 500 pages. 9.25x6.10x0.91 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation.

Paperback. Zustand: Brand New. 450 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:ASSURE 2019:7th International Workshop on Assurance Cases for Software-Intensive SystemsDECSoS 2019:14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-SystemsSASSUR 2019:8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical SystemsSTRIVE 2019:Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEmsWAISE 2019:Second International Workshop on Artificial Intelligence Safety EngineeringSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Zustand: Gut. Zustand: Gut | Seiten: 432 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 432 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive SystemsDECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-SystemsSASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical SystemsSTRIVE 2019: Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEmsWAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering.

Taschenbuch. Zustand: Neu. Neuware - This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025.The 43 papers included in this book were carefully reviewed and selected from a total of 61 submissions to the following six workshops: CoC3CPS 2025, Co-Design of Communication, Computing and Control in Cyber-Physical Systems DECSoS 2025 20th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2025 - 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems SENSEI 2025 4th International Workshop on Safety and Security Interaction SRToITS 2025 2ndInternational Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems.