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:

    Downstream Diversification of Mineral-Rich Countries

    This open access book sheds new light on the challenges and opportunities of downstream diversification in countries rich in critical minerals. Written by leading experts, the book highlights examples of …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    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

    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

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

    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

    Now Yearbook 1988 (Translucent Dark Green Vinyl)

    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
    3 LPs
     
    Aktueller Preis: EUR 39,99

    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

    Fit For An Autopsy
    The Nothing That Is

    Der Erfolg hat Fit For An Autopsy nicht verwöhnt - aber wie jeder Fan des Metal-Sextetts aus New Jersey bestätigen kann, gab es von vornherein keine große Chance, dass das passieren würde. Fit For An Au…

    lieferbar innerhalb einer Woche
    CD
     
    Aktueller Preis: EUR 18,99

    Parkway Drive
    Killing With A Smile (Reissue) (180g)

    Das müsste den Fans von Parkway Drive doch äußerst gelegen kommen: Parallel zum neuen Album »Ire« veröffentlicht Epitaph deren Debütalbum »Killing With A Smile« erneut. Es ist damit nun erstmals auch offi…

    lieferbar innerhalb 1-2 Wochen
    LP
     
    Aktueller Preis: EUR 26,99

    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

    European Commission
    Commission Implementing Regulation (EU) 2024/1321 of 8 May 2024

    This text edition contains the full text of the following EU legal act:Commission Implementing Regulation (EU) 2024/1321 of 8 May 2024 amending Implementing Regulation (EU) 2018/2067 as regards the verifi…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 11,90

    Holy Serpent
    Endless

    Product Information The forthcoming third album by Melbourne, Australia's Holy Serpent could likely be its defining moment. Seemingly bottomless in its relentless heft, with billowing and suffocating ri…

    lieferbar innerhalb 1-2 Wochen
    CD
     
    Vorheriger Preis EUR 19,99, reduziert um 5%
    Aktueller Preis: EUR 18,99

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    Lecture Notes in Computer Science - Band 17141

    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

    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

    Proceedings of the 32nd International Conference on Nuclear Engineering-Volume 15; ICONE 2025, 22-26 June, Weihai, China

    Springer Proceedings in Physics - Band 342

    This is the 15th volume of the proceeding papers from the 32nd International Conference on Nuclear Engineering (ICONE 32). This book covers the topics of Tracks 13 and 14, including risk assessments and m…

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

    European Commission
    Commission Implementing Decision (EU) 2022/2519 of 20 December 2022

    This text edition contains the full text of the following EU legal act:Commission Implementing Decision (EU) 2022/2519 of 20 December 2022 on the technical specifications and standards for the e-CODEX sys…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 11,90

    European Commission
    Commission Implementing Regulation (EU) 2025/1192 of 18 June 2025

    This text edition contains the full text of the following EU legal act:Commission Implementing Regulation (EU) 2025/1192 of 18 June 2025 amending Implementing Regulation (EU) 2018/2067 as regards certain …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 11,90

    Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems

    Lecture Notes in Computer Science - Band 17142

    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 innerhalb 1-2 Wochen
    CD
    Aktueller Preis: EUR 27,99
    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.