沃 特（Water，R.）等著；郑 浩等译1989 年出版353 页ISBN：7800430723
本书共31篇文章
（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
（美）斯特赖尔（Stryer，L.）著；唐有祺等译校1990 年出版999 页ISBN：7301004052
著者原题无汉译名:书名原文:Biochemistry:本书为美国和其它英语国家通用的生化教科书。其特点是从分子水平讲述生物化学
（美）朱迪狄欧（Jodidio，P.），（美）斯特朗（Strong，J.A.著；李佳洁，郑小东译2012 年出版367 页ISBN：9787121139970
本书按时间顺序汇编了华人建筑大师贝聿铭的全部作品，是对过去50年中他的混凝土、玻璃、钢结构、石材等精典建筑的总结，每个作品都包括背景资料、详细的描述和评价。作者用设计草图、设计图、效果图结合文字详...
（美）（P.肯特）Peter Kent著；章小莉等译1998 年出版277 页ISBN：711106092X
