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

      预售VerificationTreatmentImaging

      【预售】On-Treatment Verification Imaging

      ¥1,276券后¥1,3560人已购买
      优惠券¥80 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation. Modeling 利用正式方法、验证和确认的

      ApplicationsVerificationLeveragingValidation

      海外直订Leveraging Applications of Formal Methods, Verification and Validation. Modeling 利用正式方法、验证和确认的

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 【预售】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers

      预售SatisfiabilityVerificationValidation

      【预售】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预订】Formal System Verification: State-Of...

      Verification预订FormalSystem

      【预订】Formal System Verification: State-Of...

      ¥1,234券后¥1,3140人已购买
      优惠券¥80 领券购买 
    • 【预订】Verification and Validation of Rule-Based Expert Systems

      VerificationValidation预订Systems

      【预订】Verification and Validation of Rule-Based Expert Systems

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

      VerificationIntegratedSoftwareAnalysis

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

      ¥584券后¥5940人已购买
      优惠券¥10 领券购买 
    • 【预订】Numerical Software Verification: 10t...

      VerificationNumerical预订Software

      【预订】Numerical Software Verification: 10t...

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证:形式化方法和算法

      形式化方法Verification算法Algorithms

      海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证:形式化方法和算法

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Ev 计算机辅助验证:第33届国际

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Ev 计算机辅助验证:第33届国际

      ¥417券后¥4270人已购买
      优惠券¥10 领券购买 
    • 海外直订Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Ev 计算机辅助验证:第33届国际

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Ev 计算机辅助验证:第33届国际

      ¥417券后¥4270人已购买
      优惠券¥10 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation. Distribu 利用正式方法、验证和确认的

      ApplicationsVerificationLeveragingValidation

      海外直订Leveraging Applications of Formal Methods, Verification and Validation. Distribu 利用正式方法、验证和确认的

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势

      定理VerificationAutomatedHardware

      海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势

      ¥1,153券后¥1,1930人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释

      InterpretationVerification抽象Checking

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

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 【预订】Validation and Verification of Automated Systems

      VerificationValidationAutomated预订

      【预订】Validation and Verification of Automated Systems

      ¥898券后¥9320人已购买
      优惠券¥34 领券购买 
    • 海外直订Vlsi-Soc: System-On-Chip in the Nanoscale Era - Design, Verification and Reliabi 超大规模集成电路Soc:纳米

      集成电路Verification纳米Soc

      海外直订Vlsi-Soc: System-On-Chip in the Nanoscale Era - Design, Verification and Reliabi 超大规模集成电路Soc:纳米

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Deductive Software Verification - The KeY Book 演绎软件验证-关键手册

      VerificationDeductiveSoftware演绎

      海外直订Deductive Software Verification - The KeY Book 演绎软件验证-关键手册

      ¥1,169券后¥1,2090人已购买
      优惠券¥40 领券购买 
    • 海外直订Reactive Systems: Modelling, Specification and Verification 反应系统:建模、规范和验证

      建模SpecificationVerificationModelling

      海外直订Reactive Systems: Modelling, Specification and Verification 反应系统:建模、规范和验证

      ¥1,033券后¥1,0730人已购买
      优惠券¥40 领券购买 
    • 海外直订Scientific Computation with Automatic Result Verification 具有自动结果验证的科学计算

      VerificationComputationScientificAutomatic

      海外直订Scientific Computation with Automatic Result Verification 具有自动结果验证的科学计算

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理:系统遗传学数据方法

      遗传学Verification推理基因

      海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理:系统遗传学数据方法

      ¥1,729券后¥1,7890人已购买
      优惠券¥60 领券购买 
    • 海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法及

      微分方程数值VerificationNumerical

      海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法及

      ¥1,339券后¥1,3790人已购买
      优惠券¥40 领券购买 
    • 【预订】Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228

      9783030837228ApplicationsVerificationLeveraging

      【预订】Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Genetic Design Automation: A Practical Approach for the Analysis, Verification and Syn 9783030523572

      9783030523572VerificationAutomationPractical

      【预订】Genetic Design Automation: A Practical Approach for the Analysis, Verification and Syn 9783030523572

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订New Data Structures and Algorithms for Logic Synthesis and Verification 逻辑综合与验证的新数据结构与算法

      数据结构Verification算法Structures

      海外直订New Data Structures and Algorithms for Logic Synthesis and Verification 逻辑综合与验证的新数据结构与算法

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Computer Aided Verification 计算机辅助验证

      VerificationComputer辅助验证

      海外直订Computer Aided Verification 计算机辅助验证

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册

      SystemverilogVerificationMethodology验证

      海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册

      ¥1,181券后¥1,2210人已购买
      优惠券¥40 领券购买 
    • 【预订】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 领券购买 
    • 海外直订Modelling and Verification of Secure Exams 安全考试的建模与验证

      建模VerificationModelling验证

      海外直订Modelling and Verification of Secure Exams 安全考试的建模与验证

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

      InterpretationVerification抽象Checking

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

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 【预订】Computer Aided Verification 9783030816841

      9783030816841Verification预订Computer

      【预订】Computer Aided Verification 9783030816841

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 关于治疗验证成像:一个IGRT的研究指南

      医药图书成像IGRTVerification

      海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 关于治疗验证成像:一个IGRT的研究指南

      ¥1,365券后¥1,4050人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认:评

      系统工程VerificationEngineeringValidation

      海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认:评

      ¥1,303券后¥1,3430人已购买
      优惠券¥40 领券购买 
    • 海外直订Functional Verification of Dynamically Reconfigurable Fpga-Based Systems 基于动态可重构fpga系统的功能验证

      重构FpgaReconfigurableVerification

      海外直订Functional Verification of Dynamically Reconfigurable Fpga-Based Systems 基于动态可重构fpga系统的功能验证

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 【预订】Computer Aided Verification 9783030816872

      9783030816872Verification预订Computer

      【预订】Computer Aided Verification 9783030816872

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 海外直订Hardware Verification with C++: A Practitioner S Handbook C++硬件验证:实践者手册

      C++实践者VerificationPractitioner

      海外直订Hardware Verification with C++: A Practitioner S Handbook C++硬件验证:实践者手册

      ¥1,140券后¥1,1800人已购买
      优惠券¥40 领券购买 
    • 海外直订医药图书Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il 计算机辅助验证:第

      医药图书InternationalVerificationConference

      海外直订医药图书Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il 计算机辅助验证:第

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • [预订]Polynomial Formal Verification of Approximate Functions 9783658418878

      9783658418878VerificationApproximatePolynomial

      [预订]Polynomial Formal Verification of Approximate Functions 9783658418878

      ¥1,125券后¥1,2050人已购买
      优惠券¥80 领券购买 
    • 按需印刷Formal Analysis and Verification of Safety Interlock Systems[9783639081428]

      9783639081428VerificationInterlockAnalysis

      按需印刷Formal Analysis and Verification of Safety Interlock Systems[9783639081428]

      ¥730券后¥7700人已购买
      优惠券¥40 领券购买 
    • 海外直订Polynomial Formal Verification of Approximate Functions 近似函数的多项式形式验证

      多项式近似VerificationApproximate

      海外直订Polynomial Formal Verification of Approximate Functions 近似函数的多项式形式验证

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

      InterpretationInternationalVerification抽象

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

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

      InternationalVerificationHardwareSoftware

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

      ¥542券后¥5520人已购买
      优惠券¥10 领券购买 
    上一页 1 ...  3   4  5  6   7  ... 23 下一页