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

      预售TechnologiesVerificationBiometric

      【预售】Biometric Technologies and Verification Systems

      ¥860券后¥8940人已购买
      优惠券¥34 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2

      InterpretationInternationalVerification抽象

      海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2

      ¥867券后¥8970人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证

      乘数形式化VerificationStructurally

      海外直订Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证

      ¥867券后¥8970人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal Verification of Structurally Complex Multipliers Formal Verification of Structurally

      VerificationStructurallyFormalMultipliers

      海外直订Formal Verification of Structurally Complex Multipliers Formal Verification of Structurally

      ¥871券后¥9010人已购买
      优惠券¥30 领券购买 
    • 预订 Kant’s Solution for Verification in Metaphysics: 9781138659315

      9781138659315VerificationMetaphysics预订

      预订 Kant’s Solution for Verification in Metaphysics: 9781138659315

      ¥870券后¥9040人已购买
      优惠券¥34 领券购买 
    • 【预订】Modeling and Verification Using UML Statecharts

      VerificationStatecharts预订Modeling

      【预订】Modeling and Verification Using UML Statecharts

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

      密钥VerificationExtendingPrograms

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

      ¥892券后¥9220人已购买
      优惠券¥30 领券购买 
    • 海外直订Intelligent Signature Verification and Analysis 智能签名验证与分析

      VerificationIntelligentSignatureAnalysis

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

      ¥892券后¥9220人已购买
      优惠券¥30 领券购买 
    • 【预售】Software Verification and Validation: An Engineering

      预售VerificationEngineeringValidation

      【预售】Software Verification and Validation: An Engineering

      ¥898券后¥9320人已购买
      优惠券¥34 领券购买 
    • 【预订】Validation and Verification of Automated Systems

      VerificationValidationAutomated预订

      【预订】Validation and Verification of Automated Systems

      ¥898券后¥9320人已购买
      优惠券¥34 领券购买 
    • 【预订】Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

      VerificationApplicationsLeveragingValidation

      【预订】Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

      ¥898券后¥9320人已购买
      优惠券¥34 领券购买 
    • 【预订】Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

      VerificationMathematical预订Floating

      【预订】Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

      ¥898券后¥9320人已购买
      优惠券¥34 领券购买 
    • 【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031198489

      9783031198489ApplicationsVerificationLeveraging

      【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031198489

      ¥898券后¥9320人已购买
      优惠券¥34 领券购买 
    • 海外直订Software Verification and Validation: An Engineering and Scientific Approach 软件验证和确认:一种工程和科学

      VerificationEngineeringValidationScientific

      海外直订Software Verification and Validation: An Engineering and Scientific Approach 软件验证和确认:一种工程和科学

      ¥913券后¥9430人已购买
      优惠券¥30 领券购买 
    • 【预售】Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification

      预售SpecificationVerificationDevelopment

      【预售】Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification

      ¥915券后¥9490人已购买
      优惠券¥34 领券购买 
    • 【预订】Comprehensive Functional Verification

      ComprehensiveVerificationFunctional预订

      【预订】Comprehensive Functional Verification

      ¥925券后¥9590人已购买
      优惠券¥34 领券购买 
    • 预订 Segmentation-Verification for Handwritten Digit Recognition: 9783668518100

      9783668518100SegmentationVerificationHandwritten

      预订 Segmentation-Verification for Handwritten Digit Recognition: 9783668518100

      ¥925券后¥9590人已购买
      优惠券¥34 领券购买 
    • 海外直订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 指标驱动的设计验证:工程师

      ¥931券后¥9610人已购买
      优惠券¥30 领券购买 
    • 预订 Embedding Sequential Circuits for their Polynomial Formal Verification 用于多项式形式化验证的时序电路嵌入: 97836585

      多项式形式化时序Verification

      预订 Embedding Sequential Circuits for their Polynomial Formal Verification 用于多项式形式化验证的时序电路嵌入: 97836585

      ¥944券后¥9780人已购买
      优惠券¥34 领券购买 
    • 【预售】Logic Synthesis and Verification Algorithms

      预售VerificationAlgorithmsSynthesis

      【预售】Logic Synthesis and Verification Algorithms

      ¥951券后¥9850人已购买
      优惠券¥34 领券购买 
    • 【预订】Video Verification in the Fake News Era

      Verification预订VideoFake

      【预订】Video Verification in the Fake News Era

      ¥951券后¥9850人已购买
      优惠券¥34 领券购买 
    • 【预订】Verification, Model Checking, and Abstract Interpretation

      InterpretationVerification预订Checking

      【预订】Verification, Model Checking, and Abstract Interpretation

      ¥951券后¥9850人已购买
      优惠券¥34 领券购买 
    • 【预订】Verification, Model Checking, and Abstract Interpretation 9783030945824

      Interpretation9783030945824Verification预订

      【预订】Verification, Model Checking, and Abstract Interpretation 9783030945824

      ¥951券后¥9850人已购买
      优惠券¥34 领券购买 
    • [预订]Formal Verification of Structurally Complex Multipliers

      VerificationStructurallyMultipliers预订

      [预订]Formal Verification of Structurally Complex Multipliers

      ¥951券后¥9850人已购买
      优惠券¥34 领券购买 
    • 【预订】Concurrency Verification

      VerificationConcurrency预订

      【预订】Concurrency Verification

      ¥957券后¥9910人已购买
      优惠券¥34 领券购买 
    • 海外直订Computer Aided Verification: 25th International Conference, Cav 2013, Saint Pete 计算机辅助验证:第2

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 25th International Conference, Cav 2013, Saint Pete 计算机辅助验证:第2

      ¥967券后¥9970人已购买
      优惠券¥30 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation: Foundati 利用形式方法、验证和验证的

      验证ApplicationsVerificationLeveraging

      海外直订Leveraging Applications of Formal Methods, Verification and Validation: Foundati 利用形式方法、验证和验证的

      ¥967券后¥9970人已购买
      优惠券¥30 领券购买 
    • 海外直订Logic Synthesis and Verification Algorithms

      VerificationAlgorithmsSynthesis海外

      海外直订Logic Synthesis and Verification Algorithms

      ¥969券后¥9990人已购买
      优惠券¥30 领券购买 
    • [预订]Multicore Hardware-Software Design and Verification Techniques 9781608056859

      9781608056859VerificationTechniquesMulticore

      [预订]Multicore Hardware-Software Design and Verification Techniques 9781608056859

      ¥922券后¥1,0020人已购买
      优惠券¥80 领券购买 
    • 【预售】Logic Synthesis and Verification Algorithms

      预售VerificationAlgorithmsSynthesis

      【预售】Logic Synthesis and Verification Algorithms

      ¥924券后¥1,0040人已购买
      优惠券¥80 领券购买 
    • 预订 Semi-Physical Verification Technology for Dynamic Performance of Internet of Things System: 9789811346774

      9789811346774VerificationPerformanceTechnology

      预订 Semi-Physical Verification Technology for Dynamic Performance of Internet of Things System: 9789811346774

      ¥931券后¥1,0110人已购买
      优惠券¥80 领券购买 
    • 预订 Semi-physical Verification Technology for Dynamic Performance of Internet of Things System: 9789811317583

      9789811317583VerificationPerformanceTechnology

      预订 Semi-physical Verification Technology for Dynamic Performance of Internet of Things System: 9789811317583

      ¥931券后¥1,0110人已购买
      优惠券¥80 领券购买 
    • 【预售】Electronic Design Automation for IC System Design, Verification, and Testing

      Design预售VerificationElectronic

      【预售】Electronic Design Automation for IC System Design, Verification, and Testing

      ¥937券后¥1,0170人已购买
      优惠券¥80 领券购买 
    • 海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一

      形式化浮点硬件设计Verification

      海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一

      ¥983券后¥1,0230人已购买
      优惠券¥40 领券购买 
    • 海外直订医药图书Computer Aided Verification: 13th International Conference, Cav 2001, Paris, Fra 计算机辅助验证:第1

      医药图书InternationalVerificationConference

      海外直订医药图书Computer Aided Verification: 13th International Conference, Cav 2001, Paris, Fra 计算机辅助验证:第1

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

      分类法VerificationDevelopmentTaxonomies

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

      ¥985券后¥1,0250人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification by Error Modeling: Using Testing Techniques in Hardware Verificatio 错误模型验证:在硬件验证中

      验证VerificationVerificatioTechniques

      海外直订Verification by Error Modeling: Using Testing Techniques in Hardware Verificatio 错误模型验证:在硬件验证中

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Methods and Procedures for the Verification and Validation of Artificial Neural  人工神经的验证和确认方

      VerificationProceduresValidationArtificial

      海外直订Methods and Procedures for the Verification and Validation of Artificial Neural 人工神经的验证和确认方

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Po 生成硬件断言检查程序:用于

      Hardware断言VerificationGenerating

      海外直订Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Po 生成硬件断言检查程序:用于

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Po 生成硬件断言检查程序:用于

      Hardware断言VerificationGenerating

      海外直订Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Po 生成硬件断言检查程序:用于

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    上一页 1 ...  11   12  13  14   15  ... 23 下一页