（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
王现靓等编著；时间工作室编著2002 年出版412 页ISBN：7533130553
本书共分为16章，详尽介绍了FrontPage2002的功能、应用和操作技巧。
罗文华，周勤飞，周玲主编；黄勇，戴国荣，曹兰等副主编2015 年出版246 页ISBN：9787511619785
我国养兔业历史悠久，人们经过长期的实践，积累了丰富的生产经验，而且还培育出了很多优良的家兔品种。我国是世界第一养兔大国，肉兔数量和兔肉产量均居世界第一。我国人多地少，发展节粮型养兔业是我国畜牧业的发展...
王敬东等编著；陈玲等绘画2001 年出版141 页ISBN：7533127889
《科曾连环画系列·透视伪科学》丛书共有5个分册：《人对苍天的误解》、《人对大地的误解》、《人对生物的误解》、《人对生活的误解》、《人对自身的误解》。...
王敬东等编著；赵秦晋等绘画2001 年出版132 页ISBN：7533127889
《科曾连环画系列·透视伪科学》丛书共有5个分册：《人对苍天的误解》、《人对大地的误解》、《人对生物的误解》、《人对生活的误解》、《人对自身的误解》。...
王敬东等编著；冯敏等绘画2001 年出版137 页ISBN：7533127889
《科曾连环画系列·透视伪科学》丛书共有5个分册：《人对苍天的误解》、《人对大地的误解》、《人对生物的误解》、《人对生活的误解》、《人对自身的误解》。...
