(美)格拉瑟(Mark Glasser)等编著;王欣等译2007 年出版294 页ISBN:9787811143706
本书内容包括9章:绪论;验证原理;高级验证方法学介绍;面向对象编程的特点;事务级建模的特点;高级验证方法学的机理;验证平台的组成;完整的验证平台;可替换的验证平台;验证平台中的模块等。本书是针对IC开发设......
(澳)安妮·鲍威尔斯,(澳)琼安·温特尔,(澳)约瑟夫·娄·比安科编;王君瑞,曹薇等译;曹延军,殷微校对2015 年出版237 页ISBN:7811298826
(美)理查德·R.基比(Richard R.Kibbe)等著;付铁,杨梦辰,钱逸秋等译2004 年出版225 页ISBN:7504545880
本分册内容包括立式铣床、卧式铣床、磨削及研磨加工、计算机数控加工技术及其他现代制造技术。
(加)包铭心(Paul W.Bearmish),陈小悦主编;范辉政等译2002 年出版294 页ISBN:7111094832
(英)Richard Grimes著;梁超等译2003 年出版436 页ISBN:7302066469
本书讲述了语言的基本特征,探讨了.NET的特性,介绍了Visual Studio.NET的项目管理和调试功能。
(美)Konrad King著;杜大鹏等译2003 年出版836 页ISBN:7508413148
本书作者以其丰富的SQL数据库工作经验,向读者介绍了从数据库概念到数据库理论,从SQL标准到各种SQL数据库产品,从数据库的编程方法到具体的语句句法,从分布式计算到Internet应用等的有关知识。...