Verification 书籍/杂志/报纸图片 - 淘宝多肉

首页超级人气榜领券中心限时抢购 9块9包邮 19块9包邮

首页全部商品

书籍/杂志/报纸

共 1589 款相关商品

商品分类

热门搜索

新上人气热销价格↑ 价格↓ 不限价格 0-30元 31-100元 101-300元 301-1000元 1001-3000元 3001-10000元 10000元以上

图书书籍验证与确认社 method verification and 方法 validation巴纳·萨伯ó9787111787297 分析有限元机械工业出版

原价 76.3销量 0

￥76.3 江苏人天图书专营店
定制化绿色信息影响研究 and 验证和解释 exploration 探索社 interpretation王建明等科学出版 verification

原价 132.7销量 0

￥132.7 读好书图书专营店
探索 and verification 定制化绿色信息影响研究验证和解释 exploration 王建明等 interpretation 经济书籍

原价 132.7销量 0

￥132.7 人天书店旗舰店
interpretation and 验证和解释探索社经济书籍科学出版王建明等 verification exploration 定制化绿色信息影响研究

原价 117.7销量 0

￥117.7 读乐尔图书专营店
计算机辅助验证：第28届国际 28th International Conference Cav Verification 2016 Aided 海外直订Computer Toronto

原价 662销量 0

￥662 中华商务图书专营店
基因推理：系统遗传学数据方法 Verification Data Methods for Inference Systems Network 海外直订Gene Genetics

原价 1988销量 0

￥1988 中华商务图书专营店
时间Petri网和时间自动机验 Automata Petri 海外直订Advances Verification Nets Timed and Temporal Time Logic

原价 1988销量 0

￥1988 中华商务图书专营店
Aided Verification 计算机辅助验证海外直订Computer

原价 662销量 0

￥662 中华商务图书专营店
Cav Conference Verification Aided 计算机辅助验证：第22届国际 Edinburgh 2010 International 22nd 海外直订Computer

原价 1325销量 0

￥1325 中华商务图书专营店
Verification Practitioner 海外直订Hardware with Handbook 硬件验证：实践者手册

原价 1850销量 0

￥1850 中华商务图书专营店
超大规模集成电路Soc：纳米 Design 海外直订Vlsi System the Soc Era Nanoscale and Chip Verification Reliabi

原价 662销量 0

￥662 中华商务图书专营店
Modeling Performance and Algebra 性能建模和过程代数和概率方法 Verification Methods Probabilistic 海外直订Process

原价 662销量 0

￥662 中华商务图书专营店
终止分析：克里 Analysis 归纳 Festschrift for Christoph Termination Walther Induction 海外直订Verification 验证

原价 662销量 0

￥662 中华商务图书专营店
海外直订Verification Programs Sequential and 验证顺序和并发程序 Concurrent

原价 1233销量 0

￥1233 中华商务图书专营店
Sysml Design 海外直订Verification Validation Uml Systems 验证与确认：评 and Engineering Assessing 系统工程中

原价 1723销量 0

￥1723 中华商务图书专营店
海外直订Modelling Exams Verification and 建模与验证安全考试 Secure

原价 662销量 0

￥662 中华商务图书专营店
逻辑综合与验证算法 Synthesis Verification Algorithms 海外直订Logic and

原价 1048销量 0

￥1048 中华商务图书专营店
Verification Methods 精度验证方法：理论与算法 Theory and 海外直订Accuracy Algorithms

原价 1325销量 0

￥1325 中华商务图书专营店
化方法和算法 Systems 验证：形式 Formal Methods and Reactive Algorithms 海外直订Verification 反应系统

原价 662销量 0

￥662 中华商务图书专营店
Distribu 利用正式方法海外直订Leveraging Formal Validation. Methods Applications Verification and 验证和确认

原价 662销量 0

￥662 中华商务图书专营店
and Design Hardware for Rtl设计和验证 Systemverilog用于硬件描述 Verification Rtl Description 海外直订Systemverilog

原价 936销量 0

￥936 中华商务图书专营店
计算机辅助验证：第 12th International Conference Cav Verification 2000 Aided 海外直订医药图书Computer Chicago

原价 1325销量 0

￥1325 中华商务图书专营店
海外直订Verification Interpretation Checking and Model 模型检查和抽象解释验证 Abstract

原价 662销量 0

￥662 中华商务图书专营店
Simulink 形式 statflow图 Verification Diagrams 化 Deductive 海外直订Formal Stateflow Approach

原价 1524销量 0

￥1524 中华商务图书专营店
海外直订Reactive Verification Modelling Specification Systems 规范和验证反应系统：建模 and

原价 1284销量 0

￥1284 中华商务图书专营店
计算机辅助验证：第33届国际 33rd International Conference Cav Verification 2021 Aided 海外直订Computer Virtual

原价 489销量 0

￥489 中华商务图书专营店
计算机辅助验证：第33届国际 33rd International Conference Cav Verification 2021 Aided 海外直订Computer Virtual

原价 489销量 0

￥489 中华商务图书专营店
Systemverilog验证方法手册 Methodology for Systemverilog 海外直订Verification Manual

原价 1356销量 0

￥1356 中华商务图书专营店
验证和 Verification 海外直订Leveraging and Formal Applications Third Validation 方法 Methods 利用正式应用

原价 1988销量 0

￥1988 中华商务图书专营店
and 偏微分方程 Differen Verification Proofs Assisted 数值验证方法与 for 海外直订Numerical Computer Methods Partial

原价 1605销量 0

￥1605 中华商务图书专营店

上一页 1 ..18 19 20 21 222324 25 26 27 28 53 下一页

客服