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

    3. Vitrification – alle Bücher, LPs und CDs, Seite 2

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

    Ansicht:
    : 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*
    : Verification, Model Checking, and Abstract Interpretation, Buch

    Verification, Model Checking, and Abstract Interpretation

    Lecture Notes in Computer Science -Band 14499

    The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    : Verification, Model Checking, and Abstract Interpretation, Buch

    Verification, Model Checking, and Abstract Interpretation

    Lecture Notes in Computer Science -Band 14500

    The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    : Tools for Design, Implementation and Verification of Emerging Information Technologies, Buch

    Tools for Design, Implementation and Verification of Emerging Information Technologies

    Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering -Band 523

    This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCo…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 65,71*
    : 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*
    : AI Verification, Buch

    AI Verification

    Lecture Notes in Computer Science -Band 14846

    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…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 131,42*
    : 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*
    : 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*
    : Principles of Verification: Cycling the Probabilistic Landscape, Buch

    Principles of Verification: Cycling the Probabilistic Landscape

    Lecture Notes in Computer Science -Band 15261

    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
    EUR 72,27*
    : Principles of Verification: Cycling the Probabilistic Landscape, Buch

    Principles of Verification: Cycling the Probabilistic Landscape

    Lecture Notes in Computer Science -Band 15260

    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
    EUR 81,04*
    : Principles of Verification: Cycling the Probabilistic Landscape, Buch

    Principles of Verification: Cycling the Probabilistic Landscape

    Lecture Notes in Computer Science -Band 15262

    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
    EUR 76,66*
    : Cryo-Electron Tomography, Buch

    Cryo-Electron Tomography

    Cryo-Electron Tomography: A Journey from Sample Preparation to Data Mining providing a holistic overview of this rapidly advancing field and equipping researchers with the knowledge and tools necessary to…

    lieferbar ab 1.6.2025.
    Buch
    EUR 211,54*
    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