Home Advanced Search

Advanced Search - Page 1

Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Giuseppe Castagna (auth.), Mario Coppo, Elena Lodi, G. Michele Pinna (eds.)
Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Gilles Barthe (auth.), Stefano Berardi, Mario Coppo (eds.)
ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Guoqing Xu (auth.), Giuseppe Castagna (eds.)
Object-Oriented Programming A Unified Foundation
  • PDF
  • English
  • Year: 1996
  • Author: Giuseppe Castagna (auth.)
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
  • PDF
  • English
  • Year: 2004
  • Author: Robin Adams (auth.), Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Philip Wadler, Robert Bruce Findler (auth.), Giuseppe Castagna (eds.)
Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Philip Wadler, Robert Bruce Findler (auth.), Giuseppe Castagna (eds.)
search