• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 预订 Verification of adulteration in milk sold in Assis/SP: 9786207984725

      9786207984725Verificationadulteration预订

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

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

      9783031197611ApplicationsVerificationLeveraging

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

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

      VerificationStructurallyMultipliers预订

      [预订]Formal Verification of Structurally Complex Multipliers

      ¥951券后¥9850人已购买
      优惠券¥34 领券购买 
    • 海外直订Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeou 高级验证技术:成功的Tapeo

      VerificationTechniquesSuccessfulAdvanced

      海外直订Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeou 高级验证技术:成功的Tapeo

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • [预订]Handbook of Formal Analysis and Verification in Cryptography 9780367546656

      9780367546656VerificationCryptography预订

      [预订]Handbook of Formal Analysis and Verification in Cryptography 9780367546656

      ¥1,875券后¥2,0350人已购买
      优惠券¥160 领券购买 
    • 海外直订Computer Aided Verification: 8th International Conference, Cav '96, New Brunswic 计算机辅助验证:第8届国际会议

      国际会议InternationalVerificationConference

      海外直订Computer Aided Verification: 8th International Conference, Cav '96, New Brunswic 计算机辅助验证:第8届国际会议

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Computer Aided Verification: 26th International Conference, Cav 2014, Held as Pa 计算机辅助验证:第26届国际

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 26th International Conference, Cav 2014, Held as Pa 计算机辅助验证:第26届国际

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Specification and Compositional Verification of Real-Time Systems 实时系统的规范和组成验证

      SpecificationCompositionalVerification实时

      海外直订Specification and Compositional Verification of Real-Time Systems 实时系统的规范和组成验证

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Interactive Systems. Design, Specification, and Verification: 10th International 互动系统。设计,规范和验证

      SpecificationInternationalVerificationInteractive

      海外直订Interactive Systems. Design, Specification, and Verification: 10th International 互动系统。设计,规范和验证

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Verification of Circuits 电路的形式验证

      Verification电路Circuits验证

      海外直订Formal Verification of Circuits 电路的形式验证

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Applied Formal Verification: For Digital Circuit Design 应用形式验证:用于数字电路设计

      电路设计Verification验证形式

      海外直订Applied Formal Verification: For Digital Circuit Design 应用形式验证:用于数字电路设计

      ¥1,541券后¥1,5810人已购买
      优惠券¥40 领券购买 
    • 海外直订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 领券购买 
    • 预订 Automated Technology for Verification and Analysis

      VerificationTechnologyAutomated预订

      预订 Automated Technology for Verification and Analysis

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订Sequential Logic Testing and Verification 顺序逻辑测试与验证

      VerificationSequential顺序逻辑

      海外直订Sequential Logic Testing and Verification 顺序逻辑测试与验证

      ¥1,729券后¥1,7890人已购买
      优惠券¥60 领券购买 
    • 海外直订医药图书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 领券购买 
    • [预订]Partial Order Methods in Verification 9780821805794

      9780821805794Verification预订Partial

      [预订]Partial Order Methods in Verification 9780821805794

      ¥1,297券后¥1,3770人已购买
      优惠券¥80 领券购买 
    • [预订]Computer Aided Verification 9781013270987

      9781013270987Verification预订Computer

      [预订]Computer Aided Verification 9781013270987

      ¥1,895券后¥1,9750人已购买
      优惠券¥80 领券购买 
    • 海外直订Tools for Design, Implementation and Verification of Emerging Information Techno Tools for

      ToolsImplementationVerificationInformation

      海外直订Tools for Design, Implementation and Verification of Emerging Information Techno Tools for

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

      VerilogVerificationSPIProtocol

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

      ¥546券后¥5560人已购买
      优惠券¥10 领券购买 
    • 海外直订Computer Aided Verification: 34th International Conference, Cav 2022, Haifa, Isr 计算机辅助验证:第34届国际

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 34th International Conference, Cav 2022, Haifa, Isr 计算机辅助验证:第34届国际

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

      9781608056859VerificationTechniquesMulticore

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

      ¥922券后¥1,0020人已购买
      优惠券¥80 领券购买 
    • 海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法:理论与算法

      Verification精度算法Algorithms

      海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法:理论与算法

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Interactive Systems. Design Specification, and Verification: 12th International  互动系统。设计规范和验证:

      SpecificationInternationalVerificationInteractive

      海外直订Interactive Systems. Design Specification, and Verification: 12th International 互动系统。设计规范和验证:

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Interactive Systems: Design, Specification, and Verification: 15th International 交互系统:设计、规范和验证:

      SpecificationInternationalVerificationInteractive

      海外直订Interactive Systems: Design, Specification, and Verification: 15th International 交互系统:设计、规范和验证:

      ¥539券后¥5490人已购买
      优惠券¥10 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation. Verifica 利用形式方法、验证和验证的

      验证ApplicationsVerificationLeveraging

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

      ¥817券后¥8470人已购买
      优惠券¥30 领券购买 
    • 海外直订Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Ge 计算机辅助验证:第19届国际

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Ge 计算机辅助验证:第19届国际

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 预订 Formal Modeling and Verification of Cyber-Physical Systems

      Verification预订ModelingPhysical

      预订 Formal Modeling and Verification of Cyber-Physical Systems

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:

      InterpretationInternationalVerification抽象

      海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 预订 Automated Verification of Concurrent Search Structures

      VerificationConcurrentStructuresAutomated

      预订 Automated Verification of Concurrent Search Structures

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

      交互式SpecificationVerificationEurographics

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

      ¥578券后¥5880人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification and Evaluation of Computer and Communication Systems: 12th Internat 计算机和通信系统的验证与评

      CommunicationVerificationEvaluationComputer

      海外直订Verification and Evaluation of Computer and Communication Systems: 12th Internat 计算机和通信系统的验证与评

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • [预订]Introduction to Neural Network Verification 9781680839104

      9781680839104IntroductionVerification预订

      [预订]Introduction to Neural Network Verification 9781680839104

      ¥1,021券后¥1,1010人已购买
      优惠券¥80 领券购买 
    • 预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

      2024InternationalVerificationConference

      预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 预订 Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th Intern

      VerificationSpecificationApplicationsLeveraging

      预订 Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th Intern

      ¥776券后¥8100人已购买
      优惠券¥34 领券购买 
    • 海外直订Verification 1995 验证1995

      1995Verification验证海外

      海外直订Verification 1995 验证1995

      ¥1,008券后¥1,0480人已购买
      优惠券¥40 领券购买 
    • 海外直订Digital Timing Macromodeling for VLSI Design Verification 用于VLSI设计验证的数字时序宏建模

      时序建模VLSIMacromodeling

      海外直订Digital Timing Macromodeling for VLSI Design Verification 用于VLSI设计验证的数字时序宏建模

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Advanced Formal Verification 先进的形式验证

      VerificationAdvanced验证形式

      海外直订Advanced Formal Verification 先进的形式验证

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法

      形式化方法VerificationSoftware自治

      海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法

      ¥727券后¥7570人已购买
      优惠券¥30 领券购买 
    • 海外直订Protocol Specification, Testing and Verification XIV 协议规范、测试与验证

      SpecificationVerificationProtocol验证

      海外直订Protocol Specification, Testing and Verification XIV 协议规范、测试与验证

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

      StandardizedVerification标准化Functional

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

      ¥1,032券后¥1,0720人已购买
      优惠券¥40 领券购买 
    上一页 1 ...  9   10  11  12   13  ... 23 下一页