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

Ihre Suche nach "safety-critical systems" ergab 29 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 61,02*

Artikel ist im Warenkorb

Madhumita Murgia
Code Dependent

SHORTLISTED FOR THE WOMEN'S PRIZE FOR NON-FICTION 2024 What does it mean to be human in a world that is rapidly changing with the development of artificial intelligence? ?Highly readable and deeply impo…

lieferbar ab 6.3.2025.

Buch

EUR 10,37*

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 317,63*

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

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science -Band 14988

This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024. The 19 full pa…

lieferbar ab 23.9.2024.

Buch

EUR 63,51*

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 innerhalb 2-3 Wochen

Buch

EUR 92,19*

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.