Home Advanced Search

Advanced Search - Page 1

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)
Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)
ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Martín Abadi (auth.), Luca Cardelli (eds.)
A theory of objects
  • DJVU
  • English
  • Year: 1996
  • Author: Martín Abadi, Luca Cardelli
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Donald Sannella (auth.), Annalisa Bossi (eds.)
Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers
  • DJVU
  • English
  • Year: 1997
  • Author: Luca Cardelli (auth.), Jan Vitek, Christian Tschudin (eds.)
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Luca Cardelli, Giorgio Ghelli (auth.), David Sands (eds.)
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Robin Milner (auth.), Martín Abadi, Takayasu Ito (eds.)
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)
search