0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Certification

    3. Certification – Bücher, LPs, CDs und mehr, Seite 6

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

    Ansicht:
    William L Oberkampf: Verification, Validation, and Uncertainty Quantification in Scientific Computing, Buch

    William L Oberkampf, Christopher J Roy
    Verification, Validation, and Uncertainty Quantification in Scientific Computing

    "This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problem…

    lieferbar ab 31.5.2025.
    Buch
    EUR 181,22*
    Grzegorz Podruczny: The King and His Fortresses, Buch

    Grzegorz Podruczny
    The King and His Fortresses

    A detailed exploration of Prussian fortifications under Frederick the Great, examining their construction, theory, and strategic significance. The King and His Fortresses describes Prussian fortification…

    lieferbar in mind. 4 Wochen
    Buch
    EUR 45,00*
    Anton Wijs: Concise Guide to Software Verification, Buch

    Anton Wijs, Marieke Huisman
    Concise Guide to Software Verification

    Texts in Computer Science

    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,99*
    : Guide to Software Verification with Frama-C, Buch

    Guide to Software Verification with Frama-C

    Computer Science Foundations and Applied Logic

    Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 69,33*
    : Runtime Verification, Buch

    Runtime Verification

    Lecture Notes in Computer Science -Band 15191

    This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short pap…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 60,23*
    : Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, Buch

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

    Lecture Notes in Computer Science -Band 15223

    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
    EUR 54,75*
    Roswell Sabine Ripley: Correspondence relating to fortification of Morris Island and operations of engineers, Buch

    Roswell Sabine Ripley, Thomas Jordan
    Correspondence relating to fortification of Morris Island and operations of engineers

    Reprint of the original, first published in 1878. 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
    EUR 34,90*
    Roswell Sabine Ripley: Correspondence relating to fortification of Morris Island and operations of engineers, Buch

    Roswell Sabine Ripley, Thomas Jordan
    Correspondence relating to fortification of Morris Island and operations of engineers

    Reprint of the original, first published in 1878. 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
    EUR 14,90*
    : Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, Buch

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

    Lecture Notes in Computer Science -Band 15222

    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
    EUR 72,27*
    : Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, Buch

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

    Lecture Notes in Computer Science -Band 15220

    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
    EUR 72,27*
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 14682

    This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    Eva Lilja: Rhythm in Modern Poetry, Buch

    Eva Lilja,
    Rhythm in Modern Poetry

    "A pioneering work in cognitive versification studies, scrutinizing the rhythmical means of free verse"--

    Erscheint bald
    Buch
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 14683

    This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024.The primary f…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 14681

    This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    John Henry Parker: The primitive fortifications of the city of Rome, and other buildings of the time of the kings, Buch

    John Henry Parker
    The primitive fortifications of the city of Rome, and other buildings of the time of the kings

    Reprint of the original, first published in 1878. 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
    EUR 79,90*
    John Henry Parker: The primitive fortifications of the city of Rome, and other buildings of the time of the kings, Buch

    John Henry Parker
    The primitive fortifications of the city of Rome, and other buildings of the time of the kings

    Reprint of the original, first published in 1878. 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
    EUR 99,90*
    : Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, Buch

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

    Lecture Notes in Computer Science -Band 15219

    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
    EUR 81,04*
    John Stuart Stuart Glennie: Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History., Buch

    John Stuart Stuart Glennie
    Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History.

    Reprint of the original, first published in 1878. 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
    EUR 69,90*
    Louis S Wheatcraft: Incose Needs and Requirements Manual, Buch

    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 lifecycle The INCOSE Needs and Requirements Manual pres…

    lieferbar innerhalb 1-2 Wochen
    Buch
    EUR 122,49*
    John Stuart Stuart Glennie: Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History., Buch

    John Stuart Stuart Glennie
    Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History.

    Reprint of the original, first published in 1878. 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
    EUR 89,90*
    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.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH