大约有6,000项符合查询结果项。（搜索耗时：0.0360秒）
为您推荐：
法学教材辑部审
司法部法学教材编辑部审定
司法部法学教材辑部
司法部法学教材辑部审定
法学教材辑部
法学教材编辑部 司法文书格式实例选
-
王斌君，卢安国编著1995 年出版246 页ISBN：7561312148
暂缺《面向对象的方法学与C++语言》简介
-
李传湘等编著2000 年出版331 页ISBN：7307031051
大学计算机专业教程:本书系统地讨论了程序设计的基本理论，重点论述了结构程序设计和面向对象程序设计的基本原理和方法。本书由三部分共12章组成，内容包括：控制部分、基本数据结构、程序三部分。...
-
张钦楠编著2007 年出版296 页ISBN：9787302136439
本书结合国内新近建筑设计特点和发展现状，还介绍了国内外设计方法学的发展，是本书贴近现实。
-
胡正国，蔡经球编著1992 年出版268 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
-
（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
-
汤艳君主编2006 年出版210 页ISBN：730213376X
本书结合公安司法行业的特点介绍计算机应用的基础知识。
-
（美）SrikanthJadcherla，（美）JanickBergeron，（日）YoshioInoue等著；刘雷波，夏宇闻译2012 年出版180 页ISBN：9787512408494
本书分析归纳了多电压低功耗设计仿真验证技术中几乎所有的关键问题，并提出了十分重要的设计验证原则和规范。内容包括：多电压电源管理基础、电源管理隐患、状态保持、多电压测试平台的架构、多电压验证、动态...
-
李贵轩，丁飞，赵丽娟等编著2009 年出版241 页ISBN：9787564603243
本书供机械工程类个专业本科生学习使用，书中详细讲解了设计理论、方法，又辅之以必要的设计实例。本书内容包括两大部分：论述了设计方法学的范围、设计进程和基本设计方法；结合实例讲解了机械产品设计的设计方法...
-
王斌君，卢安国编著2000 年出版271 页ISBN：7560415016
-
刘建宾著2005 年出版238 页ISBN：7030145747
本书是作者在可视化程序设计技术领域多年潜心研究完成的原创性成果总结，是国内第一部深入介绍过程蓝图程序开发理论、技术及其支撑工具的学术专著。书中系统而详细地论述了作者在过程蓝图建模语言、开发过程...
