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

全部>“Verification” 共443个商品

校正 Verification 摩擦 Crockmeter
AATCC CVC 25摩擦校正布Crockmeter Verification Clot
￥1,415券后￥1,4450人已购买
优惠券￥30 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥2,860.9券后￥2,890.90人已购买
优惠券￥30 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥2,403.6券后￥2,433.60人已购买
优惠券￥30 领券购买 
OneSpineFormal Verification
OneSpineFormal Verification
￥495券后￥5000人已购买
优惠券￥5 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥1,394.6券后￥1,404.60人已购买
优惠券￥10 领券购买 
校正 Verification 摩擦 Crockmeter
AATCC CVC 25摩擦校正布Crockmeter Verification Clot
￥1,220券后￥1,2500人已购买
优惠券￥30 领券购买 
Verification THINKPAD Wireless OA36193
THINKPAD OA36193 Wireless Mouse Support Officia Verification
￥138.5券后￥141.50人已购买
优惠券￥3 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥2,860.9券后￥2,890.90人已购买
优惠券￥30 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥2,329.3券后￥2,409.30人已购买
优惠券￥80 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥2,406.6券后￥2,436.60人已购买
优惠券￥30 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥2,406.6券后￥2,436.60人已购买
优惠券￥30 领券购买 
摩擦校准校正 Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
￥1,613.4券后￥1,623.40人已购买
优惠券￥10 领券购买 
C++实践者 Practitioner's Verification
海外直订Hardware Verification with C++: A Practitioner's Handbook C++硬件验证：实践者手册
￥1,800券后￥1,8500人已购买
优惠券￥50 领券购买 
Verification 安全性 Temporal Reactive
海外直订Temporal Verification of Reactive Systems: Safety 反应系统的时间验证：安全性
￥1,428券后￥1,4580人已购买
优惠券￥30 领券购买 
并发 Verification Sequential Concurrent
海外直订Verification of Sequential and Concurrent Programs 顺序和并发程序的验证
￥1,203券后￥1,2330人已购买
优惠券￥30 领券购买 
自动机时间 Petri Verification
海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验
￥1,938券后￥1,9880人已购买
优惠券￥50 领券购买 
International Verification Conference Computer
海外直订Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, O 计算机辅助验证：第28届国际
￥632券后￥6620人已购买
优惠券￥30 领券购买 
定理 Verification Automated Hardware
海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势
￥1,295券后￥1,3250人已购买
优惠券￥30 领券购买 
自动机时间 Petri Verification
海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验
￥1,938券后￥1,9880人已购买
优惠券￥50 领券购买 
International Verification Conference Edinburgh
海外直订Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, 计算机辅助验证：第22届国际
￥1,295券后￥1,3250人已购买
优惠券￥30 领券购买 
Systemverilog Verification Description Rtl
海外直订Systemverilog for Hardware Description: Rtl Design and Verification Systemverilog用于硬件描述:Rtl设计和验证
￥901券后￥9310人已购买
优惠券￥30 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 19th International Co 验证、模型检查和抽象解释：
￥632券后￥6620人已购买
优惠券￥30 领券购买 
集成电路 Verification 纳米 Soc
海外直订Vlsi-Soc: System-On-Chip in the Nanoscale Era - Design, Verification and Reliabi 超大规模集成电路Soc：纳米
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Verification 算法 Algorithms Synthesis
海外直订Logic Synthesis and Verification Algorithms 逻辑综合与验证算法
￥1,018券后￥1,0480人已购买
优惠券￥30 领券购买 
代数和建模 Probabilistic 概率
海外直订Process Algebra and Probabilistic Methods: Performance Modeling and Verification 过程代数和概率方法:性能建模和
￥632券后￥6620人已购买
优惠券￥30 领券购买 
系统工程 Verification Engineering Validation
海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认：评
￥1,673券后￥1,7230人已购买
优惠券￥50 领券购买 
Applications Verification Leveraging Validation
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Modeling 利用正式方法、验证和确认的
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Applications Verification Leveraging Validation
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Distribu 利用正式方法、验证和确认的
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Verification Integrated Software Analysis
海外直订Software Verification and Analysis: An Integrated, Hands-On Approach 软件验证与分析：一种集成的、实际操作的方法
￥586券后￥6160人已购买
优惠券￥30 领券购买 
Interpretation Verification 抽象 Checking
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释
￥632券后￥6620人已购买
优惠券￥30 领券购买 
International Verification Hardware Software
海外直订Hardware and Software: Verification and Testing: 7th International Haifa Verific 硬件和软件：验证和测试：第
￥582券后￥5870人已购买
优惠券￥5 领券购买 
Simulink 形式化 Verification Stateflow
海外直订Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Simulink/ statflow图的形式化
￥1,494券后￥1,5240人已购买
优惠券￥30 领券购买 
Introduction Verification Hardware 验证
海外直订Introduction to Formal Hardware Verification 正式硬件验证简介
￥586券后￥6160人已购买
优惠券￥30 领券购买 
International Verification Conference Computer
海外直订Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, O 计算机辅助验证：第28届国际
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Systemverilog Verification Methodology 验证
海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册
￥1,326券后￥1,3560人已购买
优惠券￥30 领券购买 
建模 Specification Verification Modelling
海外直订Reactive Systems: Modelling, Specification and Verification 反应系统：建模、规范和验证
￥1,254券后￥1,2840人已购买
优惠券￥30 领券购买 
International Verification Conference Computer
海外直订Computer Aided Verification: 30th International Conference, Cav 2018, Held as Pa 计算机辅助验证：第30届国际
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Verification 精度算法 Algorithms
海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法：理论与算法
￥1,295券后￥1,3250人已购买
优惠券￥30 领券购买 
Applications Verification Leveraging Validation
海外直订Leveraging Applications of Formal Methods, Verification, and Validation: 6th Int 利用正式方法、验证和确认的
￥632券后￥6620人已购买
优惠券￥30 领券购买 
International Verification Conference Computer
海外直订Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Ev 计算机辅助验证：第33届国际
￥481券后￥4860人已购买
优惠券￥5 领券购买 

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