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

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

首页全部商品

书籍/杂志/报纸

共 400 款相关商品

商品分类

热门搜索

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

Cav Conference Verification Aided 计算机辅助验证：第17届国际 Edinburgh 2005 International 17th 海外直订Computer

原价 1325销量 0

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

原价 1325销量 0

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

原价 1325销量 0

￥1325 中华商务图书专营店
Time Real Verification 组合验证并发和实时系统 Systems and Concurrent 海外直订Compositional

原价 1325销量 0

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

原价 1284销量 0

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

原价 1233销量 0

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

原价 1230销量 0

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

原价 1230销量 0

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

原价 1203销量 0

￥1196 中华商务图书专营店
System Desi 验证海外直订High Methods Verification and Level Tools for 用于验证系统级设计

原价 1203销量 0

￥1196 中华商务图书专营店
智能签名验证与分析 Signature and Analysis 海外直订Intelligent Verification

原价 1110销量 0

￥1110 中华商务图书专营店
for Key 扩展密钥 C程序验证 Programs Verification the 海外直订Extending

原价 1110销量 0

￥1110 中华商务图书专营店
Algorithms Verification Synthesis and 海外直订Logic

原价 1110销量 0

￥1110 中华商务图书专营店
Analysis and Verification 海外直订String for Software 用于****验证和安全 Security 字符串分析

原价 1070销量 0

￥1070 中华商务图书专营店
and 设计 IP和Soc安全基础 Design Security 验证和调试 Verification 海外直订Fundamentals Soc Debug

原价 1070销量 0

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

原价 1048销量 0

￥1048 中华商务图书专营店
Verification 海外直订Kant Solution for 康德 Metaphysics 形而上学验证解

原价 1039销量 0

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

原价 986销量 0

￥986 中华商务图书专营店
海外直订Computer and CMM Inspection Aided 计算机辅助三坐标测量机检验计划与验证 Verification Planning

原价 955销量 0

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

原价 936销量 0

￥931 中华商务图书专营店
and Verification Learning Determined 验证与评价自主学习理论：建构 Evaluation Construction Theory 海外直订Self

原价 886销量 0

￥886 中华商务图书专营店
第22届国际会议 International 运行时验证 Conference 2022 22nd Tbilisi Verification 海外直订Runtime Georgia

原价 802销量 0

￥797 中华商务图书专营店
验证与设计优化研究 Stokes Stokes码 Code Verification and Navier Design 海外直订Investigation Optimization

原价 754销量 0

￥754 中华商务图书专营店
Analysis and Verification 海外直订String for Software 用于****验证和安全 Security 字符串分析

原价 735销量 0

￥735 中华商务图书专营店
and Introductory 海外直订Lectures Runtime Verification Topics Advanced 运行时验证讲座：介绍性和高级主题

原价 735销量 0

￥735 中华商务图书专营店
Usages Frama 海外直订Guide Software Verification Components Core Applic with and Guide

原价 735销量 0

￥735 中华商务图书专营店
Information Techno 新兴信息技术海外直订Tools Implementation Design Emerging and 实现和 for Verification 设计

原价 735销量 0

￥731 中华商务图书专营店
挑战核实 Verification 海外直订Challenges

原价 699销量 0

￥699 中华商务图书专营店
化分析与验证 Verification 形式 Safety Interlock and Systems Analysis 海外直订Formal 安全联锁系统

原价 688销量 0

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

原价 662销量 0

￥662 中华商务图书专营店

上一页 1 234 5 6 7 8 9 10 11 12 14 下一页

客服