for at udvide
kategorilisten.
Softwareudvikling
-
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) -
RoboCup 2014: Robot World Cup XVIII (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Risk Assessment and Risk-Driven Testing: Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed conferenceproceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International Conference on Reversible... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reversible Computation: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International Conference on Reversible... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Requirements Engineering: Foundation for Software Quality: 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 20th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 20th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
