| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report | 978-3-540-57499-6 | 2008 | Steve Schuman · Helmut Partsch |
| Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ... Notes in Computer Science , Band 816) | 978-3-540-58233-5 | 2008 | Jan Heering · Tobias Nipkow · Karl Meinke |
| Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers | 978-3-540-61254-4 | 2008 | Jan Heering · Gilles Dowek · Karl Meinke |
| Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings | 978-3-540-60117-3 | 2008 | |
| Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... Papers | 978-3-540-22145-6 | 2004 | R. Berghammer · Georg Struth |