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 180 Treffer.

    Ansicht:

    Rules and Reasoning

    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

    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

    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

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

    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

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

    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 72,27

    The Semantic Web

    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 72,27

    The Semantic Web - ISWC 2025

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

    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 72,27

    The Semantic Web: ESWC 2025 Satellite Events

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

    Theoretical Computer Science

    This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3--5, 2025.The 9 full papers and 1 short p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 76,66

    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

    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

    Unconventional Computation and Natural Computation

    This book constitutes the proceedings of the 22nd International Conference on Unconventional Computation and Natural Computation, UCNC 2025, held in Nice, France, during September 1-5, 2025.The 24 full pa…

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

    Verified Software. Theories, Tools and Experiments

    This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14--15, 2024.The 6 full papers, as well…

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

    Web and Internet Economics

    This volume LNCS 15534 constitutes the refereed proceedings of the 20th International Conference on Web and Internet Economics, WINE 2024, held in Edinburgh, UK, during December 2-5, 2024.The 34 full pape…

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

    Women in Numbers Europe IV

    This volume contains research and expository content based on a wide variety of topics within modern number theory and arithmetic geometry. Research in this volume arises from or is connected with the Wom…

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