大约有20,000项符合查询结果项。（搜索耗时：0.0236秒）
为您推荐：
郑州大学法律系法学基础理论教研室
安徽大学法律系法学理论教研室宪法学概论编写组著
西南政法学院法学基础理论教研室
press西南政法学院法学基础理论教研室
上海大学法治建设与法学理论研究部级课题组
北京大学中文系文艺理论教研室
-
（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
-
（美）SrikanthJadcherla，（美）JanickBergeron，（日）YoshioInoue等著；刘雷波，夏宇闻译2012 年出版180 页ISBN：9787512408494
本书分析归纳了多电压低功耗设计仿真验证技术中几乎所有的关键问题，并提出了十分重要的设计验证原则和规范。内容包括：多电压电源管理基础、电源管理隐患、状态保持、多电压测试平台的架构、多电压验证、动态...
-
李贵轩，丁飞，赵丽娟等编著2009 年出版241 页ISBN：9787564603243
本书供机械工程类个专业本科生学习使用，书中详细讲解了设计理论、方法，又辅之以必要的设计实例。本书内容包括两大部分：论述了设计方法学的范围、设计进程和基本设计方法；结合实例讲解了机械产品设计的设计方法...
-
王斌君，卢安国编著2000 年出版271 页ISBN：7560415016
-
刘建宾著2005 年出版238 页ISBN：7030145747
本书是作者在可视化程序设计技术领域多年潜心研究完成的原创性成果总结，是国内第一部深入介绍过程蓝图程序开发理论、技术及其支撑工具的学术专著。书中系统而详细地论述了作者在过程蓝图建模语言、开发过程...
-
陈海波，王申康编著2004 年出版140 页ISBN：7308036545
本书系统介绍了程序设计方法学的基本理论、结构化程序设计的原理、方法与实例，模块化程序设计的原理、方法和实例，面向对象程序设计方法的原理、方法和实例，可作为计算机本科高年级学生、研究生的教材。...
-
陈海波，王申康编著2006 年出版136 页ISBN：7308036545
本书系统介绍了程序设计方法学的基本理论、结构化程序设计的原理、方法与实例，模块化程序设计的原理、方法和实例，面向对象程序设计方法的原理、方法和实例，可作为计算机本科高年级学生、研究生的教材。...
-
刘键著2000 年出版314 页ISBN：7560919553
研究生用书:中国建设银行湖北省分行“尊师重教联合会研究生教育基金”资助出版。:本书阐述了关于并行程序设计的理论、观点、方法和技术。主要内容包括非交错并行计算模型、抽象相关分析技术、并行分解技术...
-
杨之廉，申明编著1999 年出版314 页ISBN：7302032750
-
胡正国，蔡经球编著1987 年出版268 页ISBN：7561209371
