疯丫头马迪根

（瑞典）阿斯特丽德·林格伦（Astrid Lindgren）著；李之义译2002 年出版419 页ISBN：7500758464

一个离经叛道、古灵精怪的小女孩马迪根生活在乡村，她的每一天都是清新的，充满天真活泼的田园情趣。

民权译丛 妇女与国际人权法 第3卷 走向赋权

（美）阿斯金，（美）科尼格编；黄列，朱晓青，毕小青译2012 年出版1020 页ISBN：9787108038166

本书是由国际刑法与妇女人权领域的专家撰写的三卷本巨著之一，从理论和文化习俗到法律文书以及国际法庭的案例法，对国际法上的妇女权利进行了深入细致的剖析和阐释，对妇女权利领域的具体问题与解决方法、针对妇...

高阶逻辑辅助证明系统

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

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

THE ARCHETYPES AND THE COLLECTIVE UNCONSCIOUS

[德]荣格著1999 年出版451 页ISBN：

诺贝尔文学奖全集 42 总统先生

阿斯杜里亚斯著；刘启分译1981 年出版353 页ISBN：

先进司机牵引列车的经验

（苏）阿斯达贺夫（П.Н.Астахов）著；冯昌麟译1955 年出版85 页ISBN：

影响孩子们一生的经典 怪物马戏团 插图本

（英）达伦·山著；马爱农，马爱斯，周莉译2003 年出版402 页ISBN：7020080625

阿斯特尔政治著作选

（英）阿斯特尔著2003 年出版289 页ISBN：7562023581

本书为剑桥政治思想史原著系列其中之一本，书中收录了作者经典政治作品多篇。

移情心理学

（瑞士）C.G.荣格著；梅圣洁译2014 年出版163 页ISBN：9787510078897

这是荣格在1946年出版的著作，探讨了心理分析中常见的现象：移情。移情首先有弗洛伊德提出，是投射的一种。指人们在早年时期对父母和家人形成的印记，会投射到心理医生身上。荣格结合炼金术著作《玫瑰园》，探讨了心...

沿岸过程中的海洋锋

鲍曼（Bowman，M.J.），埃萨阿斯（Esaias，W.E.）著；许建平，刘清仁译1987 年出版174 页ISBN：13193·0631