0
EUR
00,00*
Cart EUR 00,00 *
    Advanced search
    Create your personal account

    Search Results "Verifikation" - all Bücher

    We could not find any exact matches to your search for "Verifikation". Maybe these items match your search.

    View:

    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…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 72.27

    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…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 81.04

    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, …

    deliverable within 2-3 weeks
    Buch
    Current price: 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, …

    deliverable within 2-3 weeks
    Buch
    Current price: 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 …

    deliverable within 2-3 weeks
    Buch
    Current price: 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, …

    deliverable within 2-3 weeks
    Buch
    Current price: 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, …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 81.04

    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
    Current price: EUR 83.25

    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…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 153.32

    Karl R. Popper,
    Vermutungen und Widerlegungen

    wbv Publikation

    This is the 2nd authorized, revised and expanded German edition of Karl Popper's famous collection of essays.

    available for immediate delivery
    Buch
    Current price: 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…

    deliverable within 1-2 weeks
    Buch
    Current price: EUR 111.14

    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…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 34.90

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

    Steuerwissenschaftliche Schriften - volume 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…

    available for immediate delivery
    Buch
    Current price: EUR 104.00
    Information on availability or release dates for items is based on information that we receive from our suppliers. These dates are not guaranteed and are subject to change at any time.