for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the thoroughly refereed scientific proceedings of the 6th... Læs mere
This textbook describes the approaches used by software engineers to build quality into their software. examines all aspects of the software development process,... Læs mere
This book contains the extended and revised versions of selected papers from the Third International Symposium on Business Modeling and Software Design (BMSD 2013), held in Noordwijkerhout, The Netherlands, during July 8-10, 2013.
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.
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.
This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014.
This book constitutes the refereed proceedings of the 8th International Conference on... Læs mere
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.