（美）博英顿（Boyington，R.），马斯特顿（Mast
（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
（美）莱斯特 R.比特（L
（德）恩斯特·卡西尔（
顾名思义，《人论》自然是研究所谓“人的问题”的，全书共十二章，分上、下两篇。上篇（前五章）是回答一个总的问题：人是什么？下篇（后七章）转入对人类世界本身的全面考察，就是考察人怎样运用不同的符号创造各种......
（美）马西·普利斯金（Marci Pliskin），（美）沙里·L. 贾斯特（Shari L. Just）著；郑微微译2005 年出版327 页ISBN：754272942X
本书主要介绍了有关心理咨询和治疗过程中的释梦理论及技术。
（美）斯特雷古斯（Str
本套书为一些政治、文化、体育及影视等名人的传记。本书介绍了美国开国元勋本杰明·弗兰克林的一生。
（美）斯特赖尔（Stry
著者原题无汉译名:书名原文:Bioch
（瑞典）卡尔·爱瑞克·斯威比（Karl
本书是一部翻译作品，全书分三部分。第一部分探讨了知识和信息的概念；第二部分探讨无形资产的管理；第三部分呈现给读者一套测量无形资产的工具。...
（英）戴维·莱斯特编2011 年出版222 页ISBN：9787100076548
本书讲述了来自七大行业的21家公司依靠伟大的创意而获得成功的故事。这些行业和公司分别是：服装和消费品业的阿迪达斯和billabon
（匈）F.李斯特（F.Liszt）作曲；（德）奥古斯特·施密特-林德内（August S.-L.）编订1996 年出版13 页ISBN：710301390X
