for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Written by an experienced operations research practitioner with a strong applied mathematics background, this book offers practical... Læs mere
This book constitutes the refereed post-conference proceedings of the 7th... Læs mere
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
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.