| Titel | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
| Adapting Proofs-as-Programs: The Curry-Howard Protocol | | 978-0-387-23759-6 | 2005 | Iman Poernomo · John N. Crossley |
| Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings | | 978-3-540-61463-0 | 2008 | 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 ... Computer Science and General Issues) | | 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 | 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 | 2003 | Dirk Pattinson · Rolf Hennicker |
| Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing ... / Programming and Software Engineering) | | 978-3-642-20400-5 | 2011 | Matthias Hölzl |
| Software-Intensive Systems and New Computing Paradigms: Challenges and Visions | | 978-3-540-89436-0 | 2008 | Jean-Pierre Banâtre · Matthias Hölzl |
| 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 |
| STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings | | 978-3-540-18834-6 | 1988 | Robert Cori |
| 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 |
| Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers | | 978-3-642-15639-7 | 2010 | Martin Hofmann · Axel Rauschmayer |
| Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings | | 978-3-540-22511-9 | 2004 | Nora Koch · Piero Fraternali |