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

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

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "AIVerification" finden. Könnten diese Produkte zu Ihrer Suche passen?
    Ansicht:

    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

    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

    The Raven Age
    Blood Omen (180g)

    The Raven Age haben ihr mit Spannung erwartetes drittes Album Blood Omen angekündigt. Es ist ihr erstes Album mit Music For Nations/Sony Music. Das Album kann ab sofort hier vorbestellt werden. Anläss…

    Artikel am Lager
    LP
     
    Vorheriger Preis EUR 29,99, reduziert um 26%
    Aktueller Preis: EUR 21,99

    Downtown Boys
    Public Luxury

    Die wilden und mächtigen Downtown Boys veröffentlichen im Juni 2026 »Public Luxury«, ihr unglaubliches neues Album und den Nachfolger ihres gefeierten Sub-Pop-Debüts »Cost Of Living«. Das vierte Album…

    lieferbar innerhalb von 3 Tagen
    CD
     
    Aktueller Preis: EUR 16,99

    Downtown Boys
    Public Luxury (Limited Edition) (Pearl/Arctic Vinyl)

    Die wilden und mächtigen Downtown Boys veröffentlichen im Juni 2026 »Public Luxury«, ihr unglaubliches neues Album und den Nachfolger ihres gefeierten Sub-Pop-Debüts »Cost Of Living«. Das vierte Album…

    lieferbar innerhalb von 3 Tagen
    LP
     
    Aktueller Preis: EUR 29,99

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

    Proceedings of the Global Conference on Economic Diversification 2024

    Springer Proceedings in Business and Economics

    This book is a compilation of the papers and posters that have been accepted and presented at the Global Conference on Economic Diversification 2024. The main subject of the Global Conference on Economic …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

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

    The Raven Age
    Blood Omen

    The Raven Age haben ihr mit Spannung erwartetes drittes Album Blood Omen angekündigt. Es ist ihr erstes Album mit Music For Nations/Sony Music. Das Album kann ab sofort hier vorbestellt werden. Anläss…

    lieferbar in mind. 4 Wochen
    CD
     
    Aktueller Preis: EUR 8,99

    Combichrist
    One Fire (Deluxe-Edition)

    Das Feuer ist entfacht – Combichrist sind zurück, und sie bringen ihr gesamtes Arsenal in Stellung. Präzise. Lauernd. Gnadenlos. Das neunte Studioalbum »One Fire« zeigt eine Band, deren Siegeszug die ganz…

    lieferbar innerhalb 1-2 Wochen
    2 CDs
     
    Aktueller Preis: EUR 9,99

    Cosmin Radu Popa
    Fundamentals of CMOS Analog Integrated Circuits

    This textbook is built upon a deliberately simplified, yet rigorous, methodological framework. Its primary objective is to enable students to develop a deep and operational understanding of the fundamenta…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 106,66

    Agricultural Diversification for Sustainable Food Production

    Sustainability Sciences in Asia and Africa

    This book discusses agricultural diversification, nutritional security and environmental sustainability. It helps to address the multipronged challenges of nutritional security while preserving the dwindl…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    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
    Aktueller Preis: EUR 153,32

    Now Yearbook 1988 (Deluxe Edition)

    NOW ist stolz darauf, die nächste Folge unserer fortlaufenden "Yearbook"-Serie zu präsentieren - NOW - Yearbook 1988 mit 82 Titeln auf 4 CDs, die dieses vielseitige Jahr des Pop feiern. CD 1 beginnt mit…

    Artikel am Lager
    4 CDs
     
    Aktueller Preis: EUR 23,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

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

    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

    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 innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 53,32

    Value Addition and Product Diversification in Sugarcane

    This contributed volume covers sugarcane byproducts, preservation, functional foods, bioethanol, and liquid fuels. It focuses on advancements in value addition and its applications in food and other indus…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 251,89

    Mohammad Reza Heidari Iman
    Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

    This book introduces leading-edge techniques for verifying the complex electronic systems used in industries such as aerospace, automotive, and medical devices, and ensuring the safety and security of the…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 109,51
    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.