Home Advanced Search
Advanced Search - Page 1
Decision procedures : an algorithmic point of view
- English
- Year: 2008
- Author: Daniel Kroening, Ofer Strichman, R.E. Bryant
Decision Procedures: An Algorithmic Point of View
- 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
- English
- Year: 2017
- Author: Ofer Strichman, Rachel Tzoref-Brill (eds.)
Containerizing Continuous Delivery in Java
- English
- Year: 2018
- Author: Daniel Bryant
Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
- English
- Year: 2010
- Author: Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.)
Paradoxic Paradigm: An exercise in thought
- EPUB
- English
- Year: 2016
- Author: Daniel Mark Bryant
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
- English
- Year: 2015
- Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
- English
- Year: 2015
- Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
The Masora on Scripture and Its Methods (Fontes Et Subsidia Ad Bibliam Pertinentes, 7)
- English
- Year: 2018
- Author: Yosef Ofer