for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and... Læs mere
This book constitutes the revised selected papers of the 5th International Workshop on Active... Læs mere
This book is the first volume of proceedings from the 18th International... Læs mere
This book is the second volume of proceedings from the 18th International... Læs mere
This book is the third volume of proceedings from the 18th International... Læs mere
This is an open access book. Decide Better: Open and Interoperable Local Digital Twins explores the transformative potential of Local Digital Twins (LDTs) in urban governance.
This book constitutes the refereed post-conference proceedings of the 4th... Læs mere
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 papers presented were carefully reviewed and selected from 10 submissions.