Thema Theoretische Informatik – alle Bücher, Seite 7

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

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII

The volume LNAI 15398 constitutes the revised selected papers of the 28th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COIN…

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

Engineering Safe and Trustworthy Cyber Physical Systems

This Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber-physical systems. Werner received his PhD in 1981 from RWTH Aachen and held the Chairs for Computer Architec…

lieferbar innerhalb 2-3 Wochen

Buch

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during…

sofort lieferbar

Buch

Flexible Query Answering Systems

This book constitutes the refereed proceedings of the 16th International Conference on Flexible Query Answering Systems, FQAS 2025, held in Burgas, Bulgaria, during September 11--13, 2025.The 26 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Techniques for Distributed Objects, Components, and Systems

.- tutorial paper..- A Choreographic View of Smart Contracts..- regular papers..- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems..- Sequential Composition of BDD Transition Syst…

lieferbar innerhalb 2-3 Wochen

Buch

From Bits to Qubits: The Quantum Transformation of Computing

The rapidly developing field of quantum computing and its potential to upend science, business, and society are examined in Bits to Qubits: The Quantum Transformation of Computing. This book provides a th…

lieferbar innerhalb 2-3 Wochen

Buch

Frontiers of Combining Systems

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

Fundamental Approaches to Software Engineering

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

lieferbar innerhalb 2-3 Wochen

Buch

Go Where the Bugs Are

This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.After obtaining…

lieferbar innerhalb 2-3 Wochen

Buch

High Performance Computing in Science and Engineering '22

This book presents the state-of-the-art in supercomputer simulation. It includes the latest findings from leading researchers using systems from the High Performance Computing Center Stuttgart (HLRS) in 2…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Computer Mathematics

.- Automated Reasoning..- Hammering Higher Order Set Theory..- Synthesis Benchmarks for Automated Reasoning..- Automated Symmetric Constructions in Discrete Geometry..- Formal Libraries..- Growing Mathlib…

lieferbar innerhalb 2-3 Wochen

Buch

Interplay of Artificial General Intelligence with Quantum Computing

Shaping Tomorrow: The Convergence of Artificial General Intelligence and Quantum Computing.- 2. Evolution of Artificial Intelligence and Quantum Computing.- 3. Architecture of Quantum Neural Networks: Des…

lieferbar innerhalb 2-3 Wochen

Buch

Knowledge Discovery, Knowledge Engineering and Knowledge Management

This book constitutes the refereed proceedings of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2023, held in Rome, Italy, during Nov…

lieferbar innerhalb 2-3 Wochen

Buch

Knowledge Discovery, Knowledge Engineering and Knowledge Management

.- Knowledge Discovery and Information Retrieval..- Identification of Sex-Specific Gene Signatures for Atopic Dermatitis Using Machine Learning Models..- Subset Pretraining for Enhancing Neural Network Tr…

lieferbar innerhalb 2-3 Wochen

Buch