Home Advanced Search

Advanced Search - Page 1

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
  • PDF
  • English
  • Year: 2011
  • Author: Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
  • PDF
  • English
  • Year: 2008
  • Author: Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)
Java kompakt: Eine Einführung in die Software-Entwicklung mit Java
  • PDF
  • German
  • Year: 2013
  • Author: Matthias Hölzl, Allaithy Raed, Martin Wirsing (auth.)
Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)
STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Marie-Claude Gaudel (auth.), Alain Finkel, Matthias Jantzen (eds.)
STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Eric Allender, Richard Beigel, Ulrich Hertrampf, Steven Homer (auth.), Christian Choffrut, Thomas Lengauer (eds.)
Methods of Programming: Selected Papers on the CIP-Project
  • DJVU
  • English
  • Year: 1991
  • Author: Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)
Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)
search