Home Advanced Search

Advanced Search - Page 1

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.)
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
  • PDF
  • English
  • Year: 2008
  • Author: Daniel Kroening, Ofer Strichman
Decision Procedures: An Algorithmic Point of View
  • PDF
  • English
  • Year: 2016
  • Author: Daniel Kroening, Ofer Strichman (auth.)
Decision procedures : an algorithmic point of view
  • PDF
  • English
  • Year: 2008
  • Author: Daniel Kroening, Ofer Strichman, R.E. Bryant
Decision Procedures: An Algorithmic Point of View
  • PDF
  • English
  • Year: 2008
  • Author: Daniel Kroening, Ofer Strichman, R.E. Bryant
Decision Procedures: An Algorithmic Point of View
  • PDF
  • English
  • Year: 2008
  • Author: Daniel Kroening, Ofer Strichman, R.E. Bryant
The Transgender Child
  • EPUB
  • English
  • Year: 2008;2010
  • Author: Brill, Stephanie A.;Pepper, Rachel
Adipocytokines, Energy Balance, and Cancer
  • PDF
  • English
  • Year: 2017
  • Author: Ofer Reizes, Nathan A. Berger (eds.)
Advances in Structure Research by Diffraction Methods. Fortschritte der Strukturforschung mit Beugungsmethoden
  • PDF
  • English
  • Year: 1970
  • Author: R. Brill and R. Mason (Eds.)
search