Home Advanced Search

Advanced Search - Page 1

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Andrew W. Appel (auth.), Gilles Barthe (eds.)
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.)
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
  • PDF
  • English
  • Year: 1990
  • Author: Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.)
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings
  • PDF
  • English
  • Year: 1984
  • Author: R. Burstall, B. Lampson (auth.), Gilles Kahn, David B. MacQueen, Gordon Plotkin (eds.)
Modern Compiler Implementation in ML
  • PDF
  • English
  • Year: 2004
  • Author: Andrew W. Appel
Compiling with Continuations
  • DJVU
  • English
  • Year: 2007
  • Author: Andrew W. Appel
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.)
search