• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Verification” 共895个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Hardware and Software: Verification and Testing: 8th International Haifa Verific 硬件和软件:验证和测试:第

      InternationalVerificationHardwareSoftware

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

      ¥484券后¥4940人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification and Evaluation of Computer and Communication Systems: 16th Internat Verificati

      CommunicationVerificationEvaluationVerificati

      海外直订Verification and Evaluation of Computer and Communication Systems: 16th Internat Verificati

      ¥572券后¥5820人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification 1995 验证1995

      1995Verification验证海外

      海外直订Verification 1995 验证1995

      ¥1,008券后¥1,0480人已购买
      优惠券¥40 领券购买 
    • 海外直订Computer Aided Verification: 34th International Conference, Cav 2022, Haifa, Isr 计算机辅助验证:第34届国际

      InternationalVerificationConferenceComputer

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

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

      工程设计Verification可靠性Reliability

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

      ¥3,610券后¥3,6700人已购买
      优惠券¥60 领券购买 
    • 海外直订Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Ge 计算机辅助验证:第19届国际

      InternationalVerificationConferenceComputer

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Gree 计算机辅助验证:1993年6月

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Gree 计算机辅助验证:1993年6月

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Functional Verification Coverage Measurement and Analysis 功能验证覆盖率测量与分析

      覆盖率VerificationMeasurementFunctional

      海外直订Functional Verification Coverage Measurement and Analysis 功能验证覆盖率测量与分析

      ¥1,153券后¥1,1930人已购买
      优惠券¥40 领券购买 
    • 海外直订Hardware/Software Co-Design and Co-Verification 硬件/软件协同设计和协同验证

      协同VerificationHardwareSoftware

      海外直订Hardware/Software Co-Design and Co-Verification 硬件/软件协同设计和协同验证

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

      分类法VerificationDevelopmentTaxonomies

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

      ¥985券后¥1,0250人已购买
      优惠券¥40 领券购买 
    • 海外直订Guide to Software Verification with Frama-C: Core Components, Usages, and Applic Guide to S

      GuideVerificationComponentsSoftware

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

      ¥640券后¥6700人已购买
      优惠券¥30 领券购买 
    • 按需印刷Verification, Validation and Testing in Software Engineering[9781591408512]

      9781591408512VerificationEngineeringValidation

      按需印刷Verification, Validation and Testing in Software Engineering[9781591408512]

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

      高阶VerificationHardware逻辑

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

      ¥508券后¥5180人已购买
      优惠券¥10 领券购买 
    • 海外直订Tools for Design, Implementation and Verification of Emerging Information Techno Tools for

      ToolsImplementationVerificationInformation

      海外直订Tools for Design, Implementation and Verification of Emerging Information Techno Tools for

      ¥634券后¥6640人已购买
      优惠券¥30 领券购买 
    • 海外直订Systemverilog for Verification: A Guide to Learning the Testbench Language Featu Systemveri

      SystemverilogVerificationSystemveriTestbench

      海外直订Systemverilog for Verification: A Guide to Learning the Testbench Language Featu Systemveri

      ¥1,018券后¥1,0580人已购买
      优惠券¥40 领券购买 
    • 海外直订A Roadmap for Formal Property Verification 正式属性验证的路线图

      路线图VerificationProperty属性

      海外直订A Roadmap for Formal Property Verification 正式属性验证的路线图

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Hardware and Software, Verification and Testing: Second International Haifa Veri

      InternationalVerificationHardwareSoftware

      海外直订Hardware and Software, Verification and Testing: Second International Haifa Veri

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订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 领券购买 
    • 海外直订Design and Verification of SPI Protocol using Verilog 基于Verilog的SPI协议设计与验证

      VerilogVerificationSPIProtocol

      海外直订Design and Verification of SPI Protocol using Verilog 基于Verilog的SPI协议设计与验证

      ¥546券后¥5560人已购买
      优惠券¥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 领券购买 
    • 海外直订Aspect-Oriented Programming with the E Verification Language: A Pragmatic Guide  使用E验证语言进行面向方面

      VerificationProgrammingPragmaticOriented

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

      ¥1,175券后¥1,2150人已购买
      优惠券¥40 领券购买 
    • 海外直订Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, C 计算机辅助验证:第15届国际

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, C 计算机辅助验证:第15届国际

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathem 硬件规格、验证和综合:数学

      SpecificationVerificationMathematicalSynthesis

      海外直订Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathem 硬件规格、验证和综合:数学

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订VLSI Specification, Verification and Synthesis 超大规模集成电路规范、验证与综合

      路规集成电SpecificationVerification

      海外直订VLSI Specification, Verification and Synthesis 超大规模集成电路规范、验证与综合

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订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 领券购买 
    • 海外直订Multicore Hardware-Software Design and Verification Techniques 多核硬件软件设计与验证技术

      多核VerificationTechniquesMulticore

      海外直订Multicore Hardware-Software Design and Verification Techniques 多核硬件软件设计与验证技术

      ¥750券后¥7800人已购买
      优惠券¥30 领券购买 
    • 预订Formal Verification

      Verification预订Formal

      预订Formal Verification

      ¥1,306券后¥1,4060人已购买
      优惠券¥100 领券购买 
    • 海外直订Computer Aided Verification 计算机辅助检定

      检定VerificationComputer辅助

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

      ¥440券后¥4500人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

      InterpretationInternationalVerificationVerificati

      海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

      ¥764券后¥7940人已购买
      优惠券¥30 领券购买 
    • 海外直订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, Validation and Testing in Software Engineering 软件工程中的验证、确认和测试

      软件工程VerificationEngineeringValidation

      海外直订Verification, Validation and Testing in Software Engineering 软件工程中的验证、确认和测试

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

      InterpretationInternationalVerification抽象

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

      ¥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 第二微处理器:验证案例研究

      微处理器MicroprocessorVerification验证

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

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Wind Turbine System Design: Nacelles, Drivetrains and Verification 风力发电机系统设计:机舱,传动系统和验证

      机舱传动系统风力发电机

      海外直订Wind Turbine System Design: Nacelles, Drivetrains and Verification 风力发电机系统设计:机舱,传动系统和验证

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

      Verification验证MethodologyEnvironment

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

      ¥472券后¥4820人已购买
      优惠券¥10 领券购买 
    • 海外直订A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded S 面向问题的异构嵌入式系统动

      HeterogeneousVerification嵌入式Oriented

      海外直订A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded S 面向问题的异构嵌入式系统动

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

      Verificationdetectionsoftware故障

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

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

      数值InternationalVerificationNumerical

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    上一页 1 ...  5   6  7  8   9  ... 23 下一页