2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
2009 年出版226 页ISBN：9787541635069
本书对初中化学所学的化学知识进行了知识疏理、考点、热点剖析点拔，经典例题解析，基础练习，真题再现，考点归纳，应试能力讲解，还附有大量中考模拟试题等。能较好地帮助中考学生取得较好的成绩。...
2004 年出版235 页ISBN：7306023071
本书包括两个部分：第一部分是运筹学各章节习题类型归纳与解析；第二部分是运筹学习题库，这部分的题全部都给出了正确的答案，有的还给出了解题的全过程。...
2005 年出版240 页ISBN：7801449800
本书将《中日交流标准日本语》初级版中所有的句型汇集一起，并进行了详解。
2005 年出版219 页ISBN：7541622435
本书旨在帮助学生高效、直接、全面系统复习和巩固物理考点、提高物理知识综合运用及应试能力。
2006 年出版202 页ISBN：7536679785
本书为国内有关专家在“重庆市干部历史与文化讲座”上的演讲稿集萃。内容涉及区域建筑文化及其保护，移民与中国历史，关于当前我国国家文化安全的形势与对策，从世界历史看文明兴衰的规律，经济全球化和民族文化的...
2005 年出版186 页ISBN：7541622443
本书旨在帮助学生高效、直接、全面系统复习和巩固化学考点，提高化学知识综合运用及应试的能力。
2005 年出版280 页ISBN：7541622451
本书结合当前语文中考考题题型及命题趋向及最新信息，以及对近年来所有中考考题的研究所得，旨在帮助学生高效、直接、全面系统复习和巩固语文考点。...
2006 年出版113 页ISBN：7810907271
本书是针对江苏省计算机等级考试而编写的学习指导用书。
2004 年出版432 页ISBN：7801834208
本书汇集了历年考研数学的一些典型例题，将重点难点进行归纳总结。
2004 年出版570 页ISBN：7560932525
本书根据考研数学最新考试大纲的要求，对第1版《考研数学（数学二）常考题型及其方法技巧归纳》进行修订而成。本书强调对考研数学大纲划定的基本概念、定理、基本方法和基本公式的正确理解，这些都是考研者必须掌...
2003 年出版285 页ISBN：750193987X
本书对归纳性课程与教学的原理作了详细介绍，并运用具体生动的课堂实录形象地说明了归纳教学模式的操作流程，深入阐释了归纳的方法在各学科领域教与学的应用。...
2006 年出版386 页ISBN：7800805905
本书把同义词汇和同类词汇分别归类，介绍了利用记忆相关词汇提高词汇量的方法，分为教育、生物、天文地理、科研、企业、文化、生活、社会问题、体育运动等。 ...
2005 年出版651 页ISBN：7560935788
本书是根据2006年MBA联考数学考试大纲，分析、总结、归纳了近年来，特别是2003年以来MBA联考试卷小题型及其解题方法技巧编写而成，讲述了各类题型的解题思想、常用方法与技巧，由浅入深，分析透彻、解答详尽量，适于自...
2005 年出版327 页ISBN：7801449819
本书将《中日交流标准日本语》中级版中所有的句型汇集一起，并进行了详解。
