verification 全部 - 淘宝特价

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

首页全部商品

共 1597 款相关商品

商品分类

全部

热门搜索

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

for Algorithms and 海外直订New Data Verification Structures 新数据结构与算法 Synthesis Logic 逻辑综合与验证

原价 553销量 0

￥553 中华商务图书专营店
Study Imaging 海外直订医药图书On Treatment IGRT Verification 研究指南 for Guide 关于治疗验证成像：一个IGRT

原价 1405销量 0

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

原价 1033销量 0

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

原价 639销量 0

￥639 中华商务图书专营店
Approximate Polynomial Formal Functions 9783658418878 Verification 预订

原价 1205销量 0

￥1205 中国国际图书专营店
验证 Approximate 海外直订Polynomial 形式近似函数多项式 Functions Verification Formal

原价 1087销量 0

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

原价 883销量 0

￥883 中华商务图书专营店
KeY 海外直订Deductive 演绎****验证 The Book Software Verification 关键手册

原价 1209销量 0

￥1209 中华商务图书专营店
International Verification Software 海外直订Tools for Laser Practical 实用****验证工具：国际暑期 School Summer

原价 494销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
Workshop International 海外直订Runtime Verification Hungary 8th 运行时验证：第八届国际研讨 Budapest 2008

原价 553销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
Computer Verification Aided 9783031377082 预订

原价 437销量 0

￥437 中国国际图书专营店
验证和分析自动化技术：第16 and 海外直订Automated Symposium 16th International Analysis Verification for Technology

原价 639销量 0

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

原价 1137销量 0

￥1137 中华商务图书专营店
Workshop International 海外直订Runtime Verification France 9th 运行时验证：第九届国际研讨 Grenoble 2009 Jun

原价 553销量 0

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

原价 1550销量 0

￥1550 中华商务图书专营店
Particle Design Digital for Processor 用于粒子探测器海外直订A Test and 数字信号处 Signal Verification Detectors

原价 1654销量 0

￥1654 中华商务图书专营店
Uml Models Validation Verification 使用可满足性求解器海外直订Automated Solve Satisfiability Using Ocl

原价 1550销量 0

￥1550 中华商务图书专营店
Analysis and Verification 海外直订Automated Technology Symposium for 第18届 International 18th 验证与分析自动化技术

原价 534销量 0

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

原价 1185销量 0

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

原价 1193销量 0

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

原价 1104销量 0

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

原价 1033销量 0

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

原价 552销量 0

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

原价 669销量 0

￥669 中华商务图书专营店
State 海外直订Automatic Processes Sequential 连续无限状态过程自动验证 Infinite Verification

原价 553销量 0

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

原价 553销量 0

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

原价 817销量 0

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

原价 1789销量 0

￥1789 中华商务图书专营店

上一页 1 ..12 13 14 15 161718 19 20 21 22 54 下一页

客服