for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This volume constitutes the papers of several workshops which were held... Læs mere
This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023.
This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023.
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. program and system verification;
Starting with its history and evolution, it explores the many facets of exception handling, such as its syntax, semantics, challenges, best practices, and... Læs mere
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification.
This book constitutes the revised selected papers of the 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5–7, 2023The 29 full papers included in this volume were carefully reviewed and selected from 52 submissions.
This book constitutes the refereed proceedings of the 20th International Conference on Services Computing, SCC 2023, held in Shenzhen, China, during December 17–18, 2023. The 6 full papers in this book were carefully reviewed and selected from 18 submissions.
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. They deal with new trends and applications in the area of Dynamic Logic.
This book constitutes the refereed proceedings of the 7th International Conference on Edge Computing, EDGE 2023, held in Shenzhen, China, during December 17–18, 2023. The 8 full papers in this book were carefully reviewed and selected from 14 submissions.