| Titel | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
| Adapting Proofs-as-Programs: The Curry-Howard Protocol | | 978-0-387-23759-6 | 2005 | Iman Hafiz Poernomo · John Newsome Crossley |
| Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings | | 978-3-540-61463-0 | 2007 | Maurice Nivat |
| Algebraic Methods: Theory, Tools and Applications | | 978-3-540-51698-9 | 2007 | Jan A. Bergstra |
| Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers | | 978-3-540-21179-2 | 2007 | Alexander Knapp · Simonetta Balsamo |
| Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers | | 978-3-540-20537-1 | 2007 | Dirk Pattinson · Rolf Hennicker |
| Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings | | 978-3-540-29107-7 | 2007 | Dang Van Hung |
| Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings | | 978-3-540-22511-9 | 2007 | Nora Koch · Piero Fraternali |