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

      预售VerificationSimulinkFormal

      【预售】Formal Verification of Simulink/Stat...

      ¥1,179券后¥1,2590人已购买
      优惠券¥80 领券购买 
    • 预订 SAE International’s Dictionary of Testing, Verification, and Validation SAE International 的测试、验证和确认词典:

      InternationalVerificationDictionaryValidation

      预订 SAE International’s Dictionary of Testing, Verification, and Validation SAE International 的测试、验证和确认词典:

      ¥1,180券后¥1,2600人已购买
      优惠券¥80 领券购买 
    • 海外直订Automated Technology for Verification and Analys... 验证和分析的自动化技术

      VerificationTechnologyAutomated验证

      海外直订Automated Technology for Verification and Analys... 验证和分析的自动化技术

      ¥1,224券后¥1,2640人已购买
      优惠券¥40 领券购买 
    • 预订 Verification and Validation of 3D Free-surface Flow Models: 9780784409572

      9780784409572VerificationValidation预订

      预订 Verification and Validation of 3D Free-surface Flow Models: 9780784409572

      ¥1,201券后¥1,2810人已购买
      优惠券¥80 领券购买 
    • 【预订】Cross-Media Authentication and Verification: Emerging Research and Opportunities

      AuthenticationOpportunitiesVerification预订

      【预订】Cross-Media Authentication and Verification: Emerging Research and Opportunities

      ¥1,203券后¥1,2830人已购买
      优惠券¥80 领券购买 
    • 预订 Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, Octo

      InternationalVerificationTechnologyAutomated

      预订 Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, Octo

      ¥1,209券后¥1,2890人已购买
      优惠券¥80 领券购买 
    • 【预售】Software Verification and Validation: An Engineering

      预售VerificationEngineeringValidation

      【预售】Software Verification and Validation: An Engineering

      ¥1,234券后¥1,3140人已购买
      优惠券¥80 领券购买 
    • 【预订】Deductive Software Verification – Th...

      VerificationDeductive预订Software

      【预订】Deductive Software Verification – Th...

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

      Verification预订FormalSystem

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

      ¥1,234券后¥1,3140人已购买
      优惠券¥80 领券购买 
    • 【预售】Embedded Software Verification and D...

      预售VerificationEmbeddedSoftware

      【预售】Embedded Software Verification and D...

      ¥1,234券后¥1,3140人已购买
      优惠券¥80 领券购买 
    • 【预售】Formal System Verification: State-of the-Art and Future Trends

      预售VerificationFormalSystem

      【预售】Formal System Verification: State-of the-Art and Future Trends

      ¥1,234券后¥1,3140人已购买
      优惠券¥80 领券购买 
    • 【预售】ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

      预售ComprehensiveMethodologiesVerification

      【预售】ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

      ¥1,234券后¥1,3140人已购买
      优惠券¥80 领券购买 
    • 【预售】Validation and Verification of Automated Systems: Results of the Enable-S3 Project

      预售VerificationValidationAutomated

      【预售】Validation and Verification of Automated Systems: Results of the Enable-S3 Project

      ¥1,234券后¥1,3140人已购买
      优惠券¥80 领券购买 
    • 按需印刷Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle[9783836494526]

      9783836494526SpecificationVerificationSeamless

      按需印刷Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle[9783836494526]

      ¥1,227券后¥1,3270人已购买
      优惠券¥100 领券购买 
    • 海外直订Low-Power Design and Power-Aware Verification 低功耗设计和功率感知验证

      Power功耗感知Verification

      海外直订Low-Power Design and Power-Aware Verification 低功耗设计和功率感知验证

      ¥1,288券后¥1,3280人已购买
      优惠券¥40 领券购买 
    • 按需印刷Extending KeY for the Verification of C Programs[9783639000023]

      9783639000023VerificationExtendingPrograms

      按需印刷Extending KeY for the Verification of C Programs[9783639000023]

      ¥1,228券后¥1,3280人已购买
      优惠券¥100 领券购买 
    • 【预售】Metric Driven Design Verification: An Engineer's and

      预售VerificationEngineer'sMetric

      【预售】Metric Driven Design Verification: An Engineer's and

      ¥1,250券后¥1,3300人已购买
      优惠券¥80 领券购买 
    • 【预售】Standardized Functional Verification

      预售StandardizedVerificationFunctional

      【预售】Standardized Functional Verification

      ¥1,250券后¥1,3300人已购买
      优惠券¥80 领券购买 
    • 【预订】Verification and Validation in Syste...

      VerificationValidation预订Syste

      【预订】Verification and Validation in Syste...

      ¥1,259券后¥1,3390人已购买
      优惠券¥80 领券购买 
    • 海外直订Verification and Control of Hybrid Systems: A Symbolic Approach 混合系统的验证与控制:一种符号方法

      Verification符号混合Symbolic

      海外直订Verification and Control of Hybrid Systems: A Symbolic Approach 混合系统的验证与控制:一种符号方法

      ¥1,303券后¥1,3430人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification and Control of Hybrid Systems: A Symbolic Approach 混合系统的验证与控制:一种符号方法

      Verification符号混合Symbolic

      海外直订Verification and Control of Hybrid Systems: A Symbolic Approach 混合系统的验证与控制:一种符号方法

      ¥1,303券后¥1,3430人已购买
      优惠券¥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 领券购买 
    • 海外直订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 领券购买 
    • 海外直订Analysis, Verification and Transformation for Declarative Programming and Intell 声明式编程和智能系统的分析

      明式TransformationVerificationDeclarative

      海外直订Analysis, Verification and Transformation for Declarative Programming and Intell 声明式编程和智能系统的分析

      ¥1,303券后¥1,3430人已购买
      优惠券¥40 领券购买 
    • 海外直订Metric Driven Design Verification: An Engineer's and Executive's Guide to First  度量驱动的设计验证:工程师

      度量VerificationExecutive'sEngineer's

      海外直订Metric Driven Design Verification: An Engineer's and Executive's Guide to First 度量驱动的设计验证:工程师

      ¥1,308券后¥1,3480人已购买
      优惠券¥40 领券购买 
    • 【预售】Time for Verification: Essays in Memory of Amir

      预售VerificationEssaysMemory

      【预售】Time for Verification: Essays in Memory of Amir

      ¥1,272券后¥1,3520人已购买
      优惠券¥80 领券购买 
    • 【预售】On-Treatment Verification Imaging

      预售VerificationTreatmentImaging

      【预售】On-Treatment Verification Imaging

      ¥1,276券后¥1,3560人已购买
      优惠券¥80 领券购买 
    • 【预订】Trust in Nuclear Disarmament Verification

      VerificationDisarmament预订Nuclear

      【预订】Trust in Nuclear Disarmament Verification

      ¥1,276券后¥1,3560人已购买
      优惠券¥80 领券购买 
    • 【预订】Trust in Nuclear Disarmament Verification

      VerificationDisarmament预订Nuclear

      【预订】Trust in Nuclear Disarmament Verification

      ¥1,276券后¥1,3560人已购买
      优惠券¥80 领券购买 
    • 预售 按需印刷 Verification

      预售Verification印刷

      预售 按需印刷 Verification

      ¥1,214券后¥1,3640人已购买
      优惠券¥150 领券购买 
    • 海外直订Standardized Functional Verification 标准化功能验证

      StandardizedVerification标准化Functional

      海外直订Standardized Functional Verification 标准化功能验证

      ¥1,337券后¥1,3770人已购买
      优惠券¥40 领券购买 
    • [预订]Partial Order Methods in Verification 9780821805794

      9780821805794Verification预订Partial

      [预订]Partial Order Methods in Verification 9780821805794

      ¥1,297券后¥1,3770人已购买
      优惠券¥80 领券购买 
    • 海外直订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 领券购买 
    • 海外直订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 领券购买 
    • 海外直订Higher Order Logic and Hardware Verification 高阶逻辑与硬件验证

      高阶VerificationHardware逻辑

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

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

      合规性量化IntroductionVerification

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

      ¥1,348券后¥1,3880人已购买
      优惠券¥40 领券购买 
    • 预订Formal Verification

      Verification预订Formal

      预订Formal Verification

      ¥1,306券后¥1,4060人已购买
      优惠券¥100 领券购买 
    • 【预售】Mechanical Verification of Parameterized Real-Time

      预售ParameterizedVerificationMechanical

      【预售】Mechanical Verification of Parameterized Real-Time

      ¥1,328券后¥1,4080人已购买
      优惠券¥80 领券购买 
    • 【预售】Verification and Validation in Systems Engineering:

      预售VerificationEngineeringValidation

      【预售】Verification and Validation in Systems Engineering:

      ¥1,344券后¥1,4240人已购买
      优惠券¥80 领券购买 
    • 【预售】Verification and Control of Hybrid Systems: A

      预售VerificationControlSystems

      【预售】Verification and Control of Hybrid Systems: A

      ¥1,344券后¥1,4240人已购买
      优惠券¥80 领券购买 
    上一页 1 ...  16   17  18  19   20  ... 23 下一页