Verification – alle Bücher, CDs und LPs

Samuel Andreyev (geb. 1981)

Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion"

(1)

Wir können nicht sicherstellen, dass die Bewertungen von solchen Verbrauchern stammen, die die Ware tatsächlich genutzt oder erworben haben.

Peyee Chen, ensemble proton bern, Luigi Gaggero

lieferbar innerhalb 1-2 Wochen

CD

Patrick Hofstetter
Pending Verification

Twenty-five years after her father s death, Mara Weiss receives a letter stating that his identification was non-conclusive. No explanation. No correction. Just a reclassification.What begins as an admini…

lieferbar innerhalb 2-3 Wochen

Buch

Donghee Shin
Algorithmic Fact-Verification

How is AI transforming the ways society decides what is true? Algorithms now go beyond detecting misinformation. They operate with agentic reasoning, identifying patterns, evaluating credibility, and shap…

lieferbar ab 14.10.2026.

Buch

Donghee Shin
Algorithmic Fact-Verification

How is AI transforming the ways society decides what is true? Algorithms now go beyond detecting misinformation. They operate with agentic reasoning, identifying patterns, evaluating credibility, and shap…

lieferbar ab 14.10.2026.

Buch

AI Verification

Lecture Notes in Computer Science - Band 15947

This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.The scope of the topics was broadly categorized into two groups. The fir…

lieferbar innerhalb 2-3 Wochen

Buch

Verification of Autonomous Systems

This book is a comprehensive guide to current practical and theoretical understanding of verification of autonomous systems, helping users find the tools and techniques they need to address this challengi…

lieferbar innerhalb 2-3 Wochen

Buch

Validation and Verification of Automated Driving Systems

Sustainable Mobility & Energy

The book offers a comprehensive overview on the state-of the art methods in validation and verification of automated driving systems. It covers latest development in corresponding standards (ASAM), discus…

lieferbar innerhalb 2-3 Wochen

Buch

Maria Nilsson, Anne Hege Simonsen
Visual Journalism and Verification at War

Considering the visual coverage of the war in Ukraine, this book provides critical insights into how newsrooms make use of visual materials, how visuals partake in journalistic storytelling in a modern wa…

lieferbar in mind. 4 Wochen

Buch

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science - Band 16417

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-1…

lieferbar innerhalb 2-3 Wochen

Buch

Antonina Wozna
Theological Hermeneutics and Mary Daly's verification process

Theological Hermeneutics and Daly's verification process offers an original overview of Mary Daly's inputs to the theological hermeneutics from the feminist perspective. In the context of multiple theolog…

lieferbar innerhalb 2-3 Wochen

Buch

Caroline Dominik
Embedding Sequential Circuits for their Polynomial Formal Verification

BestMasters

As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science - Band 16145

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

lieferbar innerhalb 2-3 Wochen

Buch

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4…

lieferbar innerhalb 2-3 Wochen

Buch

Design and Verification of Cyber-Physical Systems: From Theory to Applications

Lecture Notes in Computer Science - Band 16060

This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems. After an award-winning PhD at Christian Albrechts Universität zu Kiel, Prof. Fränzle has…

lieferbar innerhalb 2-3 Wochen

Buch

Fei-Yue Wang, Xiao Xue
Computational Experiments: Verification and Valida tion of Foundation Intelligence for Intelligent Sy stems

A methodological framework for bridging the gap between Artificial Intelligence and Social SciencesComplex cyber-physical-social systems demand rigorous analysis, design, regulation and validation methods…

lieferbar ab 13.8.2026.

Buch

Jianglin Lan
Learning-Enabled Autonomous Systems

This book examines how to design intelligent systems that are not only adaptive but also safe and reliable. This book bridges the gap between traditional control theory and modern data-driven learning, pr…

lieferbar ab 8.9.2026.

Buch

Azfar Adib
Safe or Secure?

*Safe or Secure?*examines the evolution and deployment of age verification systems, situating them within broader technological, regulatory, and societal frameworks. It analyses this trend as part of the …

lieferbar ab 19.10.2026.

Buch

Computational Modeling and Simulation of Medical Devices

This open access book reflects the growth of computational modeling and simulation (CM&S) in support of medical device development over the past two decades, identifies the opportunities and challenge…

lieferbar in mind. 4 Wochen

Buch

Lucas Klemmer, Daniel Große
Versatile Hardware Analysis Techniques

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verif…

lieferbar innerhalb 2-3 Wochen

Buch

José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Rigorous Software Development

Undergraduate Topics in Computer Science

Software errors can lead to catastrophic consequences, from financial losses to threats to human safety. As a result, rigorous methods for software development and validation have become increasingly crit…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Verification" - alle Bücher, CDs und LPs