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.)
Automata Networks: LITP Spring School on Theoretical Computer Science Argelès-Village, France, May 12–16, 1986 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: Christian Choffrut (auth.), C. Choffrut (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.)
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.)
Foundations of Computer Science: Potential — Theory — Cognition
  • PDF
  • English
  • Year: 1997
  • Author: F. L. Bauer (auth.), Christian Freksa, Matthias Jantzen, Rüdiger Valk (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.)
Algebraic Methods: Theory, Tools and Applications
  • DJVU
  • English
  • Year: 1989
  • Author: Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.)
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.)
search