（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
朱锋，（美）罗伯特·罗斯主编2008 年出版419 页ISBN：7208075646
本书的中心议题是“中国崛起”及其对国际关系中权力分配、合作与冲突、地区安全局势以及全球政治的未来等诸多话题的影响和冲击。在书中，各国学者重点运用了国际关系理论中的“权力转移”（power transition）假...
（奥地利）罗伯特·泽塔勒著2018 年出版176 页ISBN：9787544258197
本书是奥地利作家罗伯特·泽塔勒的小说，出版后好评如潮，并入围2016年国际布克奖终选短名单。作品讲述了主人公安德里亚斯·艾格尔度过了备受凌虐的童年，经历过一场战争，在一次雪崩中存活了下来，他努力工作，也有过...
（加）罗伯特·布朗，管悦著；管悦译2009 年出版102 页ISBN：9787112110643
本书是一本讲述景观评价及其方法和步骤的指导性书籍，一本文理结构清晰、内容简洁有力的景观教育书籍。它详细介绍了一系列实用和直接的景观评价的方法，概括了在景观评价中最重要的元素和步骤，以引导景观设计师...
（美）伊坦·谢辛斯基，（美）罗伯特·J. 斯特罗姆，（美）威廉·J. 鲍莫尔主编2009 年出版352 页ISBN：9787547300794
本书是近年来有关创业、创新经典论著的集合，包括四位诺贝尔经济学奖得主在内的不同领域名家的最新观点，从微观和宏观两个层面探讨了创业资本主义的奥秘所在。...
（荷）英格里德·舒伯特，（荷）迪特尔·舒伯特文·图；紫岫译2011 年出版34 页ISBN：9787533266547
本书是来自荷兰的经典绘本，图文并茂，故事性强。
（日）铃木博明，（美）罗伯特·瑟夫洛，（日）井内加奈子著；赵晖，李春艳，王书灵译；郭继孚译审2013 年出版187 页ISBN：9787112158461
本书探讨了发展中国家在城市化过程中公共交通与土地利用协同发展的问题。首先，回顾了公交基础设施和城市发展的有效协调的壁垒与机遇。然后，采用了案例研究的方法，分析和借鉴了全球以公交发展为导向的大都市发...
（美）罗伯特·M·奥布莱恩著2018 年出版194 页ISBN：9787520129572
年龄、期间、队列效应的分离性分析具有十分重要的理论与应用价值。本书从集体层次的角度来对年龄、期间、队列效应估计的建模进行了详细的探讨。包括的内容主要有：从约束性估计到年龄、期间、队列特征的应用...
（美）罗伯（HaroldLoeb）著；蒋铎译2016 年出版161 页ISBN：7552012552
《技术统治》内分：闭塞的路、改变途径，技术统治的内容，政府，宗教，教育与娱乐，艺术，技术统治的实现等7章。论述现代资本主义危机的存在，提出应由技术来决定生产，消除货物的匮乏，借以提高每个人的生活水平等......
