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:

    Practical Aspects of Declarative Languages

    Lecture Notes in Computer Science - Band 16401

    This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.The 11 full papers …

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

    PRIMA 2025: Principles and Practice of Multi-Agent Systems

    Lecture Notes in Computer Science - Band 16366

    This book constitutes the refereed proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2025, held in Modena, Italy, during December 16--19, 2025.The 2…

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

    Principles of Formal Quantitative Analysis

    Lecture Notes in Computer Science - Band 15760

    This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

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

    Programming Languages and Systems

    This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27--30, 2025.The 13 full papers presented here were ca…

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

    Progress in Ultrafast Intense Laser Science XVIII

    Topics in Applied Physics - Band 155

    This book delivers up-to-date reviews of progress in ultrafast intense laser science, an expanding interdisciplinary research field spanning atomic and molecular physics, molecular science, solid state ph…

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

    Quantencomputing

    Das Buch gibt einen umfassenden Überblick zum Thema Quantencomputing, beginnend bei grundlegenden Informationen, der zugrundeliegenden Physik, den technischen Plattformen bis hin zu den Anwendungsgebieten…

    lieferbar ab 30.10.2026.
    Buch
    Aktueller Preis: EUR 44,99

    Quantum Computing and Artificial Intelligence

    This book constitutes the proceedings of the Second International Workshop on Quantum Computing and Artificial Intelligence, QC+AI 2026, which took place in Singapore on January 27, 2026.The 7 full papers…

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

    Quantum Computing, Sensing and Communications for IoT

    This book presents fundamentals of quantum computing and Internet of Things (IoT). It covers many applications of quantum computing in IoT environment which fulfill research gaps in the currently availabl…

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

    Quantum Ops

    This book provides a thorough guide to Quantum Operations that closes the gap between quantum computing theory and practical IT operations. Through a variety of contributed chapters, the book addresses ba…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 192,01, reduziert um 72%
    Aktueller Preis: EUR 53,32

    Quantum Protocols in Blockchain Security

    Blockchain Technologies

    This book highlights the intersection of quantum computing and blockchain technology, addressing the urgent need for enhanced security measures in a post-quantum world. This book provides a comprehensive …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 149,34

    Quantum Robustness in Artificial Intelligence

    Quantum Science and Technology

    This book surveys state-of-the-art research on adversarial robustness of quantum machine learning algorithms. Despite their high efficiency and accuracy, classical ML and AI algorithms can be easily foole…

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

    Quantum Systems at the Nanoscale

    Lecture Notes in Nanoscale Science and Technology - Band 45

    This book addresses one of the most compelling frontiers of contemporary science: the behavior of quantum systems at the nanoscale. In these regimes, where dimensions approach the de Broglie wavelength of…

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

    Recurrence Plots and Their Quantifications: Methodological Breakthroughs and Interdisciplinary Discoveries

    Springer Proceedings in Complexity

    This book collects selected contributions from the 10th Recurrence Plot Symposium, held at the University of Tsukuba, Japan (August 28-30, 2023). It reflects on the achievements of the previous nine sympo…

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

    Rigorous Methods in Theory and Practice

    Lecture Notes in Computer Science - Band 16580

    This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and compu…

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

    Rigorous State-Based Methods

    Lecture Notes in Computer Science - Band 15728

    This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10--13, 2025.The 10 full papers, 4 s…

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

    Rules and Reasoning

    This book constitutes the proceedings of the 9th International Joint Conference on Rules and Reasoning, RuleML+RR 2025, held in Istanbul, Turkey, during September 22--24, 2025. The 12 full papers and 2 sh…

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

    Search-Based Software Engineering

    This book constitutes the refereed proceedings of the 17th International Symposium on Search-Based Software Engineering, SSBSE 2025, held in Seoul, South Korea, on November 16, 2025.The 8 full papers, 4 s…

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

    Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

    Lecture Notes in Computer Science - Band 15551

    This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in …

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

    Static Analysis

    Lecture Notes in Computer Science - Band 16100

    This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

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

    String Processing and Information Retrieval

    Lecture Notes in Computer Science - Band 16073

    This book constitutes the refereed proceedings of the 32nd International Symposium on String Processing and Information Retrieval, SPIRE 2025, held in London, UK, during September 8-11, 2025.The 17 full p…

    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.