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

全部>“verification” 共897个商品

Verification 预订 Hardware Software
【预订】Hardware and Software: Verification and Testing
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Verification Numerical 预订 Software
【预订】Numerical Software with Result Verification
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Verification Concurrency 预订
【预订】Concurrency Verification
￥2,813券后￥2,9730人已购买
优惠券￥160 领券购买 
Verification Technology Automated 预订
【预订】Automated Technology for Verification and Analysis
￥514券后￥5480人已购买
优惠券￥34 领券购买 
9781441954206 Verification 预订 Advanced
【预订】Advanced Formal Verification 9781441954206
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预售 Verification Disarmament Strategic
预售按需印刷 Strategic Disarmament, Verification and National Security
￥1,076券后￥1,2260人已购买
优惠券￥150 领券购买 
9781498110020 Supernatural Verification 预订
预订 The Supernatural in Nature: A Verification by Free Use of Science: 9781498110020
￥607券后￥6410人已购买
优惠券￥34 领券购买 
科学出版社 interpretation 9787030703989 verification
正版包邮定制化绿色信息影响研究:探索、验证和解释:exploration verification and interpretation9787030703989科学出版社书籍
￥129.7券后￥132.70人已购买
优惠券￥3 领券购买 
Interpretation International Verification Checking
海外直订Verification, Model Checking, and Abstract Interpretation: 20th International Co 验证、模型检查和摘要解释：
￥524券后￥5340人已购买
优惠券￥10 领券购买 
医药图书成像 IGRT Verification
海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 关于治疗验证成像：一个IGRT的研究指南
￥1,446券后￥1,4860人已购买
优惠券￥40 领券购买 
建模 Verification Modelling 验证
海外直订Modelling and Verification of Secure Exams 安全考试的建模和验证
￥543券后￥5530人已购买
优惠券￥10 领券购买 
微处理器 Microprocessor Verification Application
海外直订Design and Verification of Microprocessor Systems for High-Assurance Application 高保证应用微处理器系统的设
￥1,145券后￥1,1850人已购买
优惠券￥40 领券购买 
Verification 精度算法 Algorithms
海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法：理论与算法
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
预售 Specification Verification Systolic
【预售】Specification and Verification of Systolic Arrays
￥452券后￥4860人已购买
优惠券￥34 领券购买 
Verification 预订 Computer Aided
【预订】Computer Aided Verification: 29th In...
￥514券后￥5480人已购买
优惠券￥34 领券购买 
微分方程数值 Verification Numerical
海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法及
￥1,339券后￥1,3790人已购买
优惠券￥40 领券购买 
Applications Verification Leveraging Validation
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Distribu 利用正式方法、验证和确认的
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Systemverilog Verification Methodology 验证
海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册
￥1,181券后￥1,2210人已购买
优惠券￥40 领券购买 
行时 International Verification 研讨
海外直订Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, Ma 运行时验证：第八届国际研讨
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Verification 预订 Hardware Software
【预订】Hardware and Software: Verification ...
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Interpretation International Verification Checking
海外直订Verification, Model Checking, and Abstract Interpretation: 12th International Co 验证、模型检验和摘要解释:
￥599券后￥6290人已购买
优惠券￥30 领券购买 
第五届 International Verification Hardware
海外直订Hardware and Software: Verification and Testing: 5th International Haifa Verific 硬件和软件:验证和测试:第五届
￥609券后￥6390人已购买
优惠券￥30 领券购买 
集成电路 Verification 纳米 Soc
海外直订Vlsi-Soc: System-On-Chip in the Nanoscale Era - Design, Verification and Reliabi 超大规模集成电路Soc：纳米
￥609券后￥6390人已购买
优惠券￥30 领券购买 
International Verification Conference Computer
海外直订Computer Aided Verification: 30th International Conference, Cav 2018, Held as Pa 计算机辅助验证：第30届国际
￥524券后￥5340人已购买
优惠券￥10 领券购买 
遗传学 Verification 推理基因
海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理：系统遗传学数据方法
￥1,729券后￥1,7890人已购买
优惠券￥60 领券购买 
International Verification Technology Automated
海外直订Automated Technology for Verification and Analysis: 18th International Symposium 验证与分析自动化技术:第18届
￥524券后￥5340人已购买
优惠券￥10 领券购买 
系统工程 Verification Engineering Validation
海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认：评
￥1,303券后￥1,3430人已购买
优惠券￥40 领券购买 
Verification Computer 辅助验证
海外直订Computer Aided Verification 计算机辅助验证
￥524券后￥5340人已购买
优惠券￥10 领券购买 
International Verification Technology Automated
海外直订Automated Technology for Verification and Analysis: 16th International Symposium 验证和分析自动化技术：第16
￥609券后￥6390人已购买
优惠券￥30 领券购买 
Systemc Verification Simulation Efficient
海外直订Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Systemc模型的
￥609券后￥6390人已购买
优惠券￥30 领券购买 
自动机时间 Petri Verification
海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验
￥1,510券后￥1,5500人已购买
优惠券￥40 领券购买 
International Verification Conference Edinburgh
海外直订Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, 计算机辅助验证：第22届国际
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
International Verification Technology Automated
海外直订Automated Technology for Verification and Analysis: 8th International Symposium, 验证和分析自动化技术：第八届国
￥543券后￥5530人已购买
优惠券￥10 领券购买 
求解 Satisfiability Verification Validation
海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的
￥1,510券后￥1,5500人已购买
优惠券￥40 领券购买 
Verification 安全性 Temporal Reactive
海外直订Temporal Verification of Reactive Systems: Safety 反应系统的时间验证：安全性
￥1,097券后￥1,1370人已购买
优惠券￥40 领券购买 
自动机时间 Petri Verification
海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验
￥1,510券后￥1,5500人已购买
优惠券￥40 领券购买 
克里归纳 Verification 终止
海外直订Verification, Induction, Termination Analysis: Festschrift for Christoph Walther 验证、归纳、终止分析：克里
￥609券后￥6390人已购买
优惠券￥30 领券购买 
定理 Verification Automated Hardware
海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势
￥1,153券后￥1,1930人已购买
优惠券￥40 领券购买 
代数和建模 Probabilistic 概率
海外直订Process Algebra and Probabilistic Methods: Performance Modeling and Verification 过程代数和概率方法:性能建模和
￥543券后￥5530人已购买
优惠券￥10 领券购买 
建模 Verification Modelling 验证
海外直订Modelling and Verification of Secure Exams 安全考试的建模与验证
￥543券后￥5530人已购买
优惠券￥10 领券购买 

上一页 1 ... 10 11 12 13 14 ... 23 下一页