陈鸿珊，张兴权主编2006 年出版536 页ISBN：7502583548
本书介绍了人类致病病毒的结构、病毒命名、病毒的自制分子作用靶点、病毒感染的危害机制、发病机制，病毒实验的条件及防护、抗病毒的筛选等。...
付饶著2003 年出版356 页ISBN：7532921352
本书为长篇小说，作者以流畅的语言，讲述了女主人公阮枫与公安局长肖健的一段婚外情，提出了关于感情、人性、伦理与道德的诸多问题，读来发人深省。...
武斌著2018 年出版130 页ISBN：9787564231699
本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...
（英）马修斯（Matthews，J.） （英）凯尔（Kerr，J.D.）绘图 钱庆元，金道窈注译1987 年出版128 页ISBN：15051·1197
罗云等编著1992 年出版301 页ISBN：7502723072
包括寿命周期费用的分解与估算、费用的时间价值与费用不确定性、寿命周期费用分析与评价、寿命周期费用管理、寿命周期费用方法的应用和实例等6章。...
