希特勒的志愿行刑者

（美）丹尼尔·乔纳·戈德哈根（Daniel Jonah Goldhagen）著；贾宗谊译1998 年出版263 页ISBN：7501139695

消失中的荒野：中国西部野生动物保护

（美）哈根斯著；张颖溢编著2010 年出版280 页ISBN：9787511100795

本书是作者20多年在中国工作时的经验积累。书中清晰地阐述了从草地的放牧政策到野生动物消费中存在的各种管理问题，并提出了颇有见地的缓解这些冲突的方案。...

营销变革

苏珊·哈特（Susan Hart）编著；曹建华译2006 年出版332 页ISBN：7300074871

本书是一批顶级营销研究大师撰写的论文集，反映当今营销变革的最新研究成果.

动物奇观

（英）苏珊·梅斯（S.Mayes）编著；（英）安德鲁·彼得斯插图 崔英译2000 年出版48 页ISBN：7506417871

时代之旅

（英）苏珊·梅斯（S.Mayes）编著；（英）科林·H.佩因插图 高欣译2000 年出版47 页ISBN：7506417871

小型动物

（英）苏珊·梅斯（S.Mayes）编著；（英）加里·博勒插图 郭慧娟，曹炳镝译2000 年出版48 页ISBN：7506417871

平面设计师的完全教程

（美）凯姆·格罗姆百思凯，瑞贝卡·哈根著；王伟译2014 年出版254 页ISBN：9787532281824

本书是设计类图书，高等教材。

高阶逻辑辅助证明系统

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

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

池塘建造与池塘技术

（德）彼得·哈根（Peter Hagen）编著；张毅等译2004 年出版164 页ISBN：7560827144

规划花园并修建一个花园池塘绝非轻而易举，因为池塘与已经建好的花园必须融为一体，然而长期以来来由于缺乏相关知识，许多设计师不自觉地重蹈他人覆辙，导致在这个领域中存在大量规划和建筑失误。基于与客户在花园...

庭院DIY 打造33个实用景观设施

（德）皮特·哈根（Peter Hagen）2019 年出版122 页ISBN：9787517078180