Thema Theoretische Informatik – alle Bücher, Seite 8

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

Components Operationally: Reversibility and System Engineering

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

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. This edited volume explores the decay of social cohesion in democratic societies through the lens of Computational Social Science (CSS). Acknowledging its critical role in dem…

lieferbar ab 19.1.2026.

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

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

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 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full pap…

lieferbar innerhalb 2-3 Wochen

Buch