VERIFICATION什么牌子好,VERIFICATION哪里有卖? - 第2页 - 淘折扣

全部>“VERIFICATION” 共1579个商品

9781475770360 Verification Algorithms Synthesis

【3-4周达】Logic Synthesis and Verification Algorithms [9781475770360]

￥898 券后￥988 0人已购买
优惠券￥ 90  领券购买 
9781461287018 Verification Temporal Reactive

【3-4周达】Temporal Verification of Reactive Systems : Safety [9781461287018]

￥1,115 券后￥1,235 0人已购买
优惠券￥ 120  领券购买 
9781848822399 Verification Integrated Software

【3-4周达】Software Verification and Analysis : An Integrated, Hands-On Approach [9781848822399]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783030057121 Verification Validation Transport

【3-4周达】Discrete Element Method in the Design of Transport Systems: Verification and Validation of... [9783030057121]

￥989 券后￥1,099 0人已购买
优惠券￥ 110  领券购买 
Probabilistic 9783540439134 Verification Performance

【3-4周达】Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second J... [9783540439134]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9781489985132 Verification Methodology Cookbook

【4周达】Open Verification Methodology Cookbook [9781489985132]

￥1,078 券后￥1,198 0人已购买
优惠券￥ 120  领券购买 
9781848827448 Verification Sequential Concurrent

【4周达】Verification of Sequential and Concurrent Programs [9781848827448]

￥1,028 券后￥1,138 0人已购买
优惠券￥ 110  领券购买 
9783319470146 Verification Stateflow Deductive

【4周达】Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach [9783319470146]

￥1,115 券后￥1,235 0人已购买
优惠券￥ 120  领券购买 
9783030187439 Verification Reliability Modelling

【3-4周达】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, a... [9783030187439]

￥572 券后￥632 0人已购买
优惠券￥ 60  领券购买 
International 9783319633862 Verification Conference

【4周达】Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, ... [9783319633862]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9783540642015 Approximation Verification Algorithms

【3-4周达】Lectures on Proof Verification and Approximation Algorithms [9783540642015]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783659687846 Verification 预订 Identity

预订 User Identity Verification Via Mouse Dynamics [9783659687846]

￥619 券后￥679 0人已购买
优惠券￥ 60  领券购买 
9783642423161 Verification Engineering Validation

【4周达】Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models [9783642423161]

￥1,205 券后￥1,335 0人已购买
优惠券￥ 130  领券购买 
Computational 9781584882640 Verification Engineering

【3-4周达】Verification of Computer Codes in Computational Science and Engineering [9781584882640]

￥1,863 券后￥2,063 0人已购买
优惠券￥ 200  领券购买 
9783540654452 Introduction Verification Hardware

【3-4周达】Introduction to Formal Hardware Verification [9783540654452]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
International 9783540892465 Verification Workshop

【4周达】Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 200... [9783540892465]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
regionalizations 9783330053144 verification 预订

预订 The verification of the pluvio-thermal regionalizations of the climate [9783330053144]

￥575 券后￥635 0人已购买
优惠券￥ 60  领券购买 
Approximation 9783030075507 Verification Automation

【3-4周达】Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test [9783030075507]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
9783540646082 International Verification Conference

【3-4周达】Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada... [9783540646082]

￥1,028 券后￥1,138 0人已购买
优惠券￥ 110  领券购买 
International 9783319542911 Verification Numerical

【4周达】Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada,... [9783319542911]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
International 9783540662020 Verification Conference

【4周达】Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10... [9783540662020]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783319205526 Calculations Verification Techniques

【4周达】Verifying Calculations - Forty Years on: An Overview of Classical Verification Techniques fo... [9783319205526]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
Verification International 9783319133379 Hardware

【3-4周达】Hardware and Software: Verification and Testing: 10th International Haifa Verification Con... [9783319133379]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783662514078 Verification Business Programs

【3-4周达】Verification of Business Rules Programs [9783662514078]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9781489990884 Specification Verification Systems

【3-4周达】Specification and Verification of Multi-Agent Systems [9781489990884]

￥1,425 券后￥1,585 0人已购买
优惠券￥ 160  领券购买 
Satisfiability 9783319892146 Verification Validation

【3-4周达】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers [9783319892146]

￥1,416 券后￥1,566 0人已购买
优惠券￥ 150  领券购买 
9783030295363 proliferation Verification Innovative

【4周达】Nuclear Non-proliferation and Arms Control Verification : Innovative Systems Concepts [9783030295363]

￥1,971 券后￥2,191 0人已购买
优惠券￥ 220  领券购买 
9783330028548 Verification Authentic 预订

预订 Consumer Verification System for Authentic Product [9783330028548]

￥575 券后￥635 0人已购买
优惠券￥ 60  领券购买 
9781461281955 Verification Automated Hardware

【3-4周达】Current Trends in Hardware Verification and Automated Theorem Proving [9781461281955]

￥988 券后￥1,098 0人已购买
优惠券￥ 110  领券购买 
9783642430534 Verification Operational Semantics

【3-4周达】Operational Semantics and Verification of Security Protocols [9783642430534]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
Verification International 9783540326045 Hardware

【3-4周达】Hardware and Software, Verification and Testing: First International Haifa Verification Co... [9783540326045]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
Methods Formal International 9783540343042

【4周达】Formal Methods for Hardware Verification: 6th International School on Formal Methods for the... [9783540343042]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783319431734 Verification Structures Algorithms

【3-4周达】New Data Structures and Algorithms for Logic Synthesis and Verification [9783319431734]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783319671031 Verification Reliability Nanoscale

【3-4周达】VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability: 24th... [9783319671031]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783319681665 International Verification Technology

【4周达】Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017... [9783319681665]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
International 9783319415390 Verification Conference

【4周达】Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, ... [9783319415390]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783642171710 Verification Termination Festschrift

【3-4周达】Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Oc... [9783642171710]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783540496991 Verification Internation Approaches

【3-4周达】Formal Approaches to Software Testing and Runtime Verification: First Combined Internation... [9783540496991]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
International 9783030037680 Verification Conference

【3-4周达】Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November ... [9783030037680]

￥747 券后￥827 0人已购买
优惠券￥ 80  领券购买 
9783319843087 Verification Fundamentals Security

【3-4周达】Fundamentals of IP and SoC Security : Design, Verification, and Debug [9783319843087]

￥893 券后￥983 0人已购买
优惠券￥ 90  领券购买 

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

扫描二维码打开

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

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

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

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

最新资讯：

淘折扣滇ICP备2023000592号-3　　滇公网安备53230102000530号统一社会信用代码：91532300MAC2D0R706 Copyright © 2010 - 2025 https://www.bgaw.cn/ All Rights Reserved

×
◆
0

◆

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

◆
返回顶部
◆