for at udvide
kategorilisten.
Softwareudvikling
-
The Semantic Web – ISWC 2017: 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 11th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 278th IFIP WG 6.1... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Tackling Society's Grand Challenges with Design Science: 11th International Conference, DESRIST 2016, St. John’s, NL, Canada, May 23-25, 2016, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Systems and Software Verification: Model-Checking Techniques and Tools (Bog, Paperback / softback, Engelsk)
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the 6th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed workshop proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
