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

    Trefferliste "Theoretische Informatik" - alle Bücher

    Ihre Suche nach dem Thema "Theoretische Informatik" in Bücher ergab 194 Treffer.

    Ansicht:

    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

    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 Safety, Reliability, and Security. SAFECOMP 2025 Workshops

    Lecture Notes in Computer Science - Band 15955

    .- 1st International Workshop on Co-Design of Communication, Computing, and Control in Cyber-Physical Systems (CoC3CPS 2025). .- An end-to-end testbed for communication, compute, and control co-design: th…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Concurrent Programming, Open Systems and Formal Methods

    Lecture Notes in Computer Science - Band 16120

    This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

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

    Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVIII

    This volume constitutes the revised selected papers of the 29th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2025, he…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Cybersecurity and Human Capabilities Through Symbiotic Artificial Intelligence

    Advanced Sciences and Technologies for Security Applications

    This book presents the 16th ICGS3-24 conference which aims to understand the full impact of cyber-security, AI, deepfake, and quantum computing on humanity. Over the last two decades, technology relating …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

    Decision Mathematics, Statistical Learning and Data Mining

    This book is a collection of selected research papers presented at the Mathematics, Statistics and Computing Technology (ICMSCT2023), held at the UST Angelicum College, Philippines, from 20th to 21st Sept…

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

    Dependable Software Engineering. Theories, Tools, and Applications

    Lecture Notes in Computer Science - Band 16458

    This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1-…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Design and Verification of Cyber-Physical Systems: From Theory to Applications

    Lecture Notes in Computer Science - Band 16060

    This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems. After an award-winning PhD at Christian Albrechts Universität zu Kiel, Prof. Fränzle has…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 104,09, reduziert um 13%
    Aktueller Preis: EUR 89,80

    Designing the Information Systems Artefact

    Progress in IS

    This book provides essential methodological guidance on IS artifacts to address key challenges in Design Science Research (DSR). As a foundation for understanding and categorizing DSR artifacts, it propos…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 69,33

    Digitalisation and Artificial Intelligence Using Mathematical and Computational Approaches

    This book is a collection of selected papers presented at the 28th FAI International Conference on Digitalisation and Artificial Intelligence Revolution in Business Management (28th FAI-DAIRBM 2024), held…

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

    Engineering Safe and Trustworthy Cyber Physical Systems

    Lecture Notes in Computer Science - Band 15471

    This Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber-physical systems. Werner received his PhD in 1981 from RWTH Aachen and held the Chairs for Computer Architec…

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

    Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

    Lecture Notes in Computer Science - Band 15936

    This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 63,51

    Explorations in the Mathematics of Data Science

    Applied and Numerical Harmonic Analysis

    This edited volume reports on the recent activities of the new Center for Approximation and Mathematical Data Analytics (CAMDA) at Texas A&M University. Chapters are based on talks from CAMDA's inaugu…

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

    Flexible Query Answering Systems

    Lecture Notes in Computer Science - Band 16119

    This book constitutes the refereed proceedings of the 16th International Conference on Flexible Query Answering Systems, FQAS 2025, held in Burgas, Bulgaria, during September 11--13, 2025.The 26 full pape…

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

    Formal Methods

    The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18--22, 2026.The 49 full a…

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

    Formal Methods for Industrial Critical Systems

    Lecture Notes in Computer Science - Band 16040

    This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 63,51

    Formal Methods: Foundations and Applications

    Lecture Notes in Computer Science - Band 16363

    This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

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

    Formal Techniques for Distributed Objects, Components, and Systems

    Lecture Notes in Computer Science - Band 16589

    This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as…

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