Thema Theoretische Informatik – alle Bücher, Seite 6

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

Ansicht:

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
Aktueller Preis: EUR 89,80

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
Aktueller Preis: EUR 63,51

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
Aktueller Preis: EUR 89,80

Artificial Intelligence in Music, Sound, Art and Design

Lecture Notes in Computer Science - Band 15611

This book constitutes the refereed proceedings of the 14th International Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2025, held as part of EvoStar 2025, in Trieste, It…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 87,60

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
Aktueller Preis: EUR 43,80

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
Aktueller Preis: EUR 89,80

Beyond Frontiers of Operations Research: Emerging Technologies and Innovative Optimization Paradigms

This book is the result of the presentations given at the 7th AIROYoung Workshop (University of Milan, Italy---February 15 to 17, 2023) and 8th AIROYoung Workshop (University of Calabria, Italy---February…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 186,19

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
Aktueller Preis: EUR 131,42

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

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
Aktueller Preis: EUR 219,03

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
Aktueller Preis: EUR 43,80

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
Aktueller Preis: EUR 89,80

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
Aktueller Preis: EUR 240,94

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 …

sofort lieferbar
Buch
Aktueller Preis: EUR 63,51

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
Aktueller Preis: EUR 89,80

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
Aktueller Preis: EUR 116,09

Computational Complexity and Local Algorithms

Lecture Notes in Computer Science - Band 15700

This volume contains a collection of studies in the areas of complexity theory and local algorithms. A common theme in most of the papers is the interplay between randomness and computation. This interpla…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 87,60

Computational Social Science of Social Cohesion and Polarization

This is an open access book. What holds societies together---and what drives them apart? As worry over political polarization and social cohesion intensifies across the globe, this volume explores timely …

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

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
Aktueller Preis: EUR 43,80

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
Aktueller Preis: EUR 43,80

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
Aktueller Preis: EUR 43,80
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.