THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCEPDF电子书下载
- 电子书积分：13 积分如何计算积分？
- 作 者：
- 出 版 社：SPRINGER-VERLAG
- 出版年份：2007
- ISBN：9783540727873
- 页数：384 页
图书介绍：
《THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE》目录
标签：
相关图书
作者其它书籍