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

    Coherence – Bücher, CDs, LPs und mehr, Seite 4

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

    Ansicht:

    Runtime Verification

    .- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Business Information Systems

    This book constitutes the proceedings of the 25th International Conference on Business Information Systems, BIS 2025, which took place in Poznan, Poland, during June 25-27, 2025. This year's theme was &qu…

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

    Jean Claude, Jacques Bénigne Bossuet, J. Murphy Baltimore
    A Conference On the Authority of the Church

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

    Networked Systems

    .- Verification. .- Reachability and Verification of Assertions for IoT Applications. .- Enhancing Numerical Invariants Learning with Bounded Reachability Analysis. .- Distributed Systems. .- Distributed …

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 164,28

    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

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

    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

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

    Advances in Nonlinear Dynamics, Volume I

    This volume aims to present the latest advancements in experimental, analytical, and numerical methodologies aimed at exploring the nonlinear dynamics of diverse systems across varying length and time sca…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 328,56

    Proceedings of the Third International Conference on Advances in Computing Research (ACR'25)

    This book concentrates on advances in research in the areas of computational intelligence, cybersecurity engineering, data analytics engineering, network and communications, cloud and mobile computing, so…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Connecting Science Education with Cultural Heritage

    This edited volume presents groundbreaking research in science education, focusing on the intersection of science and cultural heritage. Showcasing 23 high-quality studies, it draws from presentations at …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 186,19

    Formal Techniques for Distributed Objects, Components, and Systems

    .- tutorial paper..- A Choreographic View of Smart Contracts..- regular papers..- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems..- Sequential Composition of BDD Transition Syst…

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

    Anonymous
    Minutes of the Annual Conferences of the Methodist Episcopal Church for the Years 1829-1839

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

    V Latin American Conference on Bioimpedance

    This book offers a timely snapshot on the developments in the field of bioimpedance, covering diverse applications such as in medicine, food industry and other fields. Gathering the proceedings of the X L…

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

    Proceedings of 4th International Conference on Mathematical Modeling and Computational Science

    This book aims to capture the interest of researchers and professionals in information technology, computer science, and mathematics. It presents fundamental and advanced concepts in intelligent computing…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 197,13

    The 7th International Conference on Wireless, Intelligent and Distributed Environment for Communication

    This book presents the proceedings of the 7th International Conference on Wireless Intelligent and Distributed Environment for Communication (WIDECOM 2024), which took place at Keene State College, Keene,…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Proceedings of 4th International Conference on Mathematical Modeling and Computational Science

    This book aims to capture the interest of researchers and professionals in information technology, computer science, and mathematics. It covers fundamental and advanced concepts related to intelligent com…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 197,13

    BUiD Doctoral Research Conference 2023

    This open access book presents selected contributions on a wide range of scientific and technological areas originating from the BUiD Doctoral Research Conference (BDRC 2023). It discusses the following t…

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

    Proceedings of the Canadian Society for Civil Engineering Annual Conference 2024, Volume 9

    A State of the Art Review on Dam Break Risk Assessment A Decade of Methodological Insights.- Multi objective Optimization for Renewal Planning of Sewer Systems Under Changing Climate.- Numerical simulatio…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 306,65

    Operator Theory

    This proceedings volume collects select contributions presented at the International Conference in Operator Theory held at Hammamet, Tunisia, on April 30 May 3, 2018. Edited and refereed by well-known exp…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 153,48

    Proceedings of the XVII Conference of the Italian Association for Wind Engineering

    This volume gathers the latest advances, innovations, and applications in the field of wind engineering, as presented by leading international researchers and engineers at the XVII Conference of the Itali…

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

    ICT for Global Innovations and Solutions

    .- Advancing Vision-Language Models with Generative AI. .- A¨erlink: Blockchain-Enabled Supply-Chain Transparency for Counterfeit Prevention. .- Revolutionizing Shift-Left Testing through an Agentic AI Fr…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 175,23
    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.