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

    Trefferliste "Certification" - alle Bücher, CDs, LPs und mehr

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

    Ansicht:

    Henry Clay Maine
    The Burgoyne Campaign. Bemis Heights and Saratoga. Oriskany and Bennington. Hauver Island and its Fortifications

    Reprint of the original, first published in 1877. 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

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    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

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    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

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Quaderni del PLIDA A1. Übungsbuch mit Audiodateien als Download

    Niveau A1Die Übungsbücher Quaderni del PLIDA bestehen aus sechs Bänden, entsprechend den sechs Schwierigkeitsstufen der PLIDA-Prüfung. Die Titel sind ideal für Lernende, die sich auf die PLIDA-Prüfung vor…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 27,00

    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

    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

    Automated Technology for Verification and Analysis

    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 164,28

    Automated Technology for Verification and Analysis

    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 142,37

    Junius Brutus Wheeler
    The Elements of Field Fortifications. For the Use of the Cadets of the United States Military Academy at West Point, N. Y.

    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 49,90

    Verification, Model Checking, and Abstract Interpretation

    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Verification and Evaluation of Computer and Communication Systems

    This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during Octobe…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Verification, Model Checking, and Abstract Interpretation

    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Roots Tonic
    Roots Tonic Meets Bill Laswell

    You may have already heard Roots Tonic. In fact, you may love Roots Tonic and not even know it. Roots Tonic is Hasidic reggae superstar Matisyahu's backing band. Matisyahu's star has risen dramatically in…

    lieferbar innerhalb 1-2 Wochen
    CD
     
    Aktueller Preis: EUR 17,99

    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

    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 72,27
    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.