Building high integrity applications with SPARK
John W. McCormick ; Peter C. Chapin2015 年出版368 页ISBN：1107040731
（美）波多尔尼（Podolng，W.），（法）米勒尔（Muller，J.M.）著；万国朝，黄邦本译1986 年出版557 页ISBN：15044·1850
（美）（J.W.弗龙科威克）John W.Fronckowiak，（美）（D.赫尔达）Da</em>vid J.Helda</em>著；全刚等译1999 年出版760 页ISBN：7505351354
（美）（D.居尔布兰森）（Da</em>vid Gulbransen）等著；曹道卿，哈勤和译1998 年出版207 页ISBN：7534111463
暂缺《用Java写Web小应用程序》简介
Surgical emergencies in the cancer patient
Alan D. M. Turnbull.1987 年出版360 页ISBN：0815188692
Aestheties Classic Rea<em>dings from Western Tra<em>dition
[美]汤森德（TownsendD.）编2002 年出版362 页ISBN：7301057350
Approximation theory and methods=逼近理论和方法
M. J. D. Powell2015 年出版340 页ISBN：7510086250
Mobile networks and computing volume 52
sanguthevar rajasekaran and panos parda</em>los and d. frank hsu2000 年出版314 页ISBN：0821815474
Food industries manual 23rd edition
ed. by M. D. Ranken and R. C. Kill1993 年出版596 页ISBN：0751400157
