Home Advanced Search

Advanced Search - Page 1

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: C. P. Schnorr (auth.), Robert Cori, Martin Wirsing (eds.)
Automata, Languages and Programming: Eighth Colloquium Acre (Akko), Israel July 13–17, 1981
  • PDF
  • English
  • Year: 1981
  • Author: C. P. Schnorr (auth.), Shimon Even, Oded Kariv (eds.)
Automata, Languages and Programming: Eighth Colloquium Acre (Akko), Israel July 13–17, 1981
  • DJVU
  • English
  • Year: 1981
  • Author: C. P. Schnorr (auth.), Shimon Even, Oded Kariv (eds.)
Advances in Cryptology — EUROCRYPT ’95: International Conference on the Theory and Application of Cryptographic Techniques Saint-Malo, France, May 21–25, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: C. P. Schnorr, H. H. Hörner (auth.), Louis C. Guillou, Jean-Jacques Quisquater (eds.)
Advances in Cryptology — EUROCRYPT ’95: International Conference on the Theory and Application of Cryptographic Techniques Saint-Malo, France, May 21–25, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: C. P. Schnorr, H. H. Hörner (auth.), Louis C. Guillou, Jean-Jacques Quisquater (eds.)
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (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.)
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.)
Methods of Programming: Selected Papers on the CIP-Project
  • DJVU
  • English
  • Year: 1991
  • Author: Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)
search