（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
舒天戈编著2004 年出版303 页ISBN：780128562X
本书以国外先进的领导科学为理念，从企业家、领导者的角度具体阐述了担任领导职务者所应具备、学习和领悟的领导素质、智慧、艺术。
金舒编著2009 年出版217 页ISBN：9787502169282
本书集中了哈佛素质教育的先进理念为依据，以当代青少年成长生活为背景。从人品塑造，文明素养，公正处事，真心施爱等方面阐述做人的道理。...
舒洪水，刘娜，李岚林著2012 年出版228 页ISBN：9787565308512
本书对累犯适用的基础理论、一般累犯的成立要件、特别累犯的成立要件、单位累犯问题、未成年累犯问题、累犯适用的一般问题、累犯适用的具体问题等内容进行了全面而深刻地阐释。...
郭静舒著2005 年出版189 页ISBN：7535431402
本书介绍了中外通俗歌曲发展的状况，同时对通俗歌曲在艺术特征、各类题材、审美倾向等等，作了精辟的见解。
（英）阿德里安·霍普金斯（Adrian Hopkins）编著2014 年出版127 页ISBN：9787549548668
本书包含了25首经典歌曲的爵士鼓乐谱，通过伴奏CD的精彩呈现，让您可以跟随着CD，和警察乐队、披头士乐队、AC/DC乐队、金属乐队等你所喜欢的鼓手一起打鼓。书中的歌曲以爵士鼓谱形式呈现，并附有旋律五线谱和完整...
（德）瑙海姆，（德）伯尔彻，（德）诺瓦克著2014 年出版547 页ISBN：9787111415152
本书共分17章，全面地叙述了汽车变速器的开发过程。内容主要包括：交通—车辆—传动系统回顾、动力传递基础、传动比选择、汽车变速器系统的基本设计原理、汽车变速器的典型设计、重要部件（如换档机构、起步元件...
