for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 20th International... Læs mere
This book constitutes the proceedings of the 23rd International Conference on Perspectives in Business Informatics Research, BIR 2024, which took place in Prague, Czech Republic, in September 2024.
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions.
This book constitutes of the revised selected papers from the 4th International Conference on Society 5.0, Society 5.0 2024, held in Moka, Mauritius, during June 26-28, 2024.
This book constitutes the proceedings of the First International Conference on Digital Product Management, ICDPM 2024, which took place in Gothenburg, Sweden, on June 12, 2024.
This book constitutes the refereed proceedings of the Second... Læs mere
This book constitutes the refereed post proceedings of the 15th... Læs mere
This book constitutes the proceedings of the 18th International Conference on Reachability... Læs mere
This book constitutes the refereed post proceedings of the 18th... Læs mere
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.