温晓亮；江晶瑶；柴冒臣2017 年出版172 页ISBN：9787569200928
认知语言学这个名称，有广义和狭义两种理解。语言能力不是一种特殊的认知能力，它同人的一般认知能力没有什么本质上的差别，这就是狭义的“认知语言学”。本书分为六章，从六个角度对认知语言进行研究，主要是狭义的...
封建武，温高峰主编2009 年出版329 页ISBN：9787114078378
本书结合当前公路建设热点和难点问题，将对沥青路面水损害的机理和处治技术进行了系统详尽分析，既具备一定的理论水平，又与实际紧密结合，选题及时准确。本书作者长期在公路建设和养护一线从事技术工作，具备扎实的...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
孙丽娜，董昊，鱼涛等主编；尹丽莉，吴婷，赵娜等副主编；王冰，刘彦，陶亚楠等编委2015 年出版366 页ISBN：9787515909592
本书为中英对照的阅读类图书，为具有一定英语基础的英语学习者和热爱英语学习的读者打造。本书主要选取了英国各大名校的名人经典演讲，分为国家元首、政治名流、商界精英、知名学者和文艺明星五个模块，在每篇演...
殷国富，胡晓兵主编；夏晴等编写；数字化手册编委会编2005 年出版96 页ISBN：7111155882
本书由常用资料、非金属材料和工程计算器三大功能模块组成。
杜志建主编；桑进林，秦永安，王志忠等编委会；张健，龙艳青，王献新本册主编2011 年出版132 页ISBN：7537173257
《高考状元纠错笔记》收集多位高考状元平时秘不外传的纠错本精华，让你分享他们的成功经验。该书汇集学科最具训练价值的易错试题，让你在平时充分暴露学习问题，高考才没问题。...
拾月主编；王洪锋，卢丽艳副主编；张帅，车坤，丁辉等编委2016 年出版180 页ISBN：9787558107306
《人生大学讲堂书系》是一套青少年励志类图书，旨在让每个人都能读懂人生大学，创造生命的辉煌。读榜样故事，与大师交流，成功人士的人生轨迹将给青少年朋友以指引，激励他们成就美好的未来。本册主要通过古今中外精...
周四元，韩丽主编；尹宗宁，陈华兵，马云淑，许小红副主编；王森，陈文，贾艺，陶玲等编委2017 年出版509 页ISBN：9787030505934
本书以剂型为重点及主线，详细介绍了各种剂型的概念、处方组成、制备工艺、质量控制以及临床应用特点，中间穿插药物制剂的基本理论和单元操作技术，体现了基本理论和单元操作技术对剂型设计、制剂生产以及质量评...
王深明主编；汪谦，何裕隆，李晓曦，彭宝岗副主编；马浙夫，马晋平，王深明等编委2012 年出版962 页ISBN：9787502369286
本书介绍了普通外科疾病的临床诊断与治疗方案，内容全面，重点突出，实用性强，可供临床医师及医学院校师生参阅。
李小华主编；牛启润，周毅，高昭昇，熊志强，潘晓蕾副主编；丁信华，陈玉兵，干峰等编委；梁铭会，邹赛德主审2014 年出版740 页ISBN：9787117198561
本书介绍信息技术在医院信息化中的应用，特别是信息新技术应用的专著，内容涉及医院信息化建设、应用和管理的各个方面,包括移动医疗、物联网、虚拟化、云计算和大数据等最新信息技术的介绍和应用。...
