• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Verification” 共900个商品
      • 默认
      • 销量
      • 价格
    • 【预订】Computer Aided Verification

      Verification预订ComputerAided

      【预订】Computer Aided Verification

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 【预订】Computer Aided Verification 9783030816841

      9783030816841Verification预订Computer

      【预订】Computer Aided Verification 9783030816841

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 【预订】Computer Aided Verification 9783030816872

      9783030816872Verification预订Computer

      【预订】Computer Aided Verification 9783030816872

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131844

      International9783031131844VerificationConference

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

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131875

      International9783031131875VerificationConference

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

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • [预订]Computer Aided Verification 9783031377051

      9783031377051Verification预订Computer

      [预订]Computer Aided Verification 9783031377051

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • [预订]Computer Aided Verification 9783031377020

      9783031377020Verification预订Computer

      [预订]Computer Aided Verification 9783031377020

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • [预订]Computer Aided Verification 9783031377082

      9783031377082Verification预订Computer

      [预订]Computer Aided Verification 9783031377082

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

      2024InternationalVerificationConference

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

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

      2024InternationalVerificationConference

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

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

      2024InternationalVerificationConference

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

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 海外直订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 领券购买 
    • 海外直订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 领券购买 
    • 海外直订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 领券购买 
    • 海外直订Computer Aided Verification 计算机辅助检定

      检定VerificationComputer辅助

      海外直订Computer Aided Verification 计算机辅助检定

      ¥440券后¥4500人已购买
      优惠券¥10 领券购买 
    • 预订 Environmental Technology Verification Report for Installation of Silt Fence Using the Tommy Static Slicing Method:

      EnvironmentalVerificationInstallationTechnology

      预订 Environmental Technology Verification Report for Installation of Silt Fence Using the Tommy Static Slicing Method:

      ¥423券后¥4570人已购买
      优惠券¥34 领券购买 
    • 预订 Environmental Technical Verification Report for Ammonia Recovery Process: 9780784404584

      9780784404584EnvironmentalVerificationTechnical

      预订 Environmental Technical Verification Report for Ammonia Recovery Process: 9780784404584

      ¥423券后¥4570人已购买
      优惠券¥34 领券购买 
    • 【预售】The Foundations of Program Verification

      预售VerificationFoundationsProgram

      【预售】The Foundations of Program Verification

      ¥426券后¥4600人已购买
      优惠券¥34 领券购买 
    • 海外直订An Introduction to Concrete Quality Verification and Testing 混凝土质量检验与试验简介

      质量检验IntroductionVerification混凝土

      海外直订An Introduction to Concrete Quality Verification and Testing 混凝土质量检验与试验简介

      ¥451券后¥4610人已购买
      优惠券¥10 领券购买 
    • 【预订】Modeling and Verification of Parallel Processes

      VerificationProcesses预订Modeling

      【预订】Modeling and Verification of Parallel Processes

      ¥436券后¥4700人已购买
      优惠券¥34 领券购买 
    • 【预售 按需印刷】 Formal Verification of Control System Software控制系统软件的形式验证 英文原版普林斯顿

      普林斯顿英文预售控制系统

      【预售 按需印刷】 Formal Verification of Control System Software控制系统软件的形式验证 英文原版普林斯顿

      ¥413.6券后¥473.60人已购买
      优惠券¥60 领券购买 
    • 现货 英文原版 Interactive Systems. Design, Specification, and Verification:7th International Wo 9783540416630

      英文SpecificationInternational9783540416630

      现货 英文原版 Interactive Systems. Design, Specification, and Verification:7th International Wo 9783540416630

      ¥456券后¥4760人已购买
      优惠券¥20 领券购买 
    • 海外直订Genetic Design Automation: A Practical Approach for the Analysis, Verification a 遗传设计自动化:遗传逻辑电

      遗传VerificationAutomationPractical

      海外直订Genetic Design Automation: A Practical Approach for the Analysis, Verification a 遗传设计自动化:遗传逻辑电

      ¥469券后¥4790人已购买
      优惠券¥10 领券购买 
    • 海外直订Universal Verification Methodology Based Verification Environment 基于通用验证方法的验证环境

      Verification验证MethodologyEnvironment

      海外直订Universal Verification Methodology Based Verification Environment 基于通用验证方法的验证环境

      ¥472券后¥4820人已购买
      优惠券¥10 领券购买 
    • 【预售】Specification and Verification of Systolic Arrays

      预售SpecificationVerificationSystolic

      【预售】Specification and Verification of Systolic Arrays

      ¥452券后¥4860人已购买
      优惠券¥34 领券购买 
    • [预订]Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification of Approximations f 9783031289453

      Approximations9783031289453VerificationNumerical

      [预订]Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification of Approximations f 9783031289453

      ¥458券后¥4920人已购买
      优惠券¥34 领券购买 
    • 预订 Decidability of Parameterized Verification

      ParameterizedDecidabilityVerification预订

      预订 Decidability of Parameterized Verification

      ¥458券后¥4920人已购买
      优惠券¥34 领券购买 
    • 海外直订Tools for Practical Software Verification: International Summer School, Laser 20 实用软件验证工具:国际暑期

      International暑期VerificationPractical

      海外直订Tools for Practical Software Verification: International Summer School, Laser 20 实用软件验证工具:国际暑期

      ¥484券后¥4940人已购买
      优惠券¥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 领券购买 
    • 海外直订Runtime Verification: A Hands-On Approach in Java 运行时验证:Java中的一种实践方法

      行时JavaVerificationApproach

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

      ¥487券后¥4970人已购买
      优惠券¥10 领券购买 
    • 【预售】Higher Order Logic and Hardware Verification

      预售VerificationHardwareHigher

      【预售】Higher Order Logic and Hardware Verification

      ¥468券后¥5020人已购买
      优惠券¥34 领券购买 
    • 【预售】Hardware and Software: Verification and Testing: 7th

      预售VerificationHardwareSoftware

      【预售】Hardware and Software: Verification and Testing: 7th

      ¥470券后¥5040人已购买
      优惠券¥34 领券购买 
    • 【预订】Tools for Practical Software Verification

      VerificationPractical预订Software

      【预订】Tools for Practical Software Verification

      ¥470券后¥5040人已购买
      优惠券¥34 领券购买 
    • 【预订】Hardware and Software: Verification ...

      Verification预订HardwareSoftware

      【预订】Hardware and Software: Verification ...

      ¥470券后¥5040人已购买
      优惠券¥34 领券购买 
    • 现货 独立验证和认证 质量软件生命周期工程过程 Independent Verification And Validation Life Cycle Engineering Process R O

      VerificationEngineeringIndependent现货

      现货 独立验证和认证 质量软件生命周期工程过程 Independent Verification And Validation Life Cycle Engineering Process R O

      ¥496券后¥5060人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Verification of Control System Software 控制系统软件的正式验证

      控制系统VerificationSoftware验证

      海外直订Formal Verification of Control System Software 控制系统软件的正式验证

      ¥499券后¥5090人已购买
      优惠券¥10 领券购买 
    • 海外直订Higher Order Logic and Hardware Verification 高阶逻辑与硬件验证

      高阶VerificationHardware逻辑

      海外直订Higher Order Logic and Hardware Verification 高阶逻辑与硬件验证

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

      InternationalVerificationHardwareSoftware

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

      ¥509券后¥5190人已购买
      优惠券¥10 领券购买 
    • 【预订】Hardware and Software: Verification and Testing

      Verification预订HardwareSoftware

      【预订】Hardware and Software: Verification and Testing

      ¥491券后¥5250人已购买
      优惠券¥34 领券购买 
    • 海外直订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 领券购买 
    上一页  1  2  3   4   5  ... 23 下一页