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
本书将《中日交流标准日本语》中级版中所有的句型汇集一起,并进行了详解。