Home Advanced Search

Advanced Search - Page 1

Iranian Loanwords in Syriac
  • PDF
  • English
  • Year: 2008
  • Author: Claudia A. Ciancaglini
Theories of types and proofs
  • DJVU
  • English
  • Year: 1998
  • Author: Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.)
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro (auth.), Cosimo Laneve, Jianwen Su (eds.)
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro (auth.), Cosimo Laneve, Jianwen Su (eds.)
International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
  • DJVU
  • English
  • Year: 1982
  • Author: Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)
International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
  • PDF
  • English
  • Year: 1982
  • Author: Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)
Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović (auth.), Julio Mariño (eds.)
Representing Culture : Essays on Identity, Visuality and Technology
  • PDF
  • English
  • Year: 2008
  • Author: Claudia Alvares; Claudia Alvares
search