（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
（美）斯特雷古斯（Streissguth，T.）著；陶怡译2006 年出版127 页ISBN：7810957139
本套书为一些政治、文化、体育及影视等名人的传记。本书介绍了美国开国元勋本杰明·弗兰克林的一生。
（美）斯特赖尔（Stryer，L.）著；唐有祺等译校1990 年出版999 页ISBN：7301004052
著者原题无汉译名:书名原文:Biochemistry:本书为美国和其它英语国家通用的生化教科书。其特点是从分子水平讲述生物化学
（美）克里斯·贝蒂，（美）琳赛·格兰特，（美）塔维娅·斯图尔特-斯特赖特著；葛秋菊译2018 年出版153 页ISBN：7210102221
这是一本教人如何创作小说的书，作者为风靡美国乃至全球的“全国小说创作月”活动的组织者。作者通过自身经验，总结出了如何完成一部小说创作的有效方法，从构思到动笔，一步步地引导读者完成小说的创作。全书设置...
（美）本尼斯，（美）比尔德曼著2014 年出版209 页ISBN：9787512350595
亲密接触现代领导力运动之父，美国知名学者、领导学专家沃伦·本尼斯。这本传记介绍了他的故事般生涯中的成功和失败。本尼斯从一个犹太小孩，后入伍参军，参与民权运动的先驱，在医院进行过五年精神分析治疗。这是...
（美）卢克·拉斯特著2008 年出版243 页ISBN：7301133073
本书介绍了人类文化是如何形成的，以及在这一形成过程中出现的诸多重要现象。
