（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
（美）斯特赖尔（Stryer，L.）著；唐有祺等译校1990 年出版999 页ISBN：7301004052
著者原题无汉译名:书名原文:Biochemistry:本书为美国和其它英语国家通用的生化教科书。其特点是从分子水平讲述生物化学
（荷）安妮塔·拜思特博斯文图；曲江培豪译2017 年出版25 页ISBN：9787530765210
海马爸爸是个非常细心的超级奶爸，因为平时，家里的孩子都是他一个人看管。要知道，他可有10个可爱的海马宝宝哦。但是……这一天，当海马爸爸清点人数时，却怎么数都是9个，第十个宝宝躲到哪里去了呢？...
（美）雪瑞·芬克著；（美）玛丽·埃里克松·沃沙姆绘；杨雪译2015 年出版26 页ISBN：9787304070236
供3～6岁儿童使用的绘本，培养儿童正确的自我认知能力。
（美）雪瑞·芬克著；（美）玛丽·埃里克松·沃沙姆绘；杨雪译2015 年出版25 页ISBN：9787304070229
本书供3-6岁儿童使用的绘本，培养儿童正确的自我认知能力。
