Home Advanced Search

Advanced Search - Page 1

Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Benjamin C. Pierce (auth.), Richard F. Paige (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.)
Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Tim Trew (auth.), Richard F. Paige, Alan Hartman, Arend Rensink (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
Basic Category Theory for Computer Scientists
  • PDF
  • English
  • Year: 1991
  • Author: Benjamin C. Pierce
Basic Category Theory for Computer Scientists
  • PDF
  • English
  • Year: 1991
  • Author: Benjamin C. Pierce
Basic category theory for computer scientists
  • DJVU
  • English
  • Year: 1991
  • Author: Benjamin C Pierce
Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Wilhelm Schäfer (auth.), Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige (eds.)
search