Home Advanced Search

Advanced Search - Page 1

Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (auth.)
The Parametric Lambda Calculus: A Metamodel for Computation
  • PDF
  • English
  • Year: 2004
  • Author: Simona Ronchi Della Rocca, Luca Paolini
Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Frank Pfenning (auth.), Simona 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.)
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.)
The Parmenidean Ascent
  • PDF
  • English
  • Year: 2020
  • Author: Michael Della Rocca
The Parmenidean Ascent
  • AZW3
  • English
  • Author: Michael Della Rocca
The Parmenidean Ascent
  • EPUB
  • English
  • Author: Michael Della Rocca