（美）斯特帕诺夫著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:本书为美国和其它英语国家通用的生化教科书。其特点是从分子水平讲述生物化学
（英）戴维·莱斯特编2011 年出版222 页ISBN：9787100076548
本书讲述了来自七大行业的21家公司依靠伟大的创意而获得成功的故事。这些行业和公司分别是：服装和消费品业的阿迪达斯和billabone，食品业的Cloudy Bay、可口可乐、Green＆Blacks、肯德基、必胜客，制造业的戴森、...
（匈）F.李斯特（F.Liszt）作曲；（德）奥古斯特·施密特-林德内（August S.-L.）编订1996 年出版13 页ISBN：710301390X
