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

Ihre Suche nach "safety-critical systems" ergab 28 Treffer

Razi Rais, Christina Morillo, Evan Gilman, Doug Barth
Zero Trust Networks

This practical book provides a detailed explanation of the zero trust security model. Zero trust is a security paradigm shift that eliminates the concept of traditional perimeter-based security and requir…

sofort lieferbar

Buch

EUR 60,12*

Artikel ist im Warenkorb

Vladimir Stojanovic: Modeling of Complex Mechanical Systems, Buch

Vladimir Stojanovic, Jian Deng, Marko D Petkovic, Marko A Ristic
Modeling of Complex Mechanical Systems

Modeling of Complex Mechanical Systems: Fundamentals and Applications equips readers with significant insights into nonlinear vibration phenomenology through a combination of advanced mathematical fundame…

lieferbar ab 1.2.2025.

Buch

EUR 325,20*

Artikel ist im Warenkorb

Applicable Formal Methods for Safe Industrial Products

Lecture Notes in Computer Science -Band 14165

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel ist im Warenkorb

Gennaro S. Rodrigues: Approximate Computing and its Impact on Accuracy, Reliability and Fault-Tolerance, Buch

Gennaro S. Rodrigues, Alberto Bosio, Fernanda L. Kastensmidt
Approximate Computing and its Impact on Accuracy, Reliability and Fault-Tolerance

Synthesis Lectures on Engineering, Science, and Technology

This book introduces the concept of approximate computing for software and hardware designs and its impact on the reliability of embedded systems. It presents approximate computing methods and proposes ap…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 98,56*

Artikel ist im Warenkorb

NASA Formal Methods

Lecture Notes in Computer Science -Band 14627

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Artikel ist im Warenkorb

Stefan Schwab
Guaranteed Verification of Dynamic Systems

This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 51,00*

Artikel ist im Warenkorb

Sobhan Yassipour Tehrani: Introduction to Software Architecture, Buch

Sobhan Yassipour Tehrani, Kevin Lano
Introduction to Software Architecture

Undergraduate Topics in Computer Science

This unique, accessible textbook gives a comprehensive introduction to software architecture, using clean architecture concepts with agile methods and model-driven development. The work introduces the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 58,66*

Artikel ist im Warenkorb

Nathalie Japkowicz: Machine Learning Evaluation, Buch

Nathalie Japkowicz, Zois Boukouvalas
Machine Learning Evaluation

As machine learning applications gain widespread adoption and integration in a variety of applications, including safety and mission-critical systems, the need for robust evaluation methods grows more urg…

lieferbar ab 31.8.2024.

Buch

EUR 94,72*

Artikel ist im Warenkorb

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.