（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
（德）恩斯特·卡西尔（Ernst Cassirer）著；甘阳译2003 年出版357 页ISBN：7532731170
顾名思义，《人论》自然是研究所谓“人的问题”的，全书共十二章，分上、下两篇。上篇（前五章）是回答一个总的问题：人是什么？下篇（后七章）转入对人类世界本身的全面考察，就是考察人怎样运用不同的符号创造各种......
（美）马西·普利斯金（Marci Pliskin），（美）沙里·L. 贾斯特（Shari L. Just）著；郑微微译2005 年出版327 页ISBN：754272942X
本书主要介绍了有关心理咨询和治疗过程中的释梦理论及技术。
（美）斯特雷古斯（Streissguth，T.）著；陶怡译2006 年出版127 页ISBN：7810957139
本套书为一些政治、文化、体育及影视等名人的传记。本书介绍了美国开国元勋本杰明·弗兰克林的一生。
（美）斯特赖尔（Stryer，L.）著；唐有祺等译校1990 年出版999 页ISBN：7301004052
著者原题无汉译名:书名原文:Biochemistry:本书为美国和其它英语国家通用的生化教科书。其特点是从分子水平讲述生物化学
（法）巴尔扎克，（法）司汤达，（法）莫泊桑著2007 年出版548 页ISBN：750804326X
本书收集了四十八位法国作家的六十四篇小说，从十八世纪至二十世纪，囊括了大部分法国短篇小说佳作。
（法）莫泊桑著（法）莫泊桑著2014 年出版410 页ISBN：9787542648983
本书是莫泊桑两部小说《一生》与《皮埃尔与让》的合集。《一生》是莫泊桑的第一部长篇小说，是一部描绘诺曼底农村的风俗小说。《皮埃尔与让》叙述了两兄弟皮埃尔和让因一份遗产的继承人是弟弟，引发了哥哥的嫉...
