封建武，温高峰主编2009 年出版329 页ISBN：9787114078378
本书结合当前公路建设热点和难点问题，将对沥青路面水损害的机理和处治技术进行了系统详尽分析，既具备一定的理论水平，又与实际紧密结合，选题及时准确。本书作者长期在公路建设和养护一线从事技术工作，具备扎实的...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
吴亚初，陈琦主编；邓星华副主编；全国体育院校教材委员会审定2012 年出版313 页ISBN：9787500941880
本书系统介绍了高尔夫运动的发展情况、当今世界职业、业余比赛的组织、比赛方法与规则和裁判方法，以及赛事产品市场策划等。
李永新主编；中公教育公务员考试研究院审定2011 年出版309 页ISBN：751150325X
本书完全按照国家公务员申论考试大纲编写，有针对性和侧重点是本书最大特点。内容讲解详尽，由浅入深，通俗易懂，是考生备战国家公务员考试申论科目的最佳教材。...
本书编写组编；全国人大常委会法制工作委员会审定2000 年出版2205 页ISBN：9787800784347
本书收录了我国现行有效的法律及重要的行政法规、部门规章。
华图教育编著；华图公务员考试研究院审定2015 年出版358 页ISBN：9787505134409
本书主要针对天津市公务员考试，严格依据最新版考试大纲编写。书中首先对新大纲进行了深度解读，再针对申论题型结构对客观题和文章写作题的题型和答题技巧进行了深入透析，最后本书附录了华图名师编写的权威模拟...
