verification什么牌子好,verification哪里有卖? - 第5页 - 安康生态农业开发平台

全部>“verification” 共913个商品

形式化方法 Verification 算法 Algorithms

海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法

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

海外直订Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, 计算机辅助验证：第21届国际

￥1,153 券后￥1,193 0人已购买
优惠券￥ 40  领券购买 
预售 Verification Challenges 印刷

预售按需印刷 Challenges Of Verification

￥465 券后￥540 0人已购买
优惠券￥ 75  领券购买 
建模 Specification Verification Modelling

海外直订Reactive Systems: Modelling, Specification and Verification 反应系统：建模、规范和验证

￥1,244 券后￥1,284 0人已购买
优惠券￥ 40  领券购买 
Perspectives Verification Deductive 预订

【预订】Deductive Software Verification: Future Perspectives

￥514 券后￥548 0人已购买
优惠券￥ 34  领券购买 
Installations Verification Regulations Electrical

【预订】18th Edition IET Wiring Regulations: Design and Verification of Electrical Installations, 9th ed

￥267 券后￥301 0人已购买
优惠券￥ 34  领券购买 
遗传学 Verification 推理基因

海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理：系统遗传学数据方法

￥1,928 券后￥1,988 0人已购买
优惠券￥ 60  领券购买 
Verification 安全性 Temporal Reactive

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

￥1,097 券后￥1,137 0人已购买
优惠券￥ 40  领券购买 
Verification Disarmament 预订 Nuclear

【预订】Trust in Nuclear Disarmament Verification

￥1,276 券后￥1,356 0人已购买
优惠券￥ 80  领券购买 
Verification Computer 辅助验证

海外直订Computer Aided Verification 计算机辅助验证

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
Authentication Opportunities Verification 预订

【预订】Cross-Media Authentication and Verification: Emerging Research and Opportunities

￥1,203 券后￥1,283 0人已购买
优惠券￥ 80  领券购买 
Verification 精度算法 Algorithms

海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法：理论与算法

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
9781032085197 Verification 预订 Present

【预订】Gender Verification and the Making of the Female Body in Sport: A History of the Present 9781032085197

￥553 券后￥587 0人已购买
优惠券￥ 34  领券购买 
自动机时间 Petri Verification

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

￥1,928 券后￥1,988 0人已购买
优惠券￥ 60  领券购买 
集成电路 Verification 纳米 Nanoscale

海外直订Vlsi-Soc: System-On-Chip in the Nanoscale Era - Design, Verification and Reliabi 超大规模集成电路Soc：纳米

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
International Verification Technology Symposium

海外直订Automated Technology for Verification and Analysis: 18th International Symposium 验证与分析自动化技术:第18届

￥524 券后￥534 0人已购买
优惠券￥ 10  领券购买 
Verification Applications Validation Leveraging

海外直订Leveraging Applications of Formal Methods, Verification and Validation. Modeling 利用正式方法、验证和确认的

￥628 券后￥658 0人已购买
优惠券￥ 30  领券购买 
9783030816841 Verification 预订 Computer

【预订】Computer Aided Verification 9783030816841

￥403 券后￥437 0人已购买
优惠券￥ 34  领券购买 
Interpretation International Verification Abstract

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

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
Interpretation Verification 抽象 Abstract

海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释

￥628 券后￥658 0人已购买
优惠券￥ 30  领券购买 
Verification Validation 预订 Systems

【预订】Verification and Validation of Rule-Based Expert Systems

￥2,269 券后￥2,429 0人已购买
优惠券￥ 160  领券购买 
Interpretation Verification 抽象 Abstract

海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
代数和建模 Probabilistic 概率

海外直订Process Algebra and Probabilistic Methods: Performance Modeling and Verification 过程代数和概率方法:性能建模和

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
Interpretation International Verification Abstract

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

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
9783030816872 Verification 预订 Computer

【预订】Computer Aided Verification 9783030816872

￥403 券后￥437 0人已购买
优惠券￥ 34  领券购买 
定理 Verification Automated Hardware

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

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
Verification Validation Automated 预订

【预订】Validation and Verification of Automated Systems

￥898 券后￥932 0人已购买
优惠券￥ 34  领券购买 
预售 Satisfiability Verification Validation

【预售】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers

￥1,563 券后￥1,643 0人已购买
优惠券￥ 80  领券购买 
International Verification Technology Symposium

海外直订Automated Technology for Verification and Analysis: 8th International Symposium, 验证和分析自动化技术：第八届国

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
第五届 International Verification Hardware

海外直订Hardware and Software: Verification and Testing: 5th International Haifa Verific 硬件和软件:验证和测试:第五届

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
Interpretation Verification 预订 Abstract

【预订】Verification, Model Checking, and Abstract Interpretation

￥951 券后￥985 0人已购买
优惠券￥ 34  领券购买 
Verification 预订 Automata Advances

【预订】Advances in Verification of Time Petri Nets and Timed Automata

￥1,563 券后￥1,643 0人已购买
优惠券￥ 80  领券购买 
Systemverilog Verification Description Rtl

海外直订Systemverilog for Hardware Description: Rtl Design and Verification Systemverilog用于硬件描述:Rtl设计和验证

￥906 券后￥936 0人已购买
优惠券￥ 30  领券购买 
Interpretation International Verification 抽象

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

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
系统工程 Verification Engineering Validation

海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认：评

￥1,663 券后￥1,723 0人已购买
优惠券￥ 60  领券购买 
Verification 算法 Algorithms Synthesis

海外直订Logic Synthesis and Verification Algorithms 逻辑综合与验证算法

￥1,008 券后￥1,048 0人已购买
优惠券￥ 40  领券购买 
Verification 预订 Computer Aided

【预订】Computer Aided Verification

￥403 券后￥437 0人已购买
优惠券￥ 34  领券购买 
Verification Deductive Software 演绎

海外直订Deductive Software Verification - The KeY Book 演绎软件验证-关键手册

￥1,431 券后￥1,471 0人已购买
优惠券￥ 40  领券购买 
9783540677703 Verification 预订 Computer

【预订】Computer Aided Verification 9783540677703

￥1,015 券后￥1,095 0人已购买
优惠券￥ 80  领券购买 
克里归纳 Verification 终止

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

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 

上一页 1 ... 3 4 5 6 7 ... 23 下一页

扫描二维码打开

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

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

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

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

安康生态农业开发平台　　Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved