交互式定理证明与程序开发 Coq归纳构造演算的艺术

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

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

羊皮卷大全集 畅销珍藏本

（美）曼狄诺等著；张权编译2011 年出版297 页ISBN：9787538865219

本书是从世界上最伟大的文献中摘选并整理出来的。 内容几乎涉及有关成功学的方方面面。这是一部人生“圣经”，如果你有志于成功的话，你不可以忽略它，这些羊皮卷里的确记载了震铄古今的大秘密，至于你能领悟到什...

司法考试刑事诉讼法完全解读 法律版

陈卫东等著2012 年出版217 页ISBN：9787511833396

为帮助广大考生正确理解新颁布的《刑事诉讼法》内容，及时交流复习及应试经验，我们拟聘请刑事诉讼法领域的司法考试命题专家对新《刑事诉讼法》的内容及相关司法考试真题作精当评析，以飨读者。本书具体内容如下...

断层相关褶皱理论与应用 以准噶尔盆地南缘地质构造为例

李本亮，管树巍等著2010 年出版270 页ISBN：9787502180843

本书综合运用断层相关褶皱理论和地震解释技术，研究了准南盆地构造演化、构造几何学和运动学建模等，确定了准南基底结构、不同期次盆地性质与构造格局，探索了构造应变恢复的数值模拟技术及前陆构造应变分析和预...

GNSS定位技术在水利水电工程中的应用

田雪冬，郭际明，郭麒麟等著2009 年出版220 页ISBN：9787807087229

本书阐述了GNSS定位技术在水利水电工程勘测设计、工程施工和运行管理各阶段中应用的基本理论、技术和方法，特别注重理论的实际应用，反映了GNSS定位技术在水利水电工程中的最新应用研究成果。...

手工艺里的智慧 中国西南少数民族文化多样性研究

秦红增，韦丹芳等著2010 年出版362 页ISBN：9787207088239

本书记录了壮族、毛南族、侗族、苗族、瑶族等少数民族中传统的手工艺制品及相关的制作工艺，具有传承意义，而且是非物质文化遗产保护的相关内容。...

伙伴协作与教育均衡

刘新成，张景斌等著2012 年出版310 页ISBN：9787504162793

教育均衡作为社会进步的重要标志，其本质目标在于追求一种理想、公平、高效、优质的教育状态。《国家中长期教育改革与发展纲要》（2010～2020）将在2020年基本实现区域内义务教育均衡发展定为战略目标。本书以国家...

用胎盘组织液治疗肺结核病的初步观察 中南医学杂志 第1卷

谭礼智，李任飞，任言永等著1951 年出版1115 页ISBN：

社会系统与社会信息 社会信息论导论

欧阳康，谢俊等著2011 年出版419 页ISBN：9787010103433

本书是国内第一本关于社会信息论研究的学术专著。该书全面系统探讨了与社会信息和社会系统相关的基本问题，提出了关于社会信息现象的科学学科的知识体系。全书内容共分五编十六章，从多种视角引出社会信息问题...

禅与心理分析

（日本）铃木大拙，（美）弗洛姆等著；孟祥森译2012 年出版275 页ISBN：9787544343992

本书是禅学大师铃木博士与本世纪最杰出的心理分析家弗洛姆合著的名作。铃木大拙是当代日本学术界的重镇，也是具有世界性声望的人物。铃木在禅学方面的贡献更受西方人的重视，由于他的英文禅学著作之极力推介给...