for at udvide
kategorilisten.
Softwareudvikling
-
Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 19th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Bog, Paperback / softback, Engelsk)
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th International Colloquium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
The Semantic Web – ISWC 2017: 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I (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) -
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)
