Thema Theoretische Informatik – alle Bücher, Seite 7

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

Lecture Notes in Computer Science - Band 15955

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

Concurrent Programming, Open Systems and Formal Methods

Lecture Notes in Computer Science - Band 16120

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 XVIII

This volume constitutes the revised selected papers of the 29th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2025, he…

lieferbar innerhalb 2-3 Wochen

Buch

Cybersecurity and Human Capabilities Through Symbiotic Artificial Intelligence

Advanced Sciences and Technologies for Security Applications

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

Progress in IS

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

Lecture Notes in Computer Science - Band 15471

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

Lecture Notes in Computer Science - Band 15936

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

Explorations in the Mathematics of Data Science

Applied and Numerical Harmonic Analysis

This edited volume reports on the recent activities of the new Center for Approximation and Mathematical Data Analytics (CAMDA) at Texas A&M University. Chapters are based on talks from CAMDA's inaugu…

lieferbar innerhalb 2-3 Wochen

Buch

Flexible Query Answering Systems

Lecture Notes in Computer Science - Band 16119

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

Lecture Notes in Computer Science - Band 16040

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

Lecture Notes in Computer Science - Band 16363

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

Lecture Notes in Computer Science - Band 15732

This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in…

lieferbar innerhalb 2-3 Wochen

Buch

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

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

From Data to Models and Back

Lecture Notes in Computer Science - Band 14618

This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6-7, 2023.The 8 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

From Data to Models and Back

Lecture Notes in Computer Science - Band 15556

This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4--5, 2024.The 9 full papers include…

lieferbar innerhalb 2-3 Wochen

Buch

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

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

Functional Imaging and Modeling of the Heart

Lecture Notes in Computer Science - Band 15673

This two-volume set, LNCS 15672 and LNCS 15673, constitutes the refereed proceedings of the 13th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2025, held in Dallas, Texas,…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Theoretische Informatik" - alle Bücher