Verification 书籍/杂志/报纸图片 - 养花网

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

首页全部商品

书籍/杂志/报纸

共 400 款相关商品

商品分类

热门搜索

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

Future Trends 正式海外直订Formal State Verification and 技术现状和未来趋势 System The Art 系统验证

原价 1471销量 0

￥1463 中华商务图书专营店
海外直订Temporal Safety Reactive Verification 时间验证：安全性反应系统 Systems

原价 1458销量 0

￥1458 中华商务图书专营店
近似函数 Functions Verification Formal 验证形式多项式 Approximate 海外直订Polynomial

原价 1458销量 0

￥1458 中华商务图书专营店
Models Hdl Functional Testbenches 功能验证 Hdl模型编写测试平台 Verification 海外直订Writing

原价 1458销量 0

￥1450 中华商务图书专营店
海外直订Scalable 形式 for Formal Techniques 可伸缩技术验证 Verification

原价 1383销量 0

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

原价 1356销量 0

￥1356 中华商务图书专营店
验证方法手册 Verification Cookbook 开放式海外直订Open Methodology

原价 1356销量 0

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

原价 1356销量 0

￥1356 中华商务图书专营店
高保证应用微处理器系统 Application and for Systems 设 High 海外直订Design Microprocessor Verification Assurance

原价 1356销量 0

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

原价 1337销量 0

￥1337 中华商务图书专营店
Design System 海外直订Electronic Automation for and Verification Testing

原价 1330销量 0

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

原价 1325销量 0

￥1325 中华商务图书专营店
当前趋势 Hardware 硬件验证和自动定理证明 Verification and Automated Theorem Trends 海外直订Current Proving

原价 1325销量 0

￥1325 中华商务图书专营店
Down Appro 可编程嵌入式海外直订Functional Programmable Top Embedded 功能 Verification Architectures 体系结构

原价 1325销量 0

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

原价 1325销量 0

￥1325 中华商务图书专营店
Based Fpga Verification 功能验证基于动态可重构fpga系统 Systems Reconfigurable Dynamically 海外直订Functional

原价 1325销量 0

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

原价 1325销量 0

￥1325 中华商务图书专营店
图像分析和条约核 Treaty 海外直订Object Image Verification Analysis Based Approaches New and Remote 基于物体

原价 1325销量 0

￥1325 中华商务图书专营店
CAV Conference Verification Aided 计算机辅助验证：第21届国际 Grenoble 2009 International 21st 海外直订Computer

原价 1325销量 0

￥1325 中华商务图书专营店
计算机辅助验证：第10届国际 10th International Conference Cav Verification Aided 海外直订Computer Vancouver

原价 1325销量 0

￥1325 中华商务图书专营店
在 the Theory 验证 Essays Occasi 理论与实践 and 海外直订Verification Manna Practice Zohar Dedicated

原价 1325销量 0

￥1325 中华商务图书专营店
and Biological Electronic 海外直订Simulation Verification 电子与生物系统仿真与验证 Systems

原价 1325销量 0

￥1325 中华商务图书专营店
海外直订Computational and Transport Methods 运输计算方法：验证与验证 Validation Verification

原价 1325销量 0

￥1325 中华商务图书专营店
Roadmap Verification Property 海外直订A for Formal 属性验证形式路线图

原价 1325销量 0

￥1325 中华商务图书专营店
for 定时验证和延迟故障测试 Testing Unified and Verification 统一方法 Delay 海外直订A Timing Approach Fault

原价 1325销量 0

￥1325 中华商务图书专营店
Specification Verification 验证与综合 and Synthesis 海外直订VLSI 超大规模集成电路规范

原价 1325销量 0

￥1325 中华商务图书专营店
第20届国际 20th 计算机辅助验证 International Conference Cav Verification 2008 Aided 海外直订Computer Princeton

原价 1325销量 0

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

原价 1325销量 0

￥1325 中华商务图书专营店
Down Appro 可编程嵌入式海外直订Functional Programmable Top Embedded 功能 Verification Architectures 体系结构

原价 1325销量 0

￥1325 中华商务图书专营店
第14届国际 14th 计算机辅助验证 International Conference Cav Verification 2002 Aided 海外直订Computer Copenhagen

原价 1325销量 0

￥1325 中华商务图书专营店

上一页 123 4 5 6 7 8 9 10 11 12 14 下一页

客服