（美）斯特帕诺夫著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
（德国）柏吉尔，（法国）洛·特拉皮，（丹麦）安徒生等著；顾均正，王汶，任溶溶等译2015 年出版97 页ISBN：9787514821338
本书精选国外最优秀、最具代表性的科学童话，以童话故事为载体，给孩子们介绍丰富的科学知识。本书包括《风暴四弟兄》《海蟒》《帝企鹅多莫多莫》《谁的办法多》《眼睛和耳朵》《谢谢火》《小水蜘蛛》《小房子...
（美）马克·P雷斯（Mark P. Rice），（美）金娜·B·马休斯（Jana B. Matthews）原著；景俊海等译1997 年出版138 页ISBN：7560412602
