• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 预订 Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, Octo

      InternationalVerificationTechnologyAutomated

      预订 Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, Octo

      ¥1,209券后¥1,2890人已购买
      优惠券¥80 领券购买 
    • 预订 The Supernatural In Nature: A Verification By Free Use Of Science: 9781425496630

      9781425496630SupernaturalVerification预订

      预订 The Supernatural In Nature: A Verification By Free Use Of Science: 9781425496630

      ¥283券后¥3170人已购买
      优惠券¥34 领券购买 
    • 海外直订Verification-based software-fault detection 进行软件故障检测

      Verificationdetectionsoftware故障

      海外直订Verification-based software-fault detection 进行软件故障检测

      ¥730券后¥7600人已购买
      优惠券¥30 领券购买 
    • 预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding

      2025InternationalVerificationConference

      预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding

      ¥735券后¥7690人已购买
      优惠券¥34 领券购买 
    • 海外直订Correct Hardware Design and Verification Methods: Ifip Wg10.5 Advanced Research  正确的硬件设计和验证方法:If

      硬件设计VerificationHardwareAdvanced

      海外直订Correct Hardware Design and Verification Methods: Ifip Wg10.5 Advanced Research 正确的硬件设计和验证方法:If

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Taxonomies for the Development and Verification of Digital Systems 数字系统开发和验证的分类法

      分类法VerificationDevelopmentTaxonomies

      海外直订Taxonomies for the Development and Verification of Digital Systems 数字系统开发和验证的分类法

      ¥985券后¥1,0250人已购买
      优惠券¥40 领券购买 
    • 海外直订Compositional Verification of Concurrent and Real-Time Systems 并发和实时系统的组合验证

      并发CompositionalVerificationConcurrent

      海外直订Compositional Verification of Concurrent and Real-Time Systems 并发和实时系统的组合验证

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding

      2025InternationalVerificationConference

      预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding

      ¥735券后¥7690人已购买
      优惠券¥34 领券购买 
    • 海外直订The Secd Microprocessor: A Verification Case Study 第二微处理器:验证案例研究

      微处理器MicroprocessorVerification验证

      海外直订The Secd Microprocessor: A Verification Case Study 第二微处理器:验证案例研究

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Writing Testbenches: Functional Verification of Hdl Models 编写测试平台:Hdl模型的功能验证

      VerificationTestbenchesFunctionalHdl

      海外直订Writing Testbenches: Functional Verification of Hdl Models 编写测试平台:Hdl模型的功能验证

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Interactive Systems: Design, Specification, and Verification: 9th International  交互式系统:设计、规范和验

      交互式SpecificationInternationalVerification

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 6th International Con 验证、模型检验和抽象解释:

      InterpretationInternationalVerification抽象

      海外直订Verification, Model Checking, and Abstract Interpretation: 6th International Con 验证、模型检验和抽象解释:

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Heterogeneous Soc Design and Verification: Hw/SW Co-Exploration, Co-Design, Co-V 异构Soc设计与验证:软硬件

      Design软硬件HeterogeneousVerification

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

      ¥520券后¥5300人已购买
      优惠券¥10 领券购买 
    • 海外直订Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Te 布尔推理:使用测试技术

      布尔Verification推理Reasoning

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

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Runtime Verification: A Hands-On Approach in Java 运行时验证:Java中的一种实践方法

      行时JavaVerificationApproach

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

      ¥487券后¥4970人已购买
      优惠券¥10 领券购买 
    • 海外直订Numerical Software with Result Verification: International Dagstuhl Seminar, Dag 数值软件与结果验证:国际Dag

      数值InternationalVerificationNumerical

      海外直订Numerical Software with Result Verification: International Dagstuhl Seminar, Dag 数值软件与结果验证:国际Dag

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Communication Protocol Specification and Verification 通信协议规范与验证

      CommunicationSpecificationVerificationProtocol

      海外直订Communication Protocol Specification and Verification 通信协议规范与验证

      ¥2,007券后¥2,0670人已购买
      优惠券¥60 领券购买 
    • 海外直订Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research 正确的硬件设计和验证方法:

      硬件设计VerificationHardwareAdvanced

      海外直订Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research 正确的硬件设计和验证方法:

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 预订 Accessible Technologies for the Verification of Origin of Dairy Products as an Example Control System to Enhance Gl

      TechnologiesVerificationAccessible预订

      预订 Accessible Technologies for the Verification of Origin of Dairy Products as an Example Control System to Enhance Gl

      ¥186券后¥2020人已购买
      优惠券¥16 领券购买 
    • 海外直订A Unified Approach for Timing Verification and Delay Fault Testing 定时验证和延迟故障测试的统一方法

      延迟Verification定时Approach

      海外直订A Unified Approach for Timing Verification and Delay Fault Testing 定时验证和延迟故障测试的统一方法

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 预订 Verification And Validation For Quality Of Uml 2.0  Models UML 2.0 建模质量检验和确认: 9780471727835

      质量检验建模9780471727835Verification

      预订 Verification And Validation For Quality Of Uml 2.0 Models UML 2.0 建模质量检验和确认: 9780471727835

      ¥1,555券后¥1,6350人已购买
      优惠券¥80 领券购买 
    • 海外直订Iet Wiring Regulations: Design and Verification of Electrical Installations

      InstallationsVerificationRegulationsElectrical

      海外直订Iet Wiring Regulations: Design and Verification of Electrical Installations

      ¥1,860券后¥1,9200人已购买
      优惠券¥60 领券购买 
    • 按需印刷Computer Aided Verification[9781013270994]

      9781013270994VerificationComputer印刷

      按需印刷Computer Aided Verification[9781013270994]

      ¥704券后¥8040人已购买
      优惠券¥100 领券购买 
    • 预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding

      2025InternationalVerificationConference

      预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding

      ¥735券后¥7690人已购买
      优惠券¥34 领券购买 
    • 预订 Verification of Autonomous Systems 自主系统验证: 9783031885457

      9783031885457VerificationAutonomous预订

      预订 Verification of Autonomous Systems 自主系统验证: 9783031885457

      ¥1,745券后¥1,8250人已购买
      优惠券¥80 领券购买 
    • 海外直订Reliability Verification, Testing, and Analysis in Engineering Design 工程设计中的可靠性验证、测试与分析

      工程设计Verification可靠性Reliability

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

      ¥3,610券后¥3,6700人已购买
      优惠券¥60 领券购买 
    • 海外直订Handbook of Formal Analysis and Verification in ... 密码学中的形式分析与验证手册

      密码学VerificationHandbookAnalysis

      海外直订Handbook of Formal Analysis and Verification in ... 密码学中的形式分析与验证手册

      ¥1,813.1券后¥1,873.10人已购买
      优惠券¥60 领券购买 
    • 海外直订Automated Technology for Verification and Analysis: 14th International Symposium 自动化验证和分析技术:第14

      InternationalVerificationTechnologyAutomated

      海外直订Automated Technology for Verification and Analysis: 14th International Symposium 自动化验证和分析技术:第14

      ¥536券后¥5460人已购买
      优惠券¥10 领券购买 
    • 海外直订Automated Technology for Verification and Analysis: 10th International Symposium 验证和分析自动化技术:第十

      InternationalVerificationTechnologyAutomated

      海外直订Automated Technology for Verification and Analysis: 10th International Symposium 验证和分析自动化技术:第十

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Hardware and Software: Verification and Testing: 8th International Haifa Verific 硬件和软件:验证和测试:第

      InternationalVerificationHardwareSoftware

      海外直订Hardware and Software: Verification and Testing: 8th International Haifa Verific 硬件和软件:验证和测试:第

      ¥484券后¥4940人已购买
      优惠券¥10 领券购买 
    • 海外直订Hardware and Software: Verification and Testing: 6th International Haifa Verific 硬件和软件:验证和测试:第

      InternationalVerificationHardwareSoftware

      海外直订Hardware and Software: Verification and Testing: 6th International Haifa Verific 硬件和软件:验证和测试:第

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Principles of Functional Verification 功能验证原则

      VerificationPrinciplesFunctional验证

      海外直订Principles of Functional Verification 功能验证原则

      ¥1,203券后¥1,2430人已购买
      优惠券¥40 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte 利用形式方法的应用,验证和

      ApplicationsVerificationLeveragingValidation

      海外直订Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte 利用形式方法的应用,验证和

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal,  Computer A

      ComputerInternationalVerificationConference

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

      ¥433券后¥4430人已购买
      优惠券¥10 领券购买 
    • 海外直订The Secd Microprocessor: A Verification Case Study SECD微处理器:验证案例研究

      微处理器SecdMicroprocessorVerification

      海外直订The Secd Microprocessor: A Verification Case Study SECD微处理器:验证案例研究

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Software Verification and Validation for Practitioners and Managers 2nd ed. 从业人员和管理人员的软件验证和

      人员PractitionersVerification从业

      海外直订Software Verification and Validation for Practitioners and Managers 2nd ed. 从业人员和管理人员的软件验证和

      ¥1,212券后¥1,2520人已购买
      优惠券¥40 领券购买 
    • 海外直订Radar Forward Operator for Verification of Cloud Resolving Simulations within th 在COSMO模型中验证云分辨模

      Verification分辨SimulationsResolving

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

      ¥711.5券后¥741.50人已购买
      优惠券¥30 领券购买 
    • 预订 Guide to Software Verification with Frama-C: Core Components, Usages, and Applications Frama-C 软件验证指南:核心组

      核心组FramaVerificationApplications

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

      ¥574券后¥6080人已购买
      优惠券¥34 领券购买 
    • 预订Formal Verification of Control System Software[9780691181301]

      9780691181301Verification预订Software

      预订Formal Verification of Control System Software[9780691181301]

      ¥788券后¥8880人已购买
      优惠券¥100 领券购买 
    • 预订 Rigorous Software Development: An Introduction to Program Verification 严谨的软件开发:程序验证导论 第2版: 97814471

      导论VerificationIntroductionDevelopment

      预订 Rigorous Software Development: An Introduction to Program Verification 严谨的软件开发:程序验证导论 第2版: 97814471

      ¥1,125券后¥1,2050人已购买
      优惠券¥80 领券购买 
    上一页 1 ...  17   18  19  20   21  ... 23 下一页