Verification什么牌子好,Verification哪里有卖? - 第3页 - 优惠购商城

全部>“Verification” 共597个商品

Verification 安全性 Temporal Reactive

海外直订Temporal Verification of Reactive Systems: Safety 反应系统的时间验证：安全性

￥1,358 券后￥1,458 0人已购买
优惠券￥ 100  领券购买 
医药图书成像 IGRT Verification

海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 关于治疗验证成像：一个IGRT的研究指南

￥1,734 券后￥1,834 0人已购买
优惠券￥ 100  领券购买 
9783030816841 Verification 预订 Computer

【预订】Computer Aided Verification 9783030816841

￥377 券后￥437 0人已购买
优惠券￥ 60  领券购买 
克里归纳 Verification 终止

海外直订Verification, Induction, Termination Analysis: Festschrift for Christoph Walther 验证、归纳、终止分析：克里

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
9783031171956 Verification 预订 Runtime

【预订】Runtime Verification 9783031171956

￥623 券后￥723 0人已购买
优惠券￥ 100  领券购买 
自动机时间 Petri Verification

海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
Implementation 9783031334573 Verification Technologies

[预订]Tools for Design, Implementation and Verification of Emerging Information Technologies 9783031334573

￥558 券后￥658 0人已购买
优惠券￥ 100  领券购买 
9783639081428 Verification Interlock Analysis

按需印刷不退不换Formal Analysis and Verification of Safety Interlock Systems[9783639081428]

￥690 券后￥770 0人已购买
优惠券￥ 80  领券购买 
International Verification Hardware Software

海外直订Hardware and Software: Verification and Testing: 10th International Haifa Verifi 硬件和软件:验证和测试:第十

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Verification Conference Computer

海外直订Computer Aided Verification: 30th International Conference, Cav 2018, Held as Pa 计算机辅助验证：第30届国际

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
建模 Verification 嵌入式 Synthesis

海外直订Embedded System Design: Modeling, Synthesis and Verification 嵌入式系统设计：建模、综合和验证

￥566 券后￥616 0人已购买
优惠券￥ 50  领券购买 
Verification 预订 Runtime

【预订】Runtime Verification

￥448 券后￥548 0人已购买
优惠券￥ 100  领券购买 
定理 Verification Automated Hardware

海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 19th International Co 验证、模型检查和抽象解释：

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Communication Verification Evaluation Computer

海外直订Verification and Evaluation of Computer and Communication Systems: 11th Internat 计算机和通信系统的验证和评

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Checking

海外直订Verification, Model Checking, and Abstract Interpretation: 17th International Co 验证、模型检查和摘要解释：

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Applications Verification Leveraging Validation

【预订】Leveraging Applications of Formal Methods, Verification and Validation: Applications

￥448 券后￥548 0人已购买
优惠券￥ 100  领券购买 
Verification Technology Automated 预订

【预订】Automated Technology for Verification and Analysis

￥448 券后￥548 0人已购买
优惠券￥ 100  领券购买 
建构 Verification Construction Determined

海外直订Self-Determined Learning Theory: Construction, Verification, and Evaluation 自主学习理论：建构、验证与评价

￥836 券后￥886 0人已购买
优惠券￥ 50  领券购买 
建模 Verification Modelling 验证

海外直订Modelling and Verification of Secure Exams 安全考试的建模和验证

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
9783031212215 Verification Autonomous 预订

【预订】Software Verification and Formal Methods for ML-Enabled Autonomous S 9783031212215

￥606 券后￥706 0人已购买
优惠券￥ 100  领券购买 
Approximations 9783031289453 Verification Numerical

[预订]Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification of Approximations f 9783031289453

￥432 券后￥492 0人已购买
优惠券￥ 60  领券购买 
Verification Dedicated Practice 验证

海外直订Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasi 验证:理论与实践:在

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
形式化方法 Verification Automated Critical

海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统：形式化方法和自动

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
微分方程数值 Verification Numerical

海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法及

￥1,505 券后￥1,605 0人已购买
优惠券￥ 100  领券购买 
International Verification Conference Heidelberg

海外直订Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg 计算机辅助验证：第29届国际

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Applications Verification Leveraging Validation

海外直订Leveraging Applications of Formal Methods, Verification and Validation: Discussi 利用形式方法的应用，验证和

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
9783031377051 Verification 预订 Computer

[预订]Computer Aided Verification 9783031377051

￥377 券后￥437 0人已购买
优惠券￥ 60  领券购买 
行时国际会议 International Verification

海外直订Runtime Verification: Second International Conference, RV 2011, San Francisco, U 运行时验证:第二届国际会议

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Verification Applications Leveraging Validation

【预订】Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

￥782 券后￥932 0人已购买
优惠券￥ 150  领券购买 
C++实践者 Verification Practitioner

海外直订Hardware Verification with C++: A Practitioner S Handbook C++硬件验证：实践者手册

￥1,256 券后￥1,356 0人已购买
优惠券￥ 100  领券购买 
形式化方法 Applications Verification Leveraging

海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用，验证

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Verification Intelligent Signature Analysis

海外直订Intelligent Signature Verification and Analysis 智能签名验证与分析

￥1,010 券后￥1,110 0人已购买
优惠券￥ 100  领券购买 
微处理器 Microprocessor Verification Application

海外直订Design and Verification of Microprocessor Systems for High-Assurance Application 高保证应用微处理器系统的设

￥1,256 券后￥1,356 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification Checking

海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
字符串 Verification Analysis Software

海外直订String Analysis for Software Verification and Security 用于软件验证和安全的字符串分析

￥685 券后￥735 0人已购买
优惠券￥ 50  领券购买 
Verification Computation Scientific Automatic

海外直订Scientific Computation with Automatic Result Verification 具有自动结果验证的科学计算

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
9783030837228 Applications Verification Leveraging

【预订】Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228

￥448 券后￥548 0人已购买
优惠券￥ 100  领券购买 
Transformation 9783031314759 Verification Declarative

[预订]Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essay 9783031314759

￥1,224 券后￥1,424 0人已购买
优惠券￥ 200  领券购买 
Verification 现状验证趋势

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

￥1,490 券后￥1,590 0人已购买
优惠券￥ 100  领券购买 

上一页 1 2 3 4 5 ... 15 下一页

扫描二维码打开

关于我们: 关于我们; 联系我们; 新浪微博; QQ空间; 腾讯微博

商务合作: 卖家报名; 免责声明; 广告合作; APP客户端

用户帮助: 常见问题; 抢购小技巧; 消费者保障

会员中心: 我的收藏; 免费注册; 登录本站; 找回密码

最新资讯：

优惠购商城粤ICP备2021134891号　　Copyright © 2010 - 2021 https://www.51yhgou.com/ All Rights Reserved

×
◆
0

◆
我的订单
◆
我的收入
◆

意见反馈
◆
扫描下载二维码

◆
返回顶部
◆