Home Advanced Search

Advanced Search - Page 1

Security in Pervasive Computing: Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Howard Chivers (auth.), John A. Clark, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke (eds.)
Model Driven Architecture – Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack (auth.), Ina Schieferdecker, Alan Hartman (eds.)
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Benjamin C. Pierce (auth.), Rocco De Nicola, Davide Sangiorgi (eds.)
Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Luís Caires, Luca Cardelli (auth.), Naoki Kobayashi, Benjamin C. Pierce (eds.)
Types and Programming Languages
  • PDF
  • English
  • Year: 2002
  • Author: Benjamin C. Pierce
Types and Programming Languages
  • PDF
  • English
  • Year: 2002
  • Author: Benjamin C. Pierce