高速公路病害分析与处治技术

封建武，温高峰主编2009 年出版329 页ISBN：9787114078378

本书结合当前公路建设热点和难点问题，将对沥青路面水损害的机理和处治技术进行了系统详尽分析，既具备一定的理论水平，又与实际紧密结合，选题及时准确。本书作者长期在公路建设和养护一线从事技术工作，具备扎实的...

高阶逻辑辅助证明系统

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

古琴奇缘之霜华引 上

温暮生著2016 年出版243 页ISBN：7555232030

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

古琴奇缘之霜华引 下

温暮生著2016 年出版474 页ISBN：7555232030

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

排球运动的素质训练和技战法

温金河编2012 年出版154 页ISBN：9787550902763

本书分四章。包括排球运动的发展、排球运动的体能训练和素质训练、排球运动的技战术、排球运动的科学研究方法。本书重在技战术，引用大量的图片，叙述问题力求深入浅出，读者很好理解。供从事排球运动的人员以及...

中医必背丛书 汤头歌诀

乔模主编；温普恩，毛俊艳，肖萍等编著2013 年出版228 页ISBN：9787537744645

本书分别介绍了补益之剂、安神之剂、开窍之剂、发表之剂、攻里之剂、涌吐之剂、之剂和解、表里之剂、消补之剂、理气之剂、理血之剂、祛风之剂、祛寒之剂、祛暑之剂、利之剂湿、润燥之剂、泻火之剂、除痰之...

紫金之路 福建紫金矿业集团股份有限公司发展纪实 2

陈景河主编；罗映南，曾庆祥，林锦添，黄连池副主编；刘文洪，邱剑锋，周维伯，邹永明，温玉梅编2004 年出版198 页ISBN：

大学生职业发展与就业指导

陈今来主编；徐勇军，黄雄志，温梅英副主编2010 年出版239 页ISBN：9787122088628

本书着眼于当前毕业生就业环境、就业形势、以自我认识与发展规划、职业认知与自我提升、社会认知与职业融入三个阶段来安排高职高专大学生就业指导课程教学。...

我国未成年人刑事案件诉讼程序研究

温小洁著2003 年出版261 页ISBN：7810875078

本书是一部专门论述未成年人刑事案件诉讼程序的专著。从构建我国未成年人刑事诉讼程序入手，比较系统地探讨了这一特殊诉讼程序的理论基础、程序模式、指导原则、基本制度以及具体的程序。...

麦田绘本馆 我不叫伊莎贝拉

（美）詹尼弗·福斯伯里著；任谊鑫译；（美）迈克·利特温绘2012 年出版30 页ISBN：9787530549810

本书面向3-5岁儿童，是“我不叫亚历山大”的姊妹篇，以小女孩伊莎贝拉为主角，通过妈妈和小女孩的对话，展现了一个女孩子内心深处的“梦想”，和他所拥有的“无限渴望”。...