Safety-critical Systems – alle Bücher, CDs und LPs, Seite 2

Model-Based Safety and Assessment

This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers we…

lieferbar innerhalb 2-3 Wochen

Buch

Dilip Das
Emergency Relief System Design

"This book deals with the nitty-gritty of the technology in pressure safety aspects for emergency relief system design. The Appendices, except Appendices O and P deal with the fundamentals of process…

lieferbar ab 21.4.2026.

Buch

Leiyu Shi
Shi & Singh's Delivering Health Care in the United States

Delivering Health Care in the United States: A Systems Approach, Ninth Edition is the most current and comprehensive overview of the basic structures and operations of the U.S. health system - from its hi…

lieferbar innerhalb 1-2 Wochen

Buch

Case Oats

Last Missouri Exit

Im Jahr 2018 war Case Oats so etwas wie eine nebulöse Idee. Die Bandleaderin Casey Gomez Walker hatte bereits in Bands gespielt, und ihr Projekt Case Oats hatte eine selbst veröffentlichte Single, aber wa…

Artikel am Lager

CD

Case Oats

Last Missouri Exit

Im Jahr 2018 war Case Oats so etwas wie eine nebulöse Idee. Die Bandleaderin Casey Gomez Walker hatte bereits in Bands gespielt, und ihr Projekt Case Oats hatte eine selbst veröffentlichte Single, aber wa…

lieferbar innerhalb 1-2 Wochen

LP

Mohammad Reza Heidari Iman
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

Mohammad Reza Heidari Iman is a Postdoctoral Researcher at the TIMA Laboratory, Université Grenoble Alpes, France, starting in September 2024. He completed his Ph.D. in the Department of Computer Systems …

lieferbar innerhalb 2-3 Wochen

Buch

Distributed Denial of Service Attacks

Without mathematics no science would survive. This especially applies to the engineering sciences which highly depend on the applications of mathematics and mathematical tools such as optimization techniq…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Safe and Trustworthy Cyber Physical Systems

This Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber-physical systems. Werner received his PhD in 1981 from RWTH Aachen and held the Chairs for Computer Architec…

lieferbar innerhalb 2-3 Wochen

Buch

Decommissioning Aging Installations and Declining Technologies

This open-access brief tackles the idea, prevalent in some industrial sectors, that decommissioning, de-pollution and waste management are a necessary evil rather than a predictable phase of industry for …

lieferbar innerhalb 2-3 Wochen

Buch

Requirements Engineering: Foundation for Software Quality

This book constitutes the refereed proceedings of the 31st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2025, held in Barcelona, Spain, during April…

lieferbar innerhalb 2-3 Wochen

Buch