for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the 16th edition of the annual Multi-Agent Programming Contest, MAPC 2022. The first paper describes the contest in general and this edition in particular, focusing on the organizers’ observations.
This book constitutes the refereed post-conference proceedings of the 24th... Læs mere
This book constitutes the proceedings of the 29th International Conference... Læs mere
After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems.
This book constitutes the refereed proceedings of the 14th International... Læs mere
This volume LNCS-IFIP constitutes the refereed proceedings of the 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023 in Benevento, Italy, during August 28 – September 1, 2023.
This two-volume set constitutes the refereed proceedings of the 30th... Læs mere
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023.