| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, ... Notes in Computer Science, Band 1617) | 978-3-540-66086-6 (3-540-66086-0) | 2008 | |
| Coordination Models and Languages | 978-3-540-25630-4 (3-540-25630-X) | 2005 | Jean M. Jacquet · Gian P. Picco |
N M · N.V. · Neil M. · Neil Murray · V Murray