温晓亮;江晶瑶;柴冒臣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
瑾国皇子璇璞遭继母陷害后流落民间,意外结识奇术传人夙莨,蛇妖黑崎,御音师谷梁轩,虫妖蜉漓,为寻找其消失多年的琴艺师父公孙锦,展开一段充满奇遇的旅程,冒险途中,众人身上的谜团被一个一个解开,在爱情宿命,......