（美）希尔沃德·莱斯特·库克（Hereward Lester Cooke）著；诸迪，于冰译2000 年出版264 页ISBN：7500639775
（美）博英顿（Boyington，R.），马斯特顿（Masterton，W.L.）著1981 年出版404 页ISBN：13012·0646
（美）杰伊·比尔德斯坦（Jay Bildstein）口述；（美）詹瑞·施麦特里尔（Jerry Schmetterer）执笔 谢晓霞，胡严林等译2000 年出版307 页ISBN：7531712849
（英）哈代著；（英）韦斯特改编；田娜译2006 年出版125 页ISBN：7560055281
本书是书虫第三辑的第三级别，中英文对照加中文注释，适合初中及以上文化程度的读者阅读。
（英）唐纳德·沃尔斯特（Donald Waters）著；李习文，李斌译2005 年出版238 页ISBN：7111159411
本书对库存管理进行了系统的介绍，涵盖了库存管理领域最新的理念和实践。
（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
