温晓亮；江晶瑶；柴冒臣2017 年出版172 页ISBN：9787569200928
认知语言学这个名称，有广义和狭义两种理解。语言能力不是一种特殊的认知能力，它同人的一般认知能力没有什么本质上的差别，这就是狭义的“认知语言学”。本书分为六章，从六个角度对认知语言进行研究，主要是狭义的...
封建武，温高峰主编2009 年出版329 页ISBN：9787114078378
本书结合当前公路建设热点和难点问题，将对沥青路面水损害的机理和处治技术进行了系统详尽分析，既具备一定的理论水平，又与实际紧密结合，选题及时准确。本书作者长期在公路建设和养护一线从事技术工作，具备扎实的...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
李家坤，朱华杰主编；王卫卫，余海明，陈子文等副主编；陈光会主审2010 年出版315 页ISBN：9787562932673
本书主要介绍发电厂及变电站电气一次部分的知识。全书共11章，内容包括绪论、电力系统中性点的运行方式、电弧及电气触头、电气设备及载流导体、电气主接线、发电厂和变电站的自用电、配电装置、短路电流计算...
杨海明著2010 年出版331 页ISBN：9787811301885
本书作者杨海明先生曾师从著名词学专家唐圭璋先生，长期从事中国古代文学的教学和研究工作，尤其专注于唐宋词的研究，曾出版和发表过多部著作和文章。本丛书共8册，为作者多年来学术研究成果的汇编。本书为作者继...
高祀亮，顾海明编著2010 年出版302 页ISBN：9787509718667
本书集作者二十多年文献检索教学经验与研究成果，以计算机检索为主要检索手段，详细阐述了人文社科信息资源、主要数据库、检索系统及其检索途径与检索方法。全书共分十章，综述了人文社科信息检索基本知识，分别介...
温暮生著2016 年出版243 页ISBN：7555232030
瑾国皇子璇璞遭继母陷害后流落民间，意外结识奇术传人夙莨，蛇妖黑崎，御音师谷梁轩，虫妖蜉漓，为寻找其消失多年的琴艺师父公孙锦，展开一段充满奇遇的旅程，冒险途中，众人身上的谜团被一个一个解开，在爱情宿命，......
温暮生著2016 年出版474 页ISBN：7555232030
瑾国皇子璇璞遭继母陷害后流落民间，意外结识奇术传人夙莨，蛇妖黑崎，御音师谷梁轩，虫妖蜉漓，为寻找其消失多年的琴艺师父公孙锦，展开一段充满奇遇的旅程，冒险途中，众人身上的谜团被一个一个解开，在爱情宿命，......
