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

    Thema Theoretische Informatik – alle Bücher, Seite 9

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

    Ansicht:

    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

    Quantum Computing: Applications and Challenges

    Information Systems Engineering and Management - Band 2

    This book is intended for academics, researchers, Ph.D. students, and industrials to learn about quantum computing and prepare them to understand the future with its cutting-edge tools. Quantum computing …

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

    Quantum Ops

    Introduction.- Quantum Computing Fundamentals: Beyond Classical Bits.- Qubits, Quantum Gates, and Quantum Circuits.- Quantum Programming: Languages and Frameworks.- Key Quantum Algorithms: Shor's, Grove's…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 192,01

    Quantum Systems at the Nanoscale

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

    Lecture Notes in Computer Science - Band 16144

    Two Kinds of Rules: Goal Rules and Belief Rules.- Obligation Taxonomy in the Non-Markovian Situation Calculus.- A Novel Concept Induction Approach for Explainable Quality 4.0.- An Optimized Framework for …

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

    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

    .- New perspectives on the Burrows--Wheeler Transform (Keynote)..- Scaling genomic reuse: hypothesis and algorithms for k-mer collections (Keynote)..- Succinct Dynamic Data Structures (25 years on) (Keyno…

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

    Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    This volume LNAI 16099 constitutes the refereed proceedings of the 19th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2025, held in Hagen, Germany, dur…

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

    Testing Software and Systems

    Lecture Notes in Computer Science - Band 16107

    This book constitutes the refereed proceedings of the 37th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2025, held in Limassol, Cyprus, during September 17--19, 2025.The 19 …

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

    The 25th European Conference on Integrated Optics

    Springer Proceedings in Physics

    This volume presents peer-reviewed and selected papers from the 2024 European Conference on Integrated Optics (ECIO), held on 17-19 June, 2024, and organized by RWTH Aachen University, Germany, in collabo…

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

    The French School of Programming

    The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors inc…

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

    The Semantic Web

    Lecture Notes in Computer Science - Band 15718

    This two-volume set LNCS 15718-15719 constitutes the refereed proceedings of the 22nd European Semantic Web Conference, ESWC 2025, held in Portoroz, Slovenia, during June 1--5, 2025. The 45 full papers pr…

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

    The Semantic Web

    Lecture Notes in Computer Science - Band 15719

    This two-volume set LNCS 15718-15719 constitutes the refereed proceedings of the 22nd European Semantic Web Conference, ESWC 2025, held in Portoroz, Slovenia, during June 1--5, 2025. The 45 full papers pr…

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

    The Semantic Web - ISWC 2025

    Lecture Notes in Computer Science - Band 16140

    This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2--6, 2025.The 60 full papers included in these volumes w…

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

    The Semantic Web: ESWC 2025 Satellite Events

    Lecture Notes in Computer Science - Band 15832

    .- Posters & Demos. .- A user-friendly SPARQL query editor powered by lightweight metadata. .- Bringing FAIR Digital Objects to the Semantic Web: A Foundational Framework. .- SGF: SPARQL Updates over …

    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.