| Titel | ISBN-13 (ISBN-10)  | Erschei- nungsjahr  | andere Autoren | 
|---|---|---|---|
| Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... / Programming and Software Engineering) | 978-3-540-32604-5 (3-540-32604-9)  | 2006 | Shmuel Ur · Eyal Bin | 
| Towards a Service-Based Internet. ServiceWave 2010 Workshops: International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December ... Notes in Computer Science, Band 6569) | 978-3-642-22759-2 (3-642-22759-7)  | 2011 | Michel Cezon |