for at udvide
kategorilisten.
Softwareudvikling
-
Dynamic Data-Driven Environmental Systems Science: First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Distributed Applications and Interoperable Systems: 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Pro (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 30th International Symposium on Distributed Computing, DISC 2016, held in Paris, France, in September 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Distributed Applications and Interoperable Systems: 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2 (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 16th IFIP International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Distributed Applications and Interoperable Systems: 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19–22, (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 17th IFIP International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Bog, Paperback / softback, Engelsk)
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Design Science at the Intersection of Physical and Virtual Design: 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2013, held in Helsinki, Finland, in June 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Designing the Digital Transformation: 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 12th International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the Third International Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-proceedings of the 10th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
