Handbook of automated reasoning; volume II
editors Alan Robinson and Andrei Voronkov2001 年出版2122 页ISBN：0444508120
Handbook of automated reasoning; volume I
editors Alan Robinson and Andrei Voronkov2001 年出版970 页ISBN：0444829490
INTERNATIONAL REVIEW OF CYTOLOGY VOLUME 59
G.H.BOUREN J.F.DAVIELLI ASSISTANT EDITOR K.W.JEON2222 年出版392 页ISBN：0123643597
INTERNATIONAL REVIEW OF CYTOLOGY VOLUME 70
G.H.BOUREN J.F.DAVIELLI ASSISTANT EDITOR K.W.JEON2222 年出版351 页ISBN：0123644704
INTERNATIONAL REVIEW OF CYTOLOGY VOLUME 61
G.H.BOUREN J.F.DAVIELLI ASSISTANT EDITOR K.W.JEON2222 年出版356 页ISBN：0123644615
INTERNATIONAL REVIEW OF CYTOLOGY VOLUME 69
G.H.BOUREN J.F.DAVIELLI ASSISTANT EDITOR K.W.JEON2222 年出版339 页ISBN：0123644690
GENERAL INDUSTRY AND TECHNOLOGY
DR.JOHN R.LINDBECK DR.LRVIN T.LATHROP DR.JOHN L.FEIRER1977 年出版458 页ISBN：0026673800
（美）罗伯特·J.基（Robert J. Kee），（美）迈克尔·E.科尔特林（Michael E. Coltrin），（美）彼得·格拉博格（Peter Glarborg）著2018 年出版619 页ISBN：9787302458821
本书致力于结合流体力学、物理化学的基本概念，为学生及研发人员介绍解析和数值分析手段，以针对真实应用情况下的多类对象进行反应流模拟。主要内容包括：传递过程（特别是从流体力学出发），物理化学概念，速率方程......
