for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions.
This book constitutes the proceedings of the 13th International Workshop on Security and... Læs mere
This book constitutes the proceedings of the 18th International System... Læs mere
The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions.
They provide service developers and providers with a secure service development framework that includes methods, tools, and security... Læs mere
The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects.
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning,... Læs mere
This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017.
This book gives an introduction to the programming language Scala. The book explains with detail functional... Læs mere