Home Advanced Search

Advanced Search - Page 1

The Deductive Spreadsheet
  • PDF
  • English
  • Year: 2013
  • Author: Iliano Cervesato (auth.)
Advances in Computer Science – ASIAN 2007. Computer and Network Security: 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Andrei Sabelfeld (auth.), Iliano Cervesato (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
Advances in temporal logic
  • DJVU
  • English
  • Year: 2000
  • Author: Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)
Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov (auth.), Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)
Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov (auth.), Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)
Il riso. Saggio sul significato del comico
  • EPUB
  • Italian
  • Year: 2018
  • Author: Henri Bergson [Arnaldo Cervesato, Carmine Gallo] (a cura di)
Boekblok Cliënt & medezeggenschap in de zorg
  • PDF
  • Dutch
  • Year: 2009
  • Author: (auth.)
Intelligente Objekte — Klein, Vernetzt, Sensitiv: Eine Neue Technologie Verändert Die Gesellschaft und Fordert zur Gestaltung Heraus
  • PDF
  • German
  • Year: 2009
  • Author: (auth.)
search