（美）希尔沃德·莱斯特·库克（Hereward Lester Cooke）著；诸迪，于冰译2000 年出版264 页ISBN：7500639775
（美）博英顿（Boyington，R.），马斯特顿（Masterton，W.L.）著1981 年出版404 页ISBN：13012·0646
（英）哈代著；（英）韦斯特改编；田娜译2006 年出版125 页ISBN：7560055281
本书是书虫第三辑的第三级别，中英文对照加中文注释，适合初中及以上文化程度的读者阅读。
（英）唐纳德·沃尔斯特（Donald Waters）著；李习文，李斌译2005 年出版238 页ISBN：7111159411
本书对库存管理进行了系统的介绍，涵盖了库存管理领域最新的理念和实践。
（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
（德）恩斯特·卡西尔（Ernst Cassirer）著；甘阳译2003 年出版357 页ISBN：7532731170
顾名思义，《人论》自然是研究所谓“人的问题”的，全书共十二章，分上、下两篇。上篇（前五章）是回答一个总的问题：人是什么？下篇（后七章）转入对人类世界本身的全面考察，就是考察人怎样运用不同的符号创造各种......
