| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Advergaming Developer's Guide: Using Macromedia Flash MX 2004 and Director MX | | 978-1-58450-316-3 | 2004 | Rod Afshar · Duke Banerjee |
| Another Brick in the Wall | | 978-1-85868-849-7 | 2000 |
| Another Brick in the Wall: The Stories Behind Every Pink Floyd Song | | 978-0-553-06733-0 | 1997 |
| Echoes, Die Geschichte hinter jedem Pink Floyd Song 1967-1995 | | 978-3-283-00339-5 | 1996 |
| FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings | | 978-3-319-06409-3 | 2014 | Pekka Pihlajasaari · Jun Sun |
| FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September ... | | 978-3-540-63533-8 | 2007 | John Fitzgerald · Peter Lucas |
| Methods, Models and Tools for Fault Tolerance | | 978-3-642-00866-5 | 2010 | Michael Butler · Alexander Romanovsky · Elena Troubitsyna |
| Object Orientation with Parallelism and Persistence | | 978-0-7923-9770-0 | 1996 | Burkhard Freitag · Christian Lengauer · Hans-Jörg Schek |
| Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective | | 978-1-84628-110-5 | 2005 | Denis Besnard · Cristina Gacek |
| The Living History Anthology: Perspectives from ALHFAM | | 978-0-8153-8686-5 | 2018 | Martha B. Katz-Hyman · Susan J. McCabe · Mary Seelhorst |
| VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings | | 978-3-540-17654-1 | 2008 | Dines Bjorner · Erich J. Neuhold · Michael Mac An Airchinnigh |