Verification什么牌子好,Verification哪里有卖? - 第9页 - 优惠购商城

全部>“Verification” 共597个商品

分布式 Methodologies 控制系统 Verification

海外直订Next Generation Design and Verification Methodologies for Distributed Embedded C 下一代分布式嵌入式控制系统的设

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
Computer International Verification Conference

海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Computer A

￥413 券后￥443 0人已购买
优惠券￥ 30  领券购买 
9780367546656 Verification Cryptography 预订

[预订]Handbook of Formal Analysis and Verification in Cryptography 9780367546656

￥2,006 券后￥2,306 0人已购买
优惠券￥ 300  领券购买 
软件工程 Verification Engineering Empirical

海外直订Empirical Software Engineering and Verification 经验软件工程与验证

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International 9783031131844 Verification Conference

【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131844

￥377 券后￥437 0人已购买
优惠券￥ 60  领券购买 
9783031453311 Verification Technology Automated

[预订]Automated Technology for Verification and Analysis 9783031453311

￥671 券后￥821 0人已购买
优惠券￥ 150  领券购买 
International 9783031131875 Verification Conference

【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131875

￥377 券后￥437 0人已购买
优惠券￥ 60  领券购买 
布尔 Verification 推理 Reasoning

海外直订Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Te 布尔推理:使用测试技术

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
Specification International Verification Interactive

海外直订Interactive Systems: Design, Specification, and Verification: 15th International 交互系统:设计、规范和验证:

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
行时 Java Verification Approach

海外直订Runtime Verification: A Hands-On Approach in Java 运行时验证:Java中的一种实践方法

￥566 券后￥616 0人已购买
优惠券￥ 50  领券购买 
2024 International Verification Conference

预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

￥377 券后￥437 0人已购买
优惠券￥ 60  领券购买 
Guide Verification Components Software

海外直订Guide to Software Verification with Frama-C: Core Components, Usages, and Applic Guide to S

￥685 券后￥735 0人已购买
优惠券￥ 50  领券购买 
Communication International Verification Evaluation

预订 Verification and Evaluation of Computer and Communication Systems 17th International Conference, VECoS 2024, Djerba

￥646 券后￥746 0人已购买
优惠券￥ 100  领券购买 
Verification Programming Pragmatic Oriented

海外直订Aspect-Oriented Programming with the E Verification Language: A Pragmatic Guide 使用E验证语言进行面向方面

￥1,363 券后￥1,463 0人已购买
优惠券￥ 100  领券购买 
Computer International Verification Conference

海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Computer A

￥413 券后￥443 0人已购买
优惠券￥ 30  领券购买 
嵌入式 Embedded Systems 系统

海外直订Embedded Systems Handbook: Embedded Systems Design and Verification 嵌入式系统手册:嵌入式系统设计与验证

￥2,499 券后￥2,599 0人已购买
优惠券￥ 100  领券购买 
工程设计 Verification 可靠性 Reliability

海外直订Reliability Verification, Testing, and Analysis in Engineering Design 工程设计中的可靠性验证、测试与分析

￥3,942 券后￥4,042 0人已购买
优惠券￥ 100  领券购买 
Verification 分辨 Simulations Resolving

海外直订Radar Forward Operator for Verification of Cloud Resolving Simulations within th 在COSMO模型中验证云分辨模

￥792 券后￥842 0人已购买
优惠券￥ 50  领券购买 
Verification Design Co Heterogeneous

预订 Heterogeneous SoC Design and Verification HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging 异构SoC

￥475 券后￥575 0人已购买
优惠券￥ 100  领券购买 
9783030988494 Communication Verification Evaluation

【预订】Verification and Evaluation of Computer and Communication Systems 9783030988494

￥503 券后￥603 0人已购买
优惠券￥ 100  领券购买 
dynamic verification Deductive oriented

海外直订Deductive verification of object-oriented software: dynamic frames, dynamic logi 面向对象软件的演绎验证:动

￥645 券后￥695 0人已购买
优惠券￥ 50  领券购买 
中商底漆 Step Introduction

The Uvm Primer: A Step-By-Step Introduction to the Universal Verification Method uvm底漆：通用验证方法的逐【中商原版】

￥263 券后￥278 0人已购买
优惠券￥ 15  领券购买 
Specification Compositional Verification 实时

海外直订Specification and Compositional Verification of Real-Time Systems 实时系统的规范和组成验证

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
9780691181301 Verification 预订 Software

预订不退不换Formal Verification of Control System Software[9780691181301]

￥788 券后￥888 0人已购买
优惠券￥ 100  领券购买 
Computer International Verification Conference

海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Computer A

￥413 券后￥443 0人已购买
优惠券￥ 30  领券购买 
国际会议 International Verification Conference

海外直订Computer Aided Verification: 8th International Conference, Cav '96, New Brunswic 计算机辅助验证:第8届国际会议

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
9780821865941 Verification 预订 Computer

预订 Computer-aided Verification: 9780821865941

￥1,425 券后￥1,625 0人已购买
优惠券￥ 200  领券购买 
9780821806807 Verification 预订 System

预订 The SPIN Verification System: 9780821806807

￥651 券后￥801 0人已购买
优惠券￥ 150  领券购买 
9780821805794 Verification 预订 Partial

[预订]Partial Order Methods in Verification 9780821805794

￥1,177 券后￥1,377 0人已购买
优惠券￥ 200  领券购买 
2024 International Verification Proceedings

预订 Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

￥503 券后￥603 0人已购买
优惠券￥ 100  领券购买 
Requirements Needs 系统工程 Verification

预订 Incose Needs and Requirements Manual: Needs, Requirements, Verification, Validation Across the Lifecycle 系统工程国

￥877 券后￥1,077 0人已购买
优惠券￥ 200  领券购买 
数据挖掘 Verification Techniques Algorithms

预订 Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms 使用数据挖掘

￥949 券后￥1,149 0人已购买
优惠券￥ 200  领券购买 
Design 软硬件 Heterogeneous Verification

海外直订Heterogeneous Soc Design and Verification: Hw/SW Co-Exploration, Co-Design, Co-V 异构Soc设计与验证：软硬件

￥566 券后￥616 0人已购买
优惠券￥ 50  领券购买 
International Verification Conference Computer

海外直订Computer Aided Verification: 34th International Conference, Cav 2022, Haifa, Isr 计算机辅助验证:第34届国际

￥459 券后￥489 0人已购买
优惠券￥ 30  领券购买 
测定 Verification Biometrics Technology

海外直订The Science of Biometrics: Security Technology for Identity Verification 生物测定学：身份验证的安全技术

￥851 券后￥901 0人已购买
优惠券￥ 50  领券购买 
核心组 Frama Verification Applications

预订 Guide to Software Verification with Frama-C Core Components, Usages, and Applications Frama-C 软件验证指南：核心组

￥475 券后￥575 0人已购买
优惠券￥ 100  领券购买 
International Verification Conference Computer

海外直订Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Ge 计算机辅助验证:第19届国际

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Verification Techniques Successful Advanced

海外直订Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeou 高级验证技术:成功的Tapeo

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
2024 International Verification Conference

预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

￥377 券后￥437 0人已购买
优惠券￥ 60  领券购买 
2024 International Verification Conference

预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

￥377 券后￥437 0人已购买
优惠券￥ 60  领券购买 

上一页 1 ... 7 8 9 10 11 ... 15 下一页

扫描二维码打开

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

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

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

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

最新资讯：

优惠购商城粤ICP备2021134891号　　Copyright © 2010 - 2021 https://www.51yhgou.com/ All Rights Reserved

×
◆
0

◆
我的订单
◆
我的收入
◆

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

◆
返回顶部
◆