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

全部>“VERIFICATION” 共1580个商品

9783659273940 Verification Automated 预订

预订 Automated Verification of Dynamic Access Control Policies [9783659273940]

￥804 券后￥894 0人已购买
优惠券￥ 90  领券购买 
9781489984449 Verification Techniques Scalable

【4周达】Scalable Techniques for Formal Verification [9781489984449]

￥893 券后￥983 0人已购买
优惠券￥ 90  领券购买 
9783030034177 Applications Verification Leveraging

【4周达】Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th Intern... [9783030034177]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
International 9783642221095 Verification Conference

【4周达】Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, Ju... [9783642221095]

￥577 券后￥637 0人已购买
优惠券￥ 60  领券购买 
9783642142949 International Verification Conference

【3-4周达】Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, Uk, July ... [9783642142949]

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

【3-4周达】Open Source Software: Quality Verification: 9th IFIP WG 2.13 International Conference, OSS... [9783642427435]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783843385060 Verification Protocols Adjacency

预订 Secure Protocols for Location, Adjacency, and Identity Verification [9783843385060]

￥898 券后￥998 0人已购买
优惠券￥ 100  领券购买 
International 9783319516400 Applications Verification

【3-4周达】Leveraging Applications of Formal Methods, Verification, and Validation: 6th International... [9783319516400]

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

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

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9781849968294 Verification Integrated Software

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

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

【3-4周达】Empirical Software Engineering and Verification : International Summer Schools, LASER 2008... [9783642252303]

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

预订 Runtime Verification of Information flow [9783845432748]

￥898 券后￥998 0人已购买
优惠券￥ 100  领券购买 
9783319216676 International Verification Conference

【3-4周达】Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, ... [9783319216676]

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

预订 Towards the verification of surface wind forecasts at Jkia, Kenya [9786200469472]

￥619 券后￥679 0人已购买
优惠券￥ 60  领券购买 
International 9783319961415 Verification Conference

【3-4周达】Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the ... [9783319961415]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9783330023949 verification 预订 delivery

预订 VMAT plans and delivery verification using MONACO TPS and Octavius 4D [9783330023949]

￥448 券后￥498 0人已购买
优惠券￥ 50  领券购买 
9786138388760 Verification 预订 Formal

预订 Formal Verification Of FDIR in Smart Grid [9786138388760]

￥771 券后￥851 0人已购买
优惠券￥ 80  领券购买 
International 9783319961446 Verification Conference

【3-4周达】Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the ... [9783319961446]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9783662452301 Applications Verification Specialized

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techni... [9783662452301]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9783658126797 Verification Simulation Efficient

【3-4周达】Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite N... [9783658126797]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
Parameterized 9783838134604 Verification Mechanical

预订 Mechanical Verification of Parameterized Real-Time Systems [9783838134604]

￥1,022 券后￥1,132 0人已购买
优惠券￥ 110  领券购买 
9783319866208 Comprehensive Verification Technologies

【3-4周达】ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Method... [9783319866208]

￥1,224 券后￥1,354 0人已购买
优惠券￥ 130  领券购买 
9783030097899 Verification Modelling Secure

【3-4周达】Modelling and Verification of Secure Exams [9783030097899]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
9786139879144 verification Practical 预订

预订 Practical methods of verification of heating costs [9786139879144]

￥619 券后￥679 0人已购买
优惠券￥ 60  领券购买 
9783319756318 Verification Introductory Lectures

【3-4周达】Lectures on Runtime Verification : Introductory and Advanced Topics [9783319756318]

￥630 券后￥690 0人已购买
优惠券￥ 60  领券购买 
9783319576831 Verification Formal System

【4周达】Formal System Verification : State-of the-Art and Future Trends [9783319576831]

￥1,205 券后￥1,335 0人已购买
优惠券￥ 130  领券购买 
Interpretation International 9783642358722 Verification

【3-4周达】Verification, Model Checking, and Abstract Interpretation : 14th International Conference,... [9783642358722]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
International 9783319635002 Verification Heidelberg

【4周达】Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany... [9783319635002]

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

【3-4周达】Open Source Software: Quality Verification: 9th IFIP WG 2.13 International Conference, OSS... [9783642389276]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783319862231 Verification Formal System

【4周达】Formal System Verification : State-of the-Art and Future Trends [9783319862231]

￥1,205 券后￥1,335 0人已购买
优惠券￥ 130  领券购买 
9783319827537 Verification Structures Algorithms

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

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

【3-4周达】Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, ... [9783642314230]

￥577 券后￥637 0人已购买
优惠券￥ 60  领券购买 
9783540639824 Verification Sequential Automatic

【3-4周达】Automatic Verification of Sequential Infinite-State Processes [9783540639824]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783642093470 Applications Verification Computation

【4周达】The Calculus of Computation : Decision Procedures with Applications to Verification [9783642093470]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783540607618 Verification Concurrent Approach

【3-4周达】Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the Stat... [9783540607618]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
9783330350465 Verification Radiotherapy Irradiation

预订 Verification of Head and Neck External Beam Irradiation in Radiotherapy [9783330350465]

￥575 券后￥635 0人已购买
优惠券￥ 60  领券购买 
9783642156427 International Verification Technology

【3-4周达】Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010... [9783642156427]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783319684987 Verification Reliability Modelling

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

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783540210023 Verification Dedicated Practice

【4周达】Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 6... [9783540210023]

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

【3-4周达】Verification, Model Checking, and Abstract Interpretation : 5th International Conference, ... [9783540208037]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 

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

扫描二维码打开

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

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

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

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

最新资讯：

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

×
◆
0

◆

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

◆
返回顶部
◆