Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.)
Decision Procedures: An Algorithmic Point of View
Decision Procedures: An Algorithmic Point of View
  • PDF
  • English
  • Year: 2016
  • Author: Daniel Kroening, Ofer Strichman (auth.)
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Ofer Strichman, Rachel Tzoref-Brill (eds.)
The Inscription from Failaka and the Lapidary Aramaic Script
  • PDF
  • English
  • Author: Naveh J.
Tutorials on the Foundations of Cryptography: Dedicated to Oded Goldreich
Tutorials on the Foundations of Cryptography: Dedicated to Oded Goldreich
  • PDF
  • English
  • Year: 2017
  • Author: Yehuda Lindell (eds.)
World Politics Simulations in a Global Information Age
World Politics Simulations in a Global Information Age
  • EPUB
  • English
  • Year: 2015
  • Author: Ben-Yehuda, Hemda;Levin-Banchik, Luba;Naveh, Chanan
World politics simulations in a global information age
World politics simulations in a global information age
  • PDF
  • English
  • Year: 2015
  • Author: Ben-Yehuda, Hemda;Levin-Banchik, Luba;Naveh, Chanan
Handbuch der Audiotechnik
Handbuch der Audiotechnik
  • PDF
  • German
  • Year: 2008
  • Author: Stefan Weinzierl (auth.), Stefan Weinzierl (eds.)
search