Verification – alle Bücher, LPs und CDs

Samuel Andreyev (geb. 1981)

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

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

Vikash Kumar
AI-Assisted Hardware Verification

This book offers a structured methodology for applying generative AI to the functional verification of complex semiconductor designs, without sacrificing engineering accountability. It presents the VEGA f…

lieferbar innerhalb 2-3 Wochen

Buch

AI Verification

Lecture Notes in Computer Science - Band 16831

This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 24--25, 2026.The 17 full papers and 4 competition c…

lieferbar innerhalb 2-3 Wochen

Buch

Runtime Verification

Lecture Notes in Computer Science - Band 17117

This book constitutes the refereed proceedings of the 26th International Conference on Runtime Verification, RV 2026, held in Kingston, ON, Canada, during October 6--9, 2026.The 9 regular papers, 5 short …

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 innerhalb 1-2 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 innerhalb 1-2 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

Computer Aided Verification

Lecture Notes in Computer Science - Band 16683

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

Lecture Notes in Computer Science - Band 16684

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

Lecture Notes in Computer Science - Band 16682

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and …

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

Verification in Nuclear Disarmament and Non-Proliferation

This edited book offers an inter-disciplinary approach to the verification of nuclear weapons.Nuclear verification sits at the fault line between technical assurance and political will. It is at the same …

lieferbar ab 15.12.2026.

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

Buch

Software Fault Prevention, Verification, and Validation

Lecture Notes in Computer Science - Band 16356

This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8--9, 202…

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems

Lecture Notes in Computer Science - Band 17145

The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took plac…

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

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

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