| | Books 1 - 2 of 2 | Previous | Next | 
|  | | Theory and Applications of Satisfiability Testing SAT 2008: th International Conference, SAT 2008, Guangzhou, China, May 2-5, 2008, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Hans Kleine Büning (Editor), Xishun Zhao (Editor)
Hardcover, 305 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | 1 + 1 = ?: Qun ti guan li duan xiang (Di 1 ban Edition)
by Xishun Zhao
Unknown Binding, 135 Pages, Published 1987 by Xin hua shu dian Beijing fa xing suo fa xing, Di 1 ban Edition
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 2 of 2 | Previous | Next |
|