| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Adapting Proofs-As-Programs | Broschiert | | 978-0-387-50372-1 | 2008 | Iman Hafiz Poernomo · John Newsome Crossley |
| Adapting Proofs-as-Programs: The Curry--Howard Protocol | Hardcover | | 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 | Taschenbuch | | 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 ... Notes in Computer Science, Band 5503) | " | | 978-3-642-00592-3 | 2009 | Marsha Chechik |
| Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java: Eine Einführung in die Software-Entwicklung mit Java | " | | 978-3-642-28503-5 | 2013 | Matthias Hölzl · Allaithy Raed |
| Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings | " | | 978-3-319-25158-5 | 2015 | Songmao Zhang · Zili Zhang |
| Methods of Programming: Selected Papers on the CIP-Project | " | | 978-3-540-54576-7 | 2008 | Manfred Broy |
| Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings | Paperback | | 978-3-662-20056-8 | 2014 | Jan Maluszynski |
| Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings | Taschenbuch | | 978-3-540-54444-9 | 2008 | " |
| Programming Language Implementation and Logic Programming: 4Th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992 Proceedings ... Notes in Computer Science , Band 631) | " | | 978-3-540-55844-6 | 1992 | Maurice Bruynooghe |
| Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... Notes in Computer Science , Band 2941) | " | | 978-3-540-21179-2 | 2008 | Alexander Knapp · Simonetta Balsamo |
| Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... Notes in Computer Science , Band 2755) | " | | 978-3-540-20537-1 | 2008 | Rolf Hennicker · Dirk Pattinson |
| Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing | " | | 978-3-642-20400-5 | 2011 |
| Software Engineering for Collective Autonomic Systems: The ASCENS Approach | " | | 978-3-319-16309-3 | 2015 | Matthias Hölzl · Nora Koch · Philip Mayer |
| Software-Intensive Systems and New Computing Paradigms: Challenges and Visions | " | | 978-3-540-89436-0 | 2008 | Jean-Pierre Banâtre · Matthias Hölzl · Axel Rauschmayer |
| STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 | " | | 978-3-540-17219-2 | 2008 | Guy Vidal-Naquet · Franz J. Brandenburg |
| STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings | " | | 978-3-540-18834-6 | 2008 | Robert Cori |
| Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium Hanoi, Vietnam, October 17-21, 2005 Proceedings | " | | 978-3-540-29107-7 | 2009 | 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 | 2008 | Piero Fraternali · Nora Koch |