for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
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) -
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)
