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

    Ansicht:

    Foundations of Information and Knowledge Systems

    Lecture Notes in Computer Science - Band 16475

    This book constitutes the proceedings of the 14th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2026, which took place in Hanover, Germany, during March 2026.The 13 fu…

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

    Frontiers of Combining Systems

    Lecture Notes in Computer Science - Band 15979

    This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

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

    Frontiers of Dynamic Games

    Trends in Mathematics

    This book collects a selection of the articles presented at the virtual conference "Game Theory and Applications", organized in St. Petersburg in the summer of 2022. The articles in this collect…

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

    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

    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

    Genetic and Evolutionary Computing

    Lecture Notes in Electrical Engineering - Band 1322

    This book contains accepted papers presented at ICGEC 2024, the 16th International Conference on Genetic and Evolutionary Computing, held from August 28-29, 2024 in Miyazaki, Japan. The conference is inte…

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

    Genetic and Evolutionary Computing

    Lecture Notes in Electrical Engineering - Band 1321

    This book contains accepted papers presented at ICGEC 2024, the 16th International Conference on Genetic and Evolutionary Computing, held from August 28-29, 2024 in Miyazaki, Japan. The conference is inte…

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

    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

    Introduction to Tensor Network Methods

    Graduate Texts in Physics

    This second edition of the textbook Introduction to Tensor Network Methods contains more advanced and technical parts as new topics related to tensor network algorithms that have been developed in the las…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 96,00

    Inverse Problems for Mechanical Systems

    CISM International Centre for Mechanical Sciences - Band 618

    This book explores the crucial role of inverse problems across various fields of applied science and technology. By examining physical phenomena governed by mathematical physics, it addresses the challeng…

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

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

    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

    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 16622

    This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in t…

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

    On the Pursuit of Insight and Elegance

    Lecture Notes in Computer Science - Band 14765

    Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under …

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

    Optimization and Learning

    Communications in Computer and Information Science - Band 2808

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