| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, ... Computer and Information Science, Band 683) | 978-3-319-51640-0 | 2016 | |
| Process Design for Natural Scientists: An Agile Model-Driven Approach | 978-3-662-45005-5 | 2014 | Tiziana Margaria |
| Software Business: 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings | 978-3-319-40514-8 | 2016 | Andrey Maglyas |
| User-Level Workflow Design: A Bioinformatics Perspective | 978-3-642-45388-5 | 2013 | |