Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advanced Information Systems Engineering Workshops: CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory and Practice of Model Transformations: 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Agile Project Management: Managing for Success (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science and Its Applications - ICCSA 2014: 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 204, Proceedings, Part III (Bog, Paperback / softback, Engelsk)
The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Autonomy Requirements Engineering for Space Missions (Bog, Hardback, Engelsk)
Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs. Elicitation... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
The papers are organized in topical sections on fault injection... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
software architectures and their models, refinement and verification;... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume constitutes the thoroughly refereed post-conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Quality. Software and Systems Quality in Distributed and Mobile Environments: 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
