| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings | Taschenbuch | 978-3-540-67959-2 | 2000 | ||
| Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers | " | 978-3-540-58277-9 | 2008 | Egon B??rger · Karl Meinke | |
| Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers | Paperback | 978-0-387-58277-1 | 1994 | Egon Borger | |
| Semantics of Programming Languages and Model Theory | Relié | 978-2-88124-935-8 | 1993 | Manfred Droste | |
| Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers | Taschenbuch | 978-3-540-73769-8 | 2007 | Bertrand Meyer | |
| The Classical Decision Problem | " | 978-3-540-42324-9 | 2008 | Egon Borger · Erich Gradel | |
| The Classical Decision Problem | Gebunden | 978-3-540-57073-8 | 1996 | Egon Börger · Erich Grädel | |