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

    Trefferliste "Verifikation" - alle Bücher

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

    Ansicht:

    Principles of Verification: Cycling the Probabilistic Landscape

    This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

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

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

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

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

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

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

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Daniel Große, Lucas Klemmer
    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

    Rebekah M Martin
    101 Topics for Clinical Microbiology Laboratory Leaders

    Successfully manage your laboratory accreditation and compliance audits with this easily accessible how-to resource for clinical laboratories101 Topics for Clinical Microbiology Laboratory Leaders: Accred…

    lieferbar in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 82,75

    Karl R. Popper,
    Vermutungen und Widerlegungen

    In diesen Aufsätzen und Vorträgen veranschaulicht Karl Popper, dass wir unser Wissen nur erweitern können, wenn wir Fehler machen und daraus lernen. Die zweite Auflage ist revidiert und enthält zusätzlich…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 59,00

    Louis S Wheatcraft, Michael J Ryan, Tami Edner Katz,
    Incose Needs and Requirements Manual

    Complete and comprehensive manual for eliciting, defining, and managing needs and requirements, integration, verification, and validation across the lifecycleThe INCOSE Needs and Requirements Manual prese…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 110,51

    David Allen Burke
    Atomic Testing in Mississippi

    In Atomic Testing in Mississippi, David Allen Burke illuminates the nearly forgotten history of America's only nuclear detonations east of the Mississippi River. The atomic tests, conducted in the mid-196…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 44,09

    Tom Hood
    The Rhymester. Or, The Rules of Rhyme. A Guide to English Versification. With a Dictionary of Rhymes, an Examination of Classical Measures, and Comments Upon Burlesque, Comic Verse, and Song-writing

    Reprint of the original, first published in 1882. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

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

    Kevin Manuel Mägerle
    Das strukturelle Vollzugsdefizit bei Veräußerungsgeschäften von virtuellen Währungen

    Steuerwissenschaftliche Schriften - Band 94

    Mit virtuellen Währungen wie dem Bitcoin können erhebliche Veräußerungsgewinne erzielt werden, doch stellt sich die Frage, ob deren Besteuerung in Deutschland überhaupt verfassungsgemäß ist. Die Belastung…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 104,00
    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.