温晓亮；江晶瑶；柴冒臣2017 年出版172 页ISBN：9787569200928
认知语言学这个名称，有广义和狭义两种理解。语言能力不是一种特殊的认知能力，它同人的一般认知能力没有什么本质上的差别，这就是狭义的“认知语言学”。本书分为六章，从六个角度对认知语言进行研究，主要是狭义的...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
张基温主编2001 年出版225 页ISBN：7115096236
本书是为计算机网络课程中的工程实习和训练教学编写的一本教材。内容包括：线缆连接、Windows NT和Linux组网、接入的安装与配置、网络互联与防火墙设备的设置。 本书对实习训练中所需的作业内容、预备知...
温暮生著2016 年出版243 页ISBN：7555232030
瑾国皇子璇璞遭继母陷害后流落民间，意外结识奇术传人夙莨，蛇妖黑崎，御音师谷梁轩，虫妖蜉漓，为寻找其消失多年的琴艺师父公孙锦，展开一段充满奇遇的旅程，冒险途中，众人身上的谜团被一个一个解开，在爱情宿命，......
温暮生著2016 年出版474 页ISBN：7555232030
瑾国皇子璇璞遭继母陷害后流落民间，意外结识奇术传人夙莨，蛇妖黑崎，御音师谷梁轩，虫妖蜉漓，为寻找其消失多年的琴艺师父公孙锦，展开一段充满奇遇的旅程，冒险途中，众人身上的谜团被一个一个解开，在爱情宿命，......
温金河编2012 年出版154 页ISBN：9787550902763
本书分四章。包括排球运动的发展、排球运动的体能训练和素质训练、排球运动的技战术、排球运动的科学研究方法。本书重在技战术，引用大量的图片，叙述问题力求深入浅出，读者很好理解。供从事排球运动的人员以及...
温小洁著2003 年出版261 页ISBN：7810875078
本书是一部专门论述未成年人刑事案件诉讼程序的专著。从构建我国未成年人刑事诉讼程序入手，比较系统地探讨了这一特殊诉讼程序的理论基础、程序模式、指导原则、基本制度以及具体的程序。...
（美）詹尼弗·福斯伯里著；任谊鑫译；（美）迈克·利特温绘2012 年出版30 页ISBN：9787530549810
本书面向3-5岁儿童，是“我不叫亚历山大”的姊妹篇，以小女孩伊莎贝拉为主角，通过妈妈和小女孩的对话，展现了一个女孩子内心深处的“梦想”，和他所拥有的“无限渴望”。...
（美）大卫·F.温科勒（DavidF.Winkler）著；邢广梅等译2015 年出版284 页ISBN：9787515707976
该书为美国海军学会出版社于2000年出版的《海上冷战：美国和苏联的公海冲突》一书的再版。主要内容为1972年5月美苏两国签订的《美苏防止海上事件协定》的成功以及它成为21世纪信任建立措施的典范的发展历史...
