Verification – alle Bücher, CDs und LPs

Samuel Andreyev (geb. 1981)

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

Peyee Chen, ensemble proton bern, Luigi Gaggero

Artikel wird nachgefertigt.
Voraussichtlich wieder lieferbar Ende Mai 2026

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

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

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…

Erscheint bald

Buch

Verification of Autonomous Systems

This book is a comprehensiveguide to current practical and theoreticalunderstanding of verification of autonomous systems, helping users find the tools and techniques they need to address this challenging…

lieferbar ab 8.5.2026.

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

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 ab 1.5.2026.

Buch

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquit…

lieferbar innerhalb 2-3 Wochen

Buch

Caroline Dominik
Embedding Sequential Circuits for their Polynomial Formal Verification

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

Verification and Evaluation of Computer and Communication Systems

Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 18th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2025, held in Paris, France, during November…

lieferbar ab 24.4.2026.

Buch

Verification and Evaluation of Computer and Communication Systems

Lecture Notes in Computer Science - Band 15466

This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during Octobe…

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

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 ab 18.5.2026.

Buch

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

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 ab 29.6.2026.

Buch

Günter Fischer
Der Bau der Cheops-Pyramide

Seit Jahrhunderten schon versuchen Wissenschaftler die Frage zu beantworten, wie die Ägypter es geschafft haben, mit den ihnen damals zur Verfügung stehenden einfachen Mitteln 2,32 Millionen Steine in ein…

lieferbar ab 14.9.2026.

Buch

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