Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Secure and Trustworthy Service Composition: The Aniketos Approach (Bog, Paperback / softback, Engelsk)
They provide service developers and providers with a secure service development framework that includes methods, tools, and security... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
SafeScrum® – Agile Development of Safety-Critical Software (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Scalable Uncertainty Management: 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Scala: From a Functional Programming Perspective: An Introduction to the Programming Language (Bog, Paperback / softback, Engelsk)
This book gives an introduction to the programming language Scala. The book explains with detail functional... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Rule Technologies. Research, Tools, and Applications: 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings (Bog, Paperback / softback, Engelsk)
It is devoted to rule-based programming and rule-based systems including... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Risk Assessment and Risk-Driven Quality Assurance: 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed conference proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the revised selected papers from the 11th International Conference on Risk and Security of Internet and Systems, CRISIS 2016, held in Roscoff, France, in September 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Risks and Security of Internet and Systems: 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the revised selected papers from the 12th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
