Home Advanced Search

Advanced Search - Page 1

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
  • DJVU
  • 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
  • PDF
  • English
  • Year: 1995
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (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.)
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.)
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
  • PDF
  • English
  • Year: 1989
  • Author: Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)
Theories of types and proofs
  • DJVU
  • English
  • Year: 1998
  • Author: Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.)
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)
search