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.)
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.)
Database and XML Technologies: Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Giuseppe Castagna (auth.), Stéphane Bressan, Stefano Ceri, Ela Hunt, Zachary G. Ives, Zohra Bellahsène, Michael Rys, Rainer Unland (eds.)
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida (auth.), Marcello M. Bonsangue, Einar Broch Johnsen (eds.)
Cominciare dal bambino
  • EPUB
  • Italian
  • Year: 2022
  • Author: Mario Lodi
Il drago del vulcano e altre storie
  • EPUB
  • Italian
  • Year: 2022
  • Author: Mario Lodi
search