THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN:
THE MANY FACES OF CHANGE EXPLORATIONS IN THE THEORY OF SOCIAL CHANGE
PAUL MEADOWS1971 年出版308 页ISBN:
计算机辅助设计课程教学规划教材 PRO/ENGINEER WILDFIRE 3.0中文版标准实例教程
单泉,狄长春,吴高阳等编著2006 年出版283 页ISBN:7111199553
本书介绍了基本操作,草图绘制,基准特征等知识。