for at udvide
kategorilisten.
Softwareudvikling
-
[email protected]: Foundations, Applications, and Roadmaps (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Modeling Companion for Software Practitioners (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Bog, Paperback / softback, Engelsk)
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
?This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This bookconstitutes the refereed proceedings of the 23rd International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model and Data Engineering: 6th International Conference, MEDI 2016, Almeria, Spain, September 21-23, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 6th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Modelling Foundations and Applications: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 13th European Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Modeling and Using Context: 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 10th International and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mobile, Secure, and Programmable Networking: Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 20th International Symposium on Model... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mobile Web and Intelligent Information Systems: 12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 12th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 22nd International Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
