Search
Lexile Level
AR Level
AR Level
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, Uk, July 11-14, 2010, Proceedings (2 9783642141850 by
Strichman, Ofer -
Springer,
-2010
Dewey: 004.0151
N/A
Decision Procedures: An Algorithmic Point of View 9783662504963 by
Kroening, Daniel -
Springer,
-2017
Dewey: 519.542
N/A
Decision Procedures: An Algorithmic Point of View (2008) 9783540741046 by
Kroening, Daniel -
Springer,
-2008
Dewey: 519.542
N/A
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, Hvc 2017, Haifa, Israel, November 13-15, 2017, Proc 9783319703886 by
Strichman, Ofer -
Springer,
-2017
Dewey: 004.6
N/A
Decision Procedures: An Algorithmic Point of View (Softcover Reprint of the Original 2nd 2016) 9783662570654 by
Kroening, Daniel -
Springer,
-2018
Dewey: 519.542
N/A