（美）Prakash Rashinkar，（美）Peter Paterson，（美）Leena Singh著；孙海平，丁健译2005 年出版263 页ISBN：7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
（美）亚瑟·M.萨勒辛格，JR.主编；（美）汉斯·L.特里福斯著；李美辉译2005 年出版144 页ISBN：7533644506
拉瑟福德·B·海斯（1822年10月4日～1893年1月17日）是第19任美国总统（1877年-1881年），美国共和党籍。
（美）达希尔·哈米特著；缪莹译2013 年出版150 页ISBN：9787513308090
暗夜中，仓皇逃离悲惨婚姻生活的女子，遇到一个终于能帮助她的男人，这个仗义的男人只有一个缺点，坐过牢、患了幽闭恐惧症，恐惧再度回到牢笼里。追踪那女子而来的丈夫，抓住了这致命的一击，设下圈套，要这两人再度......
（美）保罗·W.利米特（Paul W. Lermitte），（美）珍妮弗·马瑞特（Jennifer Merritt）著；相靖译2003 年出版220 页ISBN：7801097300
本书是讲从幼儿园到大学的零用钱计划。
