| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I | | 978-3-642-14164-5 | 2010 | Samson Abramsky · Cyril Gavoille · Friedhelm Meyer auf der Heide · Paul Spirakis |
| Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II | | 978-3-642-14161-4 | 2010 | Samson Abramsky · Cyril Gavoille · Friedhelm Meyer auf der Heide · Paul Spirakis |
| Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings | | 978-3-540-64675-4 | 2008 | Helene Kirchner |
| Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration | | 978-3-642-02001-8 | 2009 | Veronique Cortier · Mitsuhiro Okada · Hideki Sakurada |
| Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday | | 978-3-540-73146-7 | 2007 | Hubert Comon-Lundh |
| Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings | | 978-3-540-56868-1 | 2008 |
| Unification | | 978-0-12-409590-8 | 1991 |