| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Interactive Computation: The New Paradigm | Taschenbuch | 978-3-642-07102-7 | 2010 | Dina Goldin · Peter Wegner | |
| Interactive Computation: The New Paradigm | Gebunden | 978-3-540-34666-1 | 2006 | Dina Goldin · Peter Wegner | |
| Introduction to Operating System Design and Implementation: The OSP 2 Approach | Paperback | 978-1-84628-842-5 | 2007 | Michael Kifer | |
| OSP System | Printed Access Code | 978-0-321-31451-2 | 2005 | " | |
| Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings | Taschenbuch | 978-3-319-11163-6 | 2014 | Borzoo Bonakdarpour |
A. S. · s. a. · S A S · S.A. Smolka · S S · Scott A. · Scott Smolka