0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

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

    Ihre Suche nach "Verification" (Bücher, CDs und LPs) ergab 225 Treffer.
    Ansicht:

    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
     
    Vorheriger Preis EUR 17,99, reduziert um 11%
    Aktueller Preis: EUR 15,99

    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
    Aktueller Preis: EUR 11,99

    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
    Aktueller Preis: EUR 72,27

    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
    Aktueller Preis: EUR 63,51

    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
    Aktueller Preis: EUR 61,26

    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
    Aktueller Preis: EUR 169,87

    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
    Aktueller Preis: EUR 43,80

    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
    Aktueller Preis: EUR 43,80

    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
    Aktueller Preis: EUR 164,28

    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
    Aktueller Preis: EUR 43,80

    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
    Vorheriger Preis EUR 176,46, reduziert um 15%
    Aktueller Preis: EUR 149,34

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

    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 ab 27.11.2026.
    Buch
    Aktueller Preis: EUR 53,24

    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
    Aktueller Preis: EUR 43,57

    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
    Aktueller Preis: EUR 72,27

    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
    Aktueller Preis: EUR 81,04

    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
    Aktueller Preis: EUR 164,28

    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
    Aktueller Preis: EUR 89,80

    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
    Aktueller Preis: EUR 93,08

    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
    Aktueller Preis: EUR 63,51

    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
    Vorheriger Preis EUR 104,09, reduziert um 13%
    Aktueller Preis: EUR 89,80
    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.