（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
(美)拉斯埃德尔曼等著2009 年出版224 页ISBN：9787111268406
本书主要介绍了有关八个实际策略，实干家的权利自由法案等。
（美）戴维·罗伊斯（David Royse）等著；王军霞，涂晓芳译2007 年出版362 页ISBN：7300081517
本书阐述公共项目评估的理论与实物。
（美）猜浦等著2004 年出版500 页ISBN：7030124707
本书深入浅出地解释了有关密码学的诸多概念，它全面讲解了所有现代密码技术以及相关的编码理论。对于希望研究密码技术人来说，这是一本不可多得的好书。...
（美）夏伦纳等著；洪恩儿童教育研究中心编译2005 年出版141 页ISBN：780702240X
《迪士尼儿童百科全书》是由迪士尼公司为全世界少年儿童精心打造的一套图文并茂的国际化百科全书，跨越了太空、地球、动物、植物、人体、科技、艺术、历史、地理、社会等众多学科。...
（美）钱（Chan，K.K.）等著；史大鹏等译2006 年出版202 页ISBN：7534931924
本书列举了100例骨骼肌肉系统疾病的MRI应用病例，每一病例的描述包括病史和临床表现、影像学表现、诊断和讨论四部分。
（美）帕森斯等著；洪恩儿童教育研究中心编译2005 年出版139 页ISBN：780702240X
《迪士尼儿童百科全书》是由迪士尼公司为全世界少年儿童精心打造的一套图文并茂的国际化百科全书，跨越了太空、地球、动物、植物、人体、科技、艺术、历史、地理、社会等众多学科。...
