（美）罗林·K·丹尼尔，（加）朱利亚·K·特齐斯著；北京积水潭医院创伤骨科手外科显微外科组，河北医学院附属第三医院骨科手外科组译1982 年出版193 页ISBN：14086·128
（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
（美）斯特赖尔（Stryer，L.）著；唐有祺等译校1990 年出版999 页ISBN：7301004052
著者原题无汉译名:书名原文:Biochemistry:本书为美国和其它英语国家通用的生化教科书。其特点是从分子水平讲述生物化学
（美）欧汉尼安（Ohanian，H.C.），（意）鲁菲尼（Ruffini，R.）著；向守平，冯珑珑译2006 年出版507 页ISBN：7030168917
本书从牛顿力学开始，系统讲述了引力和广义相对论的基础和前沿知识，特别在实验方面收集了大量的最新数据和结果，并附有参考文献。
（美）李伟梦著；李泽鲁译2015 年出版231 页ISBN：9787302402275
Swift语言入门、数据类型、字符串和字符、操作符和函数、数组和字典、类和对象、类的继承、闭包、协议和泛型等。
（美）库尔森（Coulson，R.N.），（美）威 特（Witter，J.A.）著；黄竞芳等译1991 年出版544 页ISBN：750380601X
（美）麦娇莉·温曼·莎梅特著；（美）马克·西蒙特图；李哲译2015 年出版111 页ISBN：9787561198681
内特是一个小侦探，他经常给妈妈留一张纸条，然后就出去侦破各种疑案，带着他的狗“泥泥”，为朋友们找回丢失的气球，拖鞋，书，甚至金鱼。该书情节曲折，作者对人物性格的刻画幽默而到位，又酷又冷静的小侦探内特，......
（美）卢尔（Loor，F.），（美）罗兰特（Roelants，G.E.）主编；杨松榆，臧人杰译1986 年出版372 页ISBN：13031·3292
