for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This open access book constitutes the proceedings of the First International Conference... Læs mere
This book constitutes the refereed post-conference proceedings from the... Læs mere
This book dives into contemporary research methodologies, emphasising the innovative use of machine learning and statistical techniques in software engineering.
Addressing key issues in modern cybernetics and informatics, this book presents vital... Læs mere
This volume delves into the application of Artificial Intelligence within... Læs mere
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 book constitutes the refereed post-conference proceedings of the 4th... Læs mere