Home Advanced Search

Advanced Search - Page 1

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Handbook of satisfiability
  • PDF
  • English
  • Year: 2021
  • Author: Armin Biere
First-Order Dynamic Logic
  • DJVU
  • English
  • Year: 1979
  • Author: David Harel (eds.)
First-Order Dynamic Logic
  • PDF
  • English
  • Year: 1979
  • Author: David Harel (eds.)
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: David Harel, Hillel Kugler (auth.), Shen Yu, Andrei Păun (eds.)
Future Internet Testing: First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Tanja E.J. Vos, Kiran Lakhotia, Sebastian Bauersfeld (eds.)
電腦也搞不定 (-a Taiwanese translation of David Harel's Computers Ltd.-)
  • PDF
  • Chinese
  • Year: 2002
  • Author: David Harel
search