Inhalt Einstellungen Privatsphäre

Warenkorb EUR 00,00 *

Erweiterte Suche

Ohne aktives Javascript kann es zu Problemen bei der Darstellung kommen. Bitte aktivieren Sie deshalb Ihr Javascript.

Trefferliste "Theoretische Informatik" - alle Bücher

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

Artificial Intelligence and Quantum Computing: Early Innovations. Volume 1

This book delves into how these transformative technologies are being integrated to revolutionize fields such as health care, infrastructure, and data security. In an era dominated by rapid advancements i…

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence and Soft Computing

This volume constitutes the proceedings of 24th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2025, Zakopane, Poland, during June 22--26, 2025.The 83 full papers included …

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence and Soft Computing

Lecture Notes in Computer Science - Band 15949

This volume constitutes the proceedings of 24th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2025, Zakopane, Poland, during June 22--26, 2025.The 83 full papers included …

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence and Soft Computing

Lecture Notes in Computer Science - Band 15948

This volume constitutes the proceedings of 24th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2025, Zakopane, Poland, during June 22--26, 2025.The 83 full papers included …

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence for Neuroscience, Mental Health, and Neurodegenerative Disorders

Lecture Notes in Computer Science - Band 16574

The two volume set LNCS 16574 and 16575 constitutes the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2026, held in Canary Islands, S…

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence in Music, Sound, Art and Design

Lecture Notes in Computer Science - Band 16523

This book constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2026, held as part of EvoStar 2026, in Toulouse, F…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Deduction - CADE 30

Lecture Notes in Computer Science - Band 15943

This open access book constitutes the proceedings of the 30th International Conference on Automated Deduction, CADE 30, which took place in Stuttgart, Germany, during July 2025.CADE is the major forum for…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Computer Science - Band 15980

This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science - Band 16145

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

lieferbar innerhalb 2-3 Wochen

Buch

Bioinformatics and Computational Biology

Communications in Computer and Information Science - Band 2535

This book constitutes the refereed proceedings of the 17th International Conference on Bioinformatics and Computational Biology, BICOB 2025, held in San Francisco, CA, USA, on March 17, 2025. The 18 full …

lieferbar innerhalb 2-3 Wochen

Buch

Bioinformatics and Computational Biology

Communications in Computer and Information Science - Band 2977

This book constitutes the refereed proceedings of the 18th International Conference on Bioinformatics and Computational Biology, BICOB 2026, held in Honululu, Hawaii, USA, during March 23--March 25, 2026.…

lieferbar innerhalb 2-3 Wochen

Buch

Bioinspired Intelligent Systems: From Robotics and Computer Vision to Trustworthy Applications

Lecture Notes in Computer Science - Band 16575

The 93 full papers included in this book were carefully reviewed and selected from 187 submissions. They were organized in topical sections as follows:Part I: Machine Learning in Neuroscience; Functional …

lieferbar innerhalb 2-3 Wochen

Buch

Blockchain in the Tourism Industry: A New Era of Secure and Transparent Travel Solutions

Information Systems Engineering and Management - Band 57

This book offers a transformative approach to enhancing transparency, security, and efficiency in travel, providing actionable strategies for industry professionals and enthusiasts alike. By leveraging cu…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science - Band 16032

This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/No…

lieferbar innerhalb 2-3 Wochen

Buch

Business Process Management

Lecture Notes in Computer Science - Band 16044

This book constitutes the refereed proceedings of the 23rd International Conference on Business Process Management, BPM 2025, which took place in Seville, Spain, in September 2025.The 30 full papers inclu…

lieferbar innerhalb 2-3 Wochen

Buch

Chaos, Complexity, and Leadership 2023

The proceedings of the 8th International Symposium on Chaos, Complexity, and Leadership present various concepts of diverse research methodologies to explore chaos and complexity across different scientif…

lieferbar innerhalb 2-3 Wochen

Buch

Components Operationally: Reversibility and System Engineering

Lecture Notes in Computer Science - Band 16065

This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to …

lieferbar innerhalb 2-3 Wochen

Buch

Computational Collective Intelligence

This two-set volume LNAI 16138-16139 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, duri…

lieferbar innerhalb 2-3 Wochen

Buch

Computational Collective Intelligence

This two-set volume LNAI 16138-16139 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, duri…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

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.