| 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 | 1996 | Maurice Nivat |
| Algebraic Methods: Theory, Tools and Applications | | 978-3-540-51698-9 | 1989 | Jan A. Bergstra |
| Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and ... | | 978-3-642-00592-3 | 2009 | Marsha Chechik |
| Methods of Programming: Selected Papers on the CIP-Project | | 978-3-540-54576-7 | 1991 | Manfred Broy |
| 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 | 2004 | Simonetta Balsamo · Alexander Knapp |
| 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 | 2003 | Dirk Pattinson · Rolf Hennicker |
| STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 | | 978-3-540-17219-2 | 1987 | Franz J. Brandenburg · Guy Vidal-Naquet |
| Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings | | 978-3-540-29107-7 | 2005 | Dang Van Hung |
| Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings | | 978-3-540-22511-9 | 2004 | Nora Koch · Fraternali, Piero |