| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings | 978-3-540-22345-0 (3-540-22345-2) | 2008 | David Basin |
| Rewriting Techniques and Applications: 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings: International Conference, ... 10th | 978-3-540-66201-3 (3-540-66201-4) | 1999 | Paliath Narendran |