| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday | Taschenbuch | | 978-3-540-35462-8 | 2006 | Kokichi Futatsugi · Jose Meseguer |
| Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings | " | | 978-3-642-25378-2 | 2011 | Zhong Shao |
| Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings | " | | 978-3-540-19242-8 | 2008 | Stephane Kaplan |
| Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings | " | | 978-3-540-58403-2 | 2008 |
| Functional Programming Languages and Computer Architecture: Nancy, France, September 16-19, 1985 | Paperback | | 978-0-387-15975-1 | 1986 |
| Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985 | Taschenbuch | | 978-3-540-15975-9 | 2008 |
| Rewriting Techniques and Applications | Paperback | | 978-0-12-390960-2 | 1987 |
| Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 | Taschenbuch | | 978-3-540-15976-6 | 2008 |
| Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 | Paperback | | 978-0-387-15976-8 | 1986 |
| TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 Proceedings | Taschenbuch | | 978-3-540-56610-6 | 2009 | Marie-Claude Gaudel |
| Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course | " | | 978-3-540-59340-9 | 2008 | Hubert Comon |