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.)
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.)
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.)
Vom Universum zu den Elementarteilchen: Eine erste Einführung in die Kosmologie und die fundamentalen Wechselwirkungen
  • PDF
  • German
  • Year: 2008
  • Author: (auth.)
Das Bild zeigt das Bild selber als Abwesendes: Zu den Spannungen zwischen Kunst, Medien und visueller Kultur
  • PDF
  • German
  • Year: 2007
  • Author: (auth.)
Future Energy Grid: Informations- und Kommunikationstechnologien für den Weg in ein nachhaltiges und wirtschaftliches Energiesystem
  • PDF
  • German
  • Year: 2012
  • Author: (auth.)
search