for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the informatics and cybernetics in... Læs mere
This book is an introductory text on design science, intended to support both graduate students and researchers in structuring, undertaking and presenting design science work.
This book constitutes the refereed proceedings of the 12th IFIP WG... Læs mere
This book constitutes the refereed proceedings of the 12th IFIP WG... Læs mere
The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering.
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking... Læs mere
This book constitutes the refereed proceedings of the 14th International... Læs mere
This volume constitutes the refereed proceedings of the 28th European... Læs mere
They provide a comprehensive overview of major challenges and recent... Læs mere
This book constitutes the refereed proceedings of the 21st International... Læs mere