（英）（J.P.麦克沃伊）（J.P.Mcevoy）著；（英）（O.萨拉特）（Oscar Zarate）绘；李精益译1998 年出版177 页ISBN：7805927332
英国Icon Books公司版 由大苹果股份有限公司授权。
（美）Prakash Rashinkar，（美）
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
（美）彼得·默斯基（
本书以中等篇幅详细描述了越南战争期间对阵双方：美国海军航空兵和越南人民军空军之间的殊死空战，是最后的旧式空战：双方用航炮对决；也是新式空战的开端：美国在稍后最先使用了空对空导弹。书中配以大量的图片、地...
（英）本涅特著；（英）布拉德改写；（英）格尔绘；郭娟译2014 年出版106 页ISBN：9787513540698
《小镇传奇》为“书虫·牛津英汉双语读物”系列3级读物，属简易文学，适合初三、高一年级的读者阅读。这本原创小说讲述了一个人的成长历程：每个小镇都应该有一个“传奇”——波斯利镇上的传奇便是邓瑞。邓瑞出...
（英）奥本海著；（英）詹宁斯（Robert Jennings），（英）瓦茨（Arthur Watts）修订；王铁崖等译1995 年出版590 页ISBN：750005629X
Kevin A. Clarke and David M. Primo2012 年出版220 页ISBN：9780195382204
