Verification什么牌子好,Verification哪里有卖? - 第1页 - 宝妈美购物网

全部>“Verification” 共929个商品

OneSpineFormal Verification
OneSpineFormal Verification
￥495券后￥5000人已购买
优惠券￥5 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥2,359.3券后￥2,409.30人已购买
优惠券￥50 领券购买 
Verification THINKPAD Wireless OA36193
THINKPAD OA36193 Wireless Mouse Support Officia Verification
￥138.5券后￥141.50人已购买
优惠券￥3 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥2,329.3券后￥2,409.30人已购买
优惠券￥80 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥1,613.4券后￥1,623.40人已购买
优惠券￥10 领券购买 
International Verification Conference Computer
海外直订Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, O 计算机辅助验证：第28届国际
￥612券后￥6620人已购买
优惠券￥50 领券购买 
建模 Specification Verification Modelling
海外直订Reactive Systems: Modelling, Specification and Verification 反应系统：建模、规范和验证
￥1,184券后￥1,2840人已购买
优惠券￥100 领券购买 
自动机时间 Petri Verification
海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
International Verification Conference Edinburgh
海外直订Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, 计算机辅助验证：第22届国际
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
遗传学 Verification 推理基因
海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理：系统遗传学数据方法
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
形式化方法 Verification 算法 Algorithms
海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Verification Computer 辅助验证
海外直订Computer Aided Verification 计算机辅助验证
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Applications Verification Leveraging Validation
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Modeling 利用正式方法、验证和确认的
￥612券后￥6620人已购买
优惠券￥50 领券购买 
预售 Verification 印刷 Gender
预售按需印刷 Gender Verification and the Making of the Female Body in Sport
￥1,626券后￥1,7760人已购买
优惠券￥150 领券购买 
C++实践者 Practitioner's Verification
海外直订Hardware Verification with C++: A Practitioner's Handbook C++硬件验证：实践者手册
￥1,750券后￥1,8500人已购买
优惠券￥100 领券购买 
代数和建模 Probabilistic 概率
海外直订Process Algebra and Probabilistic Methods: Performance Modeling and Verification 过程代数和概率方法:性能建模和
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Interpretation Verification 抽象 Checking
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Interpretation Verification 抽象 Checking
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释
￥612券后￥6620人已购买
优惠券￥50 领券购买 
C++实践者 Verification Practitioner
海外直订Hardware Verification with C++: A Practitioner S Handbook C++硬件验证：实践者手册
￥1,256券后￥1,3560人已购买
优惠券￥100 领券购买 
建模 Verification Modelling 验证
海外直订Modelling and Verification of Secure Exams 安全考试的建模与验证
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Verification 精度算法 Algorithms
海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法：理论与算法
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
并发 Verification Sequential Concurrent
海外直订Verification of Sequential and Concurrent Programs 顺序和并发程序的验证
￥1,133券后￥1,2330人已购买
优惠券￥100 领券购买 
克里归纳 Verification 终止
海外直订Verification, Induction, Termination Analysis: Festschrift for Christoph Walther 验证、归纳、终止分析：克里
￥612券后￥6620人已购买
优惠券￥50 领券购买 
集成电路 Verification 纳米 Soc
海外直订Vlsi-Soc: System-On-Chip in the Nanoscale Era - Design, Verification and Reliabi 超大规模集成电路Soc：纳米
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Applications Verification Leveraging Validation
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Distribu 利用正式方法、验证和确认的
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Verification Integrated Software Analysis
海外直订Software Verification and Analysis: An Integrated, Hands-On Approach 软件验证与分析：一种集成的、实际操作的方法
￥566券后￥6160人已购买
优惠券￥50 领券购买 
预售 Verification Challenges 印刷
预售按需印刷 Challenges Of Verification
￥450券后￥5400人已购买
优惠券￥90 领券购买 
Power 功耗感知 Verification
海外直订Low-Power Design and Power-Aware Verification 低功耗设计和功率感知验证
￥1,505券后￥1,6050人已购买
优惠券￥100 领券购买 
Verification 安全性 Temporal Reactive
海外直订Temporal Verification of Reactive Systems: Safety 反应系统的时间验证：安全性
￥1,358券后￥1,4580人已购买
优惠券￥100 领券购买 
International Verification Conference Computer
海外直订Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, O 计算机辅助验证：第28届国际
￥612券后￥6620人已购买
优惠券￥50 领券购买 
自动机时间 Petri Verification
海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
International Verification Conference Heidelberg
海外直订Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg 计算机辅助验证：第29届国际
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Systemverilog Verification Methodology 验证
海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册
￥1,256券后￥1,3560人已购买
优惠券￥100 领券购买 
Verification 算法 Algorithms Synthesis
海外直订Logic Synthesis and Verification Algorithms 逻辑综合与验证算法
￥948券后￥1,0480人已购买
优惠券￥100 领券购买 
系统工程 Verification Engineering Validation
海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认：评
￥1,623券后￥1,7230人已购买
优惠券￥100 领券购买 
行时 International Verification 研讨
海外直订Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, Ma 运行时验证：第八届国际研讨
￥612券后￥6620人已购买
优惠券￥50 领券购买 
International Verification Conference Computer
海外直订Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, 计算机辅助验证：第21届国际
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
定理 Verification Automated Hardware
海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
International Verification Technology Automated
海外直订Automated Technology for Verification and Analysis: 8th International Symposium, 验证和分析自动化技术：第八届国
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 19th International Co 验证、模型检查和抽象解释：
￥612券后￥6620人已购买
优惠券￥50 领券购买 

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