| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers | Taschenbuch | 978-3-662-45916-4 (3-662-45916-7) | 2015 | Matteo Maffei |
| Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers | " | 978-3-319-08259-2 (3-319-08259-0) | 2014 | Chun Ouyang |
| Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers | Paperback | 978-3-319-08261-5 (3-319-08261-2) | 2014 | Ouyang Chun |