Home Advanced Search

Advanced Search - Page 1

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.)
The Deductive Spreadsheet
  • PDF
  • English
  • Year: 2013
  • Author: Iliano Cervesato (auth.)
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.)
Computer Security – ESORICS 2006: 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Michael P. Collins, Michael K. Reiter (auth.), Dieter Gollmann, Jan Meier, Andrei Sabelfeld (eds.)
Cancer Genome and Tumor Microenvironment
  • PDF
  • English
  • Year: 2010
  • Author: Andrei Thomas-Tikhonenko (auth.), Andrei Thomas-Tikhonenko (eds.)
Network Control and Engineering for QoS, Security and Mobility, IV: Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, Lannion, France, November 14–18, 2005
  • PDF
  • English
  • Year: 2007
  • Author: Andrei P. Kirilyuk (auth.), Dominique Gaïti (eds.)
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.)
Algebraic Geometry and Number Theory: In Honor of Vladimir Drinfeld’s 50th Birthday
  • PDF
  • English
  • Year: 2006
  • Author: Alex Eskin, Andrei Okounkov (auth.), Victor Ginzburg (eds.)
search