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

    Ansicht:

    Functional and Logic Programming

    Lecture Notes in Computer Science - Band 16533

    This FLOPS 2026 constitutes the proceedings of the 18th International Symposium on Functional and Logic Programming, FLOPS 2026, held in Tsukuba, Japan, in May 26-28, 2026.The 14 full papers and 2 invited…

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

    Functional Imaging and Modeling of the Heart

    Lecture Notes in Computer Science - Band 15673

    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 98,56

    Functional Imaging and Modeling of the Heart

    Lecture Notes in Computer Science - Band 15672

    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 175,23

    Fundamental Approaches to Software Engineering

    Lecture Notes in Computer Science - Band 16504

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

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 52,04, reduziert um 15%
    Aktueller Preis: EUR 43,80

    Integration of AI Theory and Applications in Diverse Industries

    Synthesis Lectures on Computer Science

    The book explores the ways artificial intelligence (AI) theory is being applied to an extremely diverse range of industries, illustrating just how robust and adaptable this technology has become. AI is re…

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

    Intelligent Computer Mathematics

    This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6--11, 2025.The 24 full papers …

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

    Juggling Formal Methods and Security

    This Festschrift is dedicated to Professor Sjouke Mauw on the occasion of his 65th birthday. Prof. Mauw obtained his PhD from the University of Amsterdam and subsequently held faculty and research positio…

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

    Learning and Reasoning

    Lecture Notes in Computer Science - Band 16059

    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

    Lecture Notes in Computer Science - Band 16094

    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

    Logics in Artificial Intelligence

    Lecture Notes in Computer Science - Band 16093

    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…

    lieferbar in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 54,95

    Model-Based Safety and Assessment

    Lecture Notes in Computer Science - Band 15755

    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

    Lecture Notes in Computer Science - Band 15957

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

    NASA Formal Methods

    Lecture Notes in Computer Science - Band 15682

    This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in t…

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

    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

    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 and Practices of Building Parallel Software

    Lecture Notes in Computer Science - Band 14564

    This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-perfor…

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

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