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

    Ansicht:

    Functional Imaging and Modeling of the Heart

    This two-volume set, LNCS 15672 and LNCS 15673, constitutes the refereed proceedings of the 13th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2025, held in Dallas, Texas,…

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

    Functional Imaging and Modeling of the Heart

    This two-volume set, LNCS 15672 and LNCS 15673, constitutes the refereed proceedings of the 13th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2025, held in Dallas, Texas,…

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

    Fundamental Approaches to Software Engineering

    This open access book constitutes the proceedings of the 28th International Conference on Fundamental Approaches to Software Engineering, FASE 2025, which was held as part of the International Joint Confe…

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

    Fundamentals of Software Engineering

    .- Improved Gas Optimization of Smart Contracts..- Distributing Quantum Circuits Using Formal Methods..- Automated Test Generation: Taxonomy and Tool Applications..- Finding Universally Quantified Heap In…

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

    Go Where the Bugs Are

    This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.After obtaining…

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

    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

    Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness

    This book constitutes the proceedings of the Third International Conference on Human and Artificial Rationalities, HAR 2024, which took place in Paris, France, in September 2024.The 19 full papers and 4 s…

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

    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

    Inverse Problems for Mechanical Systems

    Eigenvalue Assignment by the Receptance Method: Structural Modification and Active Control.- Model Updating: Sensitivity Method and Bayesian Inference.- Diffusion Models in Mechanics.- Generalized Functio…

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

    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

    Logic and Its Applications

    This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3--5, 2025.Four out the five invited talks ar…

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

    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…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 159,47

    Metadata and Semantic Research

    This book constitutes the refereed post proceedings of the 18th Research Conference on Metadata and Semantic Research, MTSR 2024, held in Athens, Greece, during November 19-22, 2024.The 23 full papers and…

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