温晓亮；江晶瑶；柴冒臣2017 年出版172 页ISBN：9787569200928
认知语言学这个名称，有广义和狭义两种理解。语言能力不是一种特殊的认知能力，它同人的一般认知能力没有什么本质上的差别，这就是狭义的“认知语言学”。本书分为六章，从六个角度对认知语言进行研究，主要是狭义的...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（美）艾伯茨，（美）布雷，（美）霍普金等著；丁晓燕，陈跃磊等译2012 年出版806 页ISBN：9787030330154
本书从分子、细胞与组织层次对细胞生物学的内容作了系统阐述，反映了该学科的最新进展。分别阐述细胞的基本概念，细胞的化学成分，细胞中能量代谢及生物合成，细胞内蛋白质、DNA的结构与功能，细胞中膜的结构、膜的...
（美）R.A.科比特主编；郑正 韩永忠 王勇等译2003 年出版25 页ISBN：7030103416
《环境工程标准手册》内容涉及环境工程概述、大气和水的有关质量标准、大气污染控制、给排水、暴雨管理、固体废弃物、危险废物、环境法规和环境评价等。...
（美）R.A.科比特主编；郑正 韩永忠 王勇等译2003 年出版131 页ISBN：7030103416
《环境工程标准手册》内容涉及环境工程概述、大气和水的有关质量标准、大气污染控制、给排水、暴雨管理、固体废弃物、危险废物、环境法规和环境评价等。...
（美）R.A.科比特主编；郑正 韩永忠 王勇等译2003 年出版118 页ISBN：7030103416
《环境工程标准手册》内容涉及环境工程概述、大气和水的有关质量标准、大气污染控制、给排水、暴雨管理、固体废弃物、危险废物、环境法规和环境评价等。...
（美）费吉鲍姆（Feigenbaum，E.A.），（美）麦考黛克（Mccorduck，P.）著；江致远等译1985 年出版282 页ISBN：13311·16
（美）Christopher Negus，（美）Thomas Weeks著；盖江南，王勇等译2005 年出版502 页ISBN：7121011956
本书选择Fedora（开放源代码社区主持的Linux发行版项目）来举例说明Linux故障排除的步骤，并以通用的命令行工具和基于文本的配置文件为讲述重点，逐步引导读者一步一步解决在使用Linux时可能会遇到的各种故障问题...
