• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Formal Methods for Hardware Verification: 6th International School on Formal Met 硬件验证的正式方法:第六国

      六国FormalInternationalVerification

      海外直订Formal Methods for Hardware Verification: 6th International School on Formal Met 硬件验证的正式方法:第六国

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Partial-Order Methods for the Verification of Concurrent Systems: An Approach to 并行系统验证的部分阶方法:

      并行VerificationConcurrentApproach

      海外直订Partial-Order Methods for the Verification of Concurrent Systems: An Approach to 并行系统验证的部分阶方法:

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

      InterpretationInternationalVerificationChecking

      海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Lectures on Proof Verification and Approximation Algorithms 关于证明验证和近似算法的讲座

      近似ApproximationVerification算法

      海外直订Lectures on Proof Verification and Approximation Algorithms 关于证明验证和近似算法的讲座

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第

      自旋SpinInternationalVerification

      海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 预订 Verification of adulteration in milk sold in Assis/SP: 9786207984725

      9786207984725Verificationadulteration预订

      预订 Verification of adulteration in milk sold in Assis/SP: 9786207984725

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

      InterpretationInternationalVerification抽象

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

      ¥546券后¥5560人已购买
      优惠券¥10 领券购买 
    • 海外直订Design and Verification of SPI Protocol using Verilog 基于Verilog的SPI协议设计与验证

      VerilogVerificationSPIProtocol

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

      ¥546券后¥5560人已购买
      优惠券¥10 领券购买 
    • 海外直订Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification 应用于Sph法传热的数值解:速

      传热数值VerificationNumerical

      海外直订Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification 应用于Sph法传热的数值解:速

      ¥558券后¥5680人已购买
      优惠券¥10 领券购买 
    • 预订Solar Photovoltaic Power Optimization:Enhancing System Performance through Operations, Measurement, and Verification

      PhotovoltaicOptimizationVerificationPerformance

      预订Solar Photovoltaic Power Optimization:Enhancing System Performance through Operations, Measurement, and Verification

      ¥529券后¥5690人已购买
      优惠券¥40 领券购买 
    • 海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 治疗时验证影像:Igrt的研究指南

      医药图书IGRTVerificationTreatment

      海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 治疗时验证影像:Igrt的研究指南

      ¥563券后¥5730人已购买
      优惠券¥10 领券购买 
    • 预订 Design and Verification of SPI Protocol using Verilog: 9786207651405

      9786207651405Verification预订Protocol

      预订 Design and Verification of SPI Protocol using Verilog: 9786207651405

      ¥541券后¥5750人已购买
      优惠券¥34 领券购买 
    • 海外直订Design, Specification and Verification of Interactive Systems '98: Proceedings o 98年交互系统的设计、规范和

      SpecificationVerificationInteractiveProceedings

      海外直订Design, Specification and Verification of Interactive Systems '98: Proceedings o 98年交互系统的设计、规范和

      ¥569券后¥5790人已购买
      优惠券¥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 领券购买 
    • 【预订】Gender Verification and the Making of the Female Body in Sport: A History of the Present 9781032085197

      9781032085197Verification预订History

      【预订】Gender Verification and the Making of the Female Body in Sport: A History of the Present 9781032085197

      ¥553券后¥5870人已购买
      优惠券¥34 领券购买 
    • 预订 A protocol for measurement, monitoring, reporting and verification of soil organic carbon in agricultural landscape

      verificationagriculturalmeasurementmonitoring

      预订 A protocol for measurement, monitoring, reporting and verification of soil organic carbon in agricultural landscape

      ¥553券后¥5870人已购买
      优惠券¥34 领券购买 
    • 海外直订Interactive Systems: Design, Specification, and Verification: 1st Eurographics W 交互式系统:设计、规范和验

      交互式SpecificationVerificationEurographics

      海外直订Interactive Systems: Design, Specification, and Verification: 1st Eurographics W 交互式系统:设计、规范和验

      ¥578券后¥5880人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证:

      形式化InternationalVerificationConference

      海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证:

      ¥578券后¥5880人已购买
      优惠券¥10 领券购买 
    • 海外直订Software Quality Approaches: Testing, Verification, and Validation: Software Bes 软件质量方法:测试、验证和

      SoftwareVerificationApproachesValidation

      海外直订Software Quality Approaches: Testing, Verification, and Validation: Software Bes 软件质量方法:测试、验证和

      ¥578券后¥5880人已购买
      优惠券¥10 领券购买 
    • 预订 A Handbook of Verification Procedures: 9781349110438

      9781349110438VerificationProcedures预订

      预订 A Handbook of Verification Procedures: 9781349110438

      ¥556券后¥5900人已购买
      优惠券¥34 领券购买 
    • 海外直订Software Verification and Analysis: An Integrated, Hands-On Approach 软件验证与分析:一种集成的、实际操作的方法

      VerificationIntegratedSoftwareAnalysis

      海外直订Software Verification and Analysis: An Integrated, Hands-On Approach 软件验证与分析:一种集成的、实际操作的方法

      ¥584券后¥5940人已购买
      优惠券¥10 领券购买 
    • 海外直订Introduction to Formal Hardware Verification 形式化硬件验证简介

      形式化IntroductionVerificationHardware

      海外直订Introduction to Formal Hardware Verification 形式化硬件验证简介

      ¥584券后¥5940人已购买
      优惠券¥10 领券购买 
    • 海外直订IP Cores Design from Specifications to Production: Modeling, Verification, Optim 从规范到生产的IP核心设计:

      SpecificationsVerificationProductionModeling

      海外直订IP Cores Design from Specifications to Production: Modeling, Verification, Optim 从规范到生产的IP核心设计:

      ¥584券后¥5940人已购买
      优惠券¥10 领券购买 
    • 海外直订Embedded System Design: Modeling, Synthesis and Verification 嵌入式系统设计:建模、综合和验证

      建模Verification嵌入式Synthesis

      海外直订Embedded System Design: Modeling, Synthesis and Verification 嵌入式系统设计:建模、综合和验证

      ¥584券后¥5940人已购买
      优惠券¥10 领券购买 
    • 海外直订Introduction to Formal Hardware Verification 正式硬件验证简介

      IntroductionVerificationHardware验证

      海外直订Introduction to Formal Hardware Verification 正式硬件验证简介

      ¥584券后¥5940人已购买
      优惠券¥10 领券购买 
    • 【预售】Computer-Aided Verification of Coordinating Proce

      预售VerificationCoordinatingComputer

      【预售】Computer-Aided Verification of Coordinating Proce

      ¥569券后¥6030人已购买
      优惠券¥34 领券购买 
    • 【预订】Verification and Evaluation of Computer and Communication Systems 9783030988494

      9783030988494CommunicationVerificationEvaluation

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

      ¥569券后¥6030人已购买
      优惠券¥34 领券购买 
    • [预订]Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 9783030955601

      International9783030955601VerificationConference

      [预订]Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 9783030955601

      ¥569券后¥6030人已购买
      优惠券¥34 领券购买 
    • 预订 Automated Verification of Concurrent Search Structures

      VerificationConcurrentStructuresAutomated

      预订 Automated Verification of Concurrent Search Structures

      ¥569券后¥6030人已购买
      优惠券¥34 领券购买 
    • 预订 Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

      2024InternationalVerificationProceedings

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

      ¥569券后¥6030人已购买
      优惠券¥34 领券购买 
    • 预订 Demystifying Maxwell’s Equations: For Design, Verification and Quality Control: 9781656344595

      9781656344595DemystifyingVerificationEquations

      预订 Demystifying Maxwell’s Equations: For Design, Verification and Quality Control: 9781656344595

      ¥569券后¥6030人已购买
      优惠券¥34 领券购买 
    • 按需印刷Computer-Aided Verification of Coordinating Processes[9780691606057]

      9780691606057VerificationCoordinatingProcesses

      按需印刷Computer-Aided Verification of Coordinating Processes[9780691606057]

      ¥568券后¥6080人已购买
      优惠券¥40 领券购买 
    • 预订 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 领券购买 
    • [预订]On-Treatment Verification Imaging 9780367779900

      9780367779900VerificationTreatment预订

      [预订]On-Treatment Verification Imaging 9780367779900

      ¥577券后¥6110人已购买
      优惠券¥34 领券购买 
    • 海外直订Formal Analysis and Verification of Safety Interlock Systems 安全联锁系统的形式化分析与验证

      联锁形式化VerificationInterlock

      海外直订Formal Analysis and Verification of Safety Interlock Systems 安全联锁系统的形式化分析与验证

      ¥583券后¥6130人已购买
      优惠券¥30 领券购买 
    • 海外直订Compliance Quantified: An Introduction to Data Verification 合规性量化:数据验证简介

      合规性量化IntroductionVerification

      海外直订Compliance Quantified: An Introduction to Data Verification 合规性量化:数据验证简介

      ¥587券后¥6170人已购买
      优惠券¥30 领券购买 
    • 海外直订Challenges Of Verification 核实的挑战

      Verification核实Challenges挑战

      海外直订Challenges Of Verification 核实的挑战

      ¥588券后¥6180人已购买
      优惠券¥30 领券购买 
    • 海外直订Deductive verification of object-oriented software: dynamic frames, dynamic logi 面向对象软件的演绎验证:动

      dynamicverificationDeductiveoriented

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

      ¥589券后¥6190人已购买
      优惠券¥30 领券购买 
    • 【预订】Formal Verification of Control System Software

      Verification预订SoftwareControl

      【预订】Formal Verification of Control System Software

      ¥587券后¥6210人已购买
      优惠券¥34 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 12th International Co 验证、模型检验和摘要解释:

      InterpretationInternationalVerificationChecking

      海外直订Verification, Model Checking, and Abstract Interpretation: 12th International Co 验证、模型检验和摘要解释:

      ¥599券后¥6290人已购买
      优惠券¥30 领券购买 
    上一页 1 ...  7   8  9  10   11  ... 23 下一页