色彩归纳写生相关电子书下载

YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

黄美华等编著2004 年出版318 页ISBN：7801447352

本书内容涉及出题形式，听力方法，类型特征，难点突破以及出题倾向等考生急需了解和掌握的相关知识。

黄美华等编著2003 年出版330 页ISBN：7801447093

本书内容涉及出题形式、听解方法、类型特征、难点破解以及出题倾向等考生急需了解和掌握的相关知识。

梅述恩2017 年出版451 页ISBN：9787568022521

本书包括运筹学13章内容，涵盖全国各高校的硕士生和博士生的入学考试范围，包括线性规划和单纯形法、对偶理论和灵敏度分析、运输问题、目标规划、整数规划、非线性规划、动态规划、图与网络优化、网络计划与图...

刘文照，（日）海老原博编著2015 年出版223 页ISBN：9787562841142

本书是一本依据词性进行讲解编排的词汇书，讲解细致全面，贴心标出重点词汇与一般词汇，帮助考生迅速把握考试重点。每个词性单元后配备模拟真题练习，题目设置均符合新考试要求，通过仿真题型联系，帮助考生提前熟悉.....

刘文照，（日）海老原博编著2015 年出版321 页ISBN：9787562841470

刘文照，（日）海老原博编著2015 年出版401 页ISBN：9787562841463

刘文照，（日）海老原博编著2015 年出版167 页ISBN：9787562841388

刘文照，（日）海老原博编著2015 年出版398 页ISBN：9787562841456

本书是一本依据词性进行讲解编排的能力考试词汇书，讲解细致全面，贴心标出重点词汇与一般词汇，帮助考生迅速把握考试重点。每个词性单元后配备模拟真题练习，题目设置均符合新考试要求，通过仿真题型联系，帮助考生.....

马骏，黄美华著2003 年出版421 页ISBN：7801445546

本书内容涉及出题形式、解题方式以及出题倾向等考生急需了解和掌握的语法知识。