• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共895个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:

      InterpretationInternationalVerificationChecking

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

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

      InterpretationInternationalVerification抽象

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Tools for Design, Implementation and Verification of Emerging Information Techno 新兴信息技术的设计、实现和

      新兴ImplementationVerificationInformation

      海外直订Tools for Design, Implementation and Verification of Emerging Information Techno 新兴信息技术的设计、实现和

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

      Verification核实Challenges挑战

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

      ¥588券后¥6180人已购买
      优惠券¥30 领券购买 
    • 海外直订Electronic Design Automation for IC System Design, Verification, and Testing

      DesignVerificationElectronicAutomation

      海外直订Electronic Design Automation for IC System Design, Verification, and Testing

      ¥997券后¥1,0370人已购买
      优惠券¥40 领券购买 
    • 海外直订String Analysis for Software Verification and Security 用于软件验证和安全的字符串分析

      字符串VerificationAnalysisSoftware

      海外直订String Analysis for Software Verification and Security 用于软件验证和安全的字符串分析

      ¥620券后¥6500人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal System Verification: State-Of The-Art and Future Trends 正式系统验证:技术现状和未来趋势

      Verification现状验证趋势

      海外直订Formal System Verification: State-Of The-Art and Future Trends 正式系统验证:技术现状和未来趋势

      ¥1,200券后¥1,2400人已购买
      优惠券¥40 领券购买 
    • 海外直订Gender Verification and the Making of the Female Body in Sport: A History of the 性别验证与女性身体在体育运

      Verification性别验证身体

      海外直订Gender Verification and the Making of the Female Body in Sport: A History of the 性别验证与女性身体在体育运

      ¥1,628券后¥1,6880人已购买
      优惠券¥60 领券购买 
    • 预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

      DifferentialVerificationNumericalEquations

      预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

      ¥1,623券后¥1,7030人已购买
      优惠券¥80 领券购买 
    • 海外直订Hardware and Software, Verification and Testing: First International Haifa Verif 硬件和软件,验证和测试:第

      InternationalVerificationHardwareSoftware

      海外直订Hardware and Software, Verification and Testing: First International Haifa Verif 硬件和软件,验证和测试:第

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

      VerificationHardwareSoftware验证

      海外直订Hardware and Software: Verification and Testing 硬件和软件:验证和测试

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 海外直订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 领券购买 
    • 预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

      DifferentialVerificationNumericalEquations

      预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

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

      路线图VerificationProperty属性

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

      ¥1,153券后¥1,1930人已购买
      优惠券¥40 领券购买 
    • 预订ASIC/SoC Functional Design Verification

      VerificationFunctional预订Design

      预订ASIC/SoC Functional Design Verification

      ¥2,512券后¥2,6120人已购买
      优惠券¥100 领券购买 
    • 海外直订Functional Verification of Programmable Embedded Architectures: A Top-Down Appro 可编程嵌入式体系结构的功能

      可编程体系结构ArchitecturesVerification

      海外直订Functional Verification of Programmable Embedded Architectures: A Top-Down Appro 可编程嵌入式体系结构的功能

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelbe 数字软件验证:第十届国际研

      第十届InternationalVerificationNumerical

      海外直订Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelbe 数字软件验证:第十届国际研

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 海外直订Numerical Software Verification 数值软件验证

      数值VerificationNumericalSoftware

      海外直订Numerical Software Verification 数值软件验证

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Approaches to Software Testing and Runtime Verification: First Combined I 软件测试和运行时验证的形式

      行时软件测试VerificationApproaches

      海外直订Formal Approaches to Software Testing and Runtime Verification: First Combined I 软件测试和运行时验证的形式

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Computational Methods in Transport: Verification and Validation 运输计算方法:验证与验证

      验证ComputationalVerificationValidation

      海外直订Computational Methods in Transport: Verification and Validation 运输计算方法:验证与验证

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 预订Hardware and Software: Verification and Testing[9783319133379]

      9783319133379Verification预订Hardware

      预订Hardware and Software: Verification and Testing[9783319133379]

      ¥708券后¥7480人已购买
      优惠券¥40 领券购买 
    • 海外直订Automated Technology for Verification and Analysis 验证与分析自动化技术

      VerificationTechnologyAutomatedAnalysis

      海外直订Automated Technology for Verification and Analysis 验证与分析自动化技术

      ¥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 领券购买 
    • 海外直订Intelligent Signature Verification and Analysis 智能签名验证与分析

      VerificationIntelligentSignatureAnalysis

      海外直订Intelligent Signature Verification and Analysis 智能签名验证与分析

      ¥892券后¥9220人已购买
      优惠券¥30 领券购买 
    • 海外直订Computer-Aided CMM Inspection Planning and Verification 计算机辅助三坐标测量机检验计划与验证

      测量机坐标VerificationInspection

      海外直订Computer-Aided CMM Inspection Planning and Verification 计算机辅助三坐标测量机检验计划与验证

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

      联锁形式化VerificationInterlock

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

      ¥583券后¥6130人已购买
      优惠券¥30 领券购买 
    • 预订Verification, Validation, and Testing of Engineered Systems[9780470527511]

      9780470527511VerificationValidationEngineered

      预订Verification, Validation, and Testing of Engineered Systems[9780470527511]

      ¥4,771券后¥4,8710人已购买
      优惠券¥100 领券购买 
    • 海外直订Extending Key for the Verification of C Programs C程序验证的扩展密钥

      密钥VerificationExtendingPrograms

      海外直订Extending Key for the Verification of C Programs C程序验证的扩展密钥

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

      InternationalVerificationTechnologyAutomated

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

      ¥539券后¥5490人已购买
      优惠券¥10 领券购买 
    • 海外直订医药图书Medical Device Software: Verification, Validation, and Compliance 医疗器械软件:验证、验证和合规性

      合规性验证医药图书Verification

      海外直订医药图书Medical Device Software: Verification, Validation, and Compliance 医疗器械软件:验证、验证和合规性

      ¥1,748.7券后¥1,808.70人已购买
      优惠券¥60 领券购买 
    • 预订Formal Verification of Floating-Point Hardware Design

      Verification预订FloatingHardware

      预订Formal Verification of Floating-Point Hardware Design

      ¥1,146券后¥1,2460人已购买
      优惠券¥100 领券购买 
    • 海外直订Logic Synthesis and Verification Algorithms

      VerificationAlgorithmsSynthesis海外

      海外直订Logic Synthesis and Verification Algorithms

      ¥969券后¥9990人已购买
      优惠券¥30 领券购买 
    • 按需印刷Cross-Media Authentication and Verification[9781522555926]

      Authentication9781522555926Verification印刷

      按需印刷Cross-Media Authentication and Verification[9781522555926]

      ¥1,711券后¥1,8110人已购买
      优惠券¥100 领券购买 
    • 海外直订Kant's Solution for Verification in Metaphysics 康德的形而上学验证解

      康德形而上学VerificationMetaphysics

      海外直订Kant's Solution for Verification in Metaphysics 康德的形而上学验证解

      ¥777券后¥8070人已购买
      优惠券¥30 领券购买 
    • 海外直订Verification of Thomas More's Utopia serving as eponym and paragon for the liter 以托马索·坎帕内拉为例,验

      坎帕托马索Verificationserving

      海外直订Verification of Thomas More's Utopia serving as eponym and paragon for the liter 以托马索·坎帕内拉为例,验

      ¥377券后¥3870人已购买
      优惠券¥10 领券购买 
    • 海外直订Tunable Diode Laser Absorption Spectroscopy Verification Analysis for Use in the 可调谐半导体激光吸收光谱验

      吸收光谱调谐半导体Verification

      海外直订Tunable Diode Laser Absorption Spectroscopy Verification Analysis for Use in the 可调谐半导体激光吸收光谱验

      ¥625券后¥6550人已购买
      优惠券¥30 领券购买 
    • 海外直订CMOS VLSI Layout and Verification of a Simd Computer 单指令多数据计算机的CMOS超大规模集成电路设计与验证

      电路设计CMOSVerification指令

      海外直订CMOS VLSI Layout and Verification of a Simd Computer 单指令多数据计算机的CMOS超大规模集成电路设计与验证

      ¥641券后¥6710人已购买
      优惠券¥30 领券购买 
    • 海外直订Investigation of Navier-Stokes Code Verification and Design Optimization Navier-Stokes码验证与设计优化研究

      NavierStokesInvestigationVerification

      海外直订Investigation of Navier-Stokes Code Verification and Design Optimization Navier-Stokes码验证与设计优化研究

      ¥625券后¥6550人已购买
      优惠券¥30 领券购买 
    • 按需印刷Verification and Extension of La Caille's Arc of Meridian at the Cape of Good Hope[9783337813291]

      9783337813291VerificationExtensionCaille's

      按需印刷Verification and Extension of La Caille's Arc of Meridian at the Cape of Good Hope[9783337813291]

      ¥387券后¥4170人已购买
      优惠券¥30 领券购买 
    • 海外直订Nuclear Non-Proliferation in International Law, Volume 2: Verification and Compl 国际法中的核不扩散,第2卷:

      国际法ProliferationInternational扩散

      海外直订Nuclear Non-Proliferation in International Law, Volume 2: Verification and Compl 国际法中的核不扩散,第2卷:

      ¥1,594券后¥1,6540人已购买
      优惠券¥60 领券购买 
    上一页 1 ...  2   3  4  5   6  ... 23 下一页