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

    Thema Theoretische Informatik – alle Bücher, Seite 8

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

    Ansicht:

    High Performance Computing in Science and Engineering '22

    This book presents the state-of-the-art in supercomputer simulation. It includes the latest findings from leading researchers using systems from the High Performance Computing Center Stuttgart (HLRS) in 2…

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

    Intelligent Computer Mathematics

    .- Automated Reasoning..- Hammering Higher Order Set Theory..- Synthesis Benchmarks for Automated Reasoning..- Automated Symmetric Constructions in Discrete Geometry..- Formal Libraries..- Growing Mathlib…

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

    Interplay of Artificial General Intelligence with Quantum Computing

    Shaping Tomorrow: The Convergence of Artificial General Intelligence and Quantum Computing.- 2. Evolution of Artificial Intelligence and Quantum Computing.- 3. Architecture of Quantum Neural Networks: Des…

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

    Knowledge Discovery, Knowledge Engineering and Knowledge Management

    This book constitutes the refereed proceedings of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2023, held in Rome, Italy, during Nov…

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

    Knowledge Discovery, Knowledge Engineering and Knowledge Management

    .- Knowledge Discovery and Information Retrieval..- Identification of Sex-Specific Gene Signatures for Atopic Dermatitis Using Machine Learning Models..- Subset Pretraining for Enhancing Neural Network Tr…

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

    Learning and Reasoning

    This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjin…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    Logics in Artificial Intelligence

    This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1--4, 2025.The…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 72,27

    Logics in Artificial Intelligence

    This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1--4, 2025.The…

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

    Logik, Informations- und Speichertheorie, Archäologie Band 1

    De Gruyter Studium

    Der erste Band des vierteiligen Lehrbuchs Medientechnisches Wissen führt in die Themen Logik, Informations- und Speichertheorie sowie Archäologie für Medienwissenschaftler:innen ein. Ziel ist es, Studiere…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 54,95

    Machines, Computations, and Universality

    This book constitutes the refereed proceedings of the 10th International Conference on Machines, Computations, and Universality, MCU 2024, held in Nice, France, during June 5-7, 2024.The 8 full papers and…

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

    Math Optimization for Artificial Intelligence

    Mathematical Methods in the Digital Age - Band 2

    The book presents powerful optimization approaches for integrating AI into daily life. This book explores how heuristic and metaheuristic methodologies have revolutionized the fields of robotics and machi…

    lieferbar innerhalb einer Woche
    Buch
    Aktueller Preis: EUR 159,47

    Model Validation and Uncertainty Quantification, Volume 3

    Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the third volume of ten from the Conference brings togeth…

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

    Model-Based Safety and Assessment

    This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers we…

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

    Modeling Decisions for Artificial Intelligence

    .- Decision making and uncertainty..- Measurable Closure of a Finitely-Additive Measure Space: An Analysis of Spaces Similar to Stone Spaces..- Ecological Inference for Electoral Analysis: A Computational…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 72,27

    Optimization and Learning

    This book constitutes the refereed proceedings of the 8th International Conference on Optimization and Learning, OLA 2025, held in Dubai, United Arab Emirates, during April 23--25, 2025.The 30 full papers…

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

    Practical Aspects of Declarative Languages

    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

    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

    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

    .- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

    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 in mind. 4 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.