( 建模与验证并行程序)Modeling and Verification of Parallel Processes

( 建模与验证并行程序)Modeling and Verification of Parallel Processes

作者： Franck Cassez著 出 版 社： 湖南文艺出版社 出版时间： 2000-12-1字数：版次： 1页数： 222印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N

数学建模方法及其应用(数学建模培训教材)(Methods and applications of mathematical modeling)

基本信息·出版社：高等教育出版社 ·页码：465 页 ·出版日期：2005年 ·ISBN：7040163284 ·条形码：9787040163285 ·包装版本：第1版 ·装帧：平装 ·开本：16

企业与信息系统建模分析(Modeling and Analysis of Enterprise and Information System)

基本信息·出版社：高等教育出版社 ·页码：545 页 ·出版日期：2007年 ·ISBN：9787040224672 ·条形码：9787040224672 ·包装版本：1版 ·装帧：平装 ·开本：1

Statistical Modeling, Analysis and Management of Fuzzy Data模糊数据的统计建模、分析与管理

作者： Carlo Bertoluzza等著 出 版 社： 出版时间： 2002-9-1字数：版次： 1页数： 309印刷时间： 2002/09/01开本： 16开印次： 1纸张： 胶版纸I S B

定时系统的形式建模与分析：FORMATS 2006/会议录/Formal modeling and analysis of timed systems

作者： Eugene Asarin著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 367印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N

并行与分布式处理及应用 /Parallel and distributed processing and applications

作者： Minyi Guo著 出 版 社： 广东教育出版社 出版时间： 2006-12-1字数：版次： 1页数： 953印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N

正确硬件设计与验证方法 Correct hardware design and verification methods

作者： Tiziana Margaria著 出 版 社： 湖南文艺出版社 出版时间： 2001-12-1字数：版次： 1页数： 482印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S

专用集成电路时序验证(国外大学优秀教材,微电子类系列(影印版))(Timing Verification of Application-Specific Integrated Circuits(ASICs))

基本信息·出版社：清华大学出版社 ·页码：189 页 ·出版日期：2009年11月 ·ISBN：9787302213420 ·条形码：9787302213420 ·版本：第1版 ·装帧：平装 ·开本

概念建模进展—理论与实践/会议录/Advances in conceptual modeling - theory and practice

作者： John F. Roddick 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 456印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S

系统分析与建模、语言资料 / 国际专题讨论会/System analysis and modeling: language profiles

作者： Reinhard Gotzein 等著 出 版 社： 广东教育出版社 出版时间： 2006-12-1字数：版次： 1页数： 228印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I