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

    Trefferliste "Verifikation" - alle Bücher

    Ihre Suche nach "Verifikation" (Bücher) ergab 33 Treffer.

    Ansicht:

    Günter Fischer
    Der Bau der Cheops-Pyramide

    Seit Jahrhunderten schon versuchen Wissenschaftler die Frage zu beantworten, wie die Ägypter es geschafft haben, mit den ihnen damals zur Verfügung stehenden einfachen Mitteln 2,32 Millionen Steine in ein…

    lieferbar ab 15.9.2025.
    Buch
    Aktueller Preis: EUR 24,00

    Daniel R. Kälberer
    Kontroll- und Verifikationsmöglichkeiten der Finanzverwaltung im Zeichen der Digitalisierung

    Wissenschaftliche Beiträge aus dem Tectum Verlag: Rechtswissenschaft

    Plattform-Geschäftsmodelle im Bereich der Sharing Economy verdrängen traditionelle Vermittlungsformen wie im Einzelhandel oder im Dienstleistungssektor. Sie führen jedoch nicht nur zu Wettbewerbsverzerrun…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 39,00

    Peter Welchering
    Journalistische Praxis: Digitale Recherche

    Für die Recherche im Netz und für die Faktenprüfung stehen jedem Journalisten professionelle Werkzeuge zur Verfügung. Oft sind die als Open-Source-Software oder als kostenlose Web-Angebote nutzbar. Auch d…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 14,99

    Runtime Verification

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

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 60,23

    Khaled Salah Mohamed
    Heterogeneous SoC Design and Verification

    This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 53,32

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    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

    AI Verification

    This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized i…

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

    Computer Aided Verification

    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
    Aktueller Preis: EUR 43,80

    Computer Aided Verification

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

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

    Computer Aided Verification

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

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

    Anton Wijs, Marieke Huisman
    Concise Guide to Software Verification

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

    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

    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

    Antonina Wozna
    Theological Hermeneutics and Mary Daly's verification process

    Theological Hermeneutics and Daly's verification processoffers an original overview of Mary Daly's inputs to the theological hermeneutics from the feminist perspective. In the context of multiple theologi…

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

    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

    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

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

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 242,74

    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

    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 81,04

    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.