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.

Thema Theoretische Informatik – alle Bücher, Seite 6

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

Automated Technology for Verification and Analysis

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

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

Bioinformatics and Computational Biology

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

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

Bridging the Gap Between AI and Reality

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

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

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

Computational Complexity and Local Algorithms

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

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

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

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

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

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

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

.- 1st International Workshop on Co-Design of Communication, Computing, and Control in Cyber-Physical Systems (CoC3CPS 2025). .- An end-to-end testbed for communication, compute, and control co-design: th…

lieferbar innerhalb 2-3 Wochen

Buch

Computers and Games

This book constitutes the refereed proceedings of the 12th International Conference on Computers and Games, CG 2024, held as a virtual event, during November 25-29, 2024.The 17 full papers included in thi…

lieferbar innerhalb 2-3 Wochen

Buch

Concurrent Programming, Open Systems and Formal Methods

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

lieferbar innerhalb 2-3 Wochen

Buch

Cybersecurity and Human Capabilities Through Symbiotic Artificial Intelligence

This book presents the 16th ICGS3-24 conference which aims to understand the full impact of cyber-security, AI, deepfake, and quantum computing on humanity. Over the last two decades, technology relating …

lieferbar innerhalb 2-3 Wochen

Buch

Designing the Information Systems Artefact

This book provides essential methodological guidance on IS artifacts to address key challenges in Design Science Research (DSR). As a foundation for understanding and categorizing DSR artifacts, it propos…

lieferbar innerhalb 2-3 Wochen

Buch

Digitalisation and Artificial Intelligence Using Mathematical and Computational Approaches

This book is a collection of selected papers presented at the 28th FAI International Conference on Digitalisation and Artificial Intelligence Revolution in Business Management (28th FAI-DAIRBM 2024), held…

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.