• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Multicore Hardware-Software Design and Verification Techniques 多核硬件软件设计与验证技术

      多核VerificationTechniquesMulticore

      海外直订Multicore Hardware-Software Design and Verification Techniques 多核硬件软件设计与验证技术

      ¥750券后¥7800人已购买
      优惠券¥30 领券购买 
    • 海外直订The Science of Biometrics: Security Technology for Identity Verification 生物测定学:身份验证的安全技术

      测定VerificationBiometricsTechnology

      海外直订The Science of Biometrics: Security Technology for Identity Verification 生物测定学:身份验证的安全技术

      ¥753券后¥7830人已购买
      优惠券¥30 领券购买 
    • 海外直订Systemverilog for Hardware Description: Rtl Design and Verification Systemverilog用于硬件描述:Rtl设计和验证

      SystemverilogVerificationDescriptionRtl

      海外直订Systemverilog for Hardware Description: Rtl Design and Verification Systemverilog用于硬件描述:Rtl设计和验证

      ¥758券后¥7880人已购买
      优惠券¥30 领券购买 
    • 按需印刷Verification, Validation and Testing in Software Engineering[9781591408512]

      9781591408512VerificationEngineeringValidation

      按需印刷Verification, Validation and Testing in Software Engineering[9781591408512]

      ¥749券后¥7890人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

      InterpretationInternationalVerificationVerificati

      海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

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

      测量机坐标VerificationInspection

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

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

      InternationalVerificationTechnologyAutomated

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

      ¥770券后¥8000人已购买
      优惠券¥30 领券购买 
    • 预订 The SPIN Verification System: 9780821806807

      9780821806807Verification预订System

      预订 The SPIN Verification System: 9780821806807

      ¥767券后¥8010人已购买
      优惠券¥34 领券购买 
    • 【预订】Automated Technology for Verification and Analysis 9783031199912

      9783031199912VerificationTechnologyAutomated

      【预订】Automated Technology for Verification and Analysis 9783031199912

      ¥769券后¥8030人已购买
      优惠券¥34 领券购买 
    • [预订]Verification, Model Checking, and Abstract Interpretation

      InterpretationVerification预订Checking

      [预订]Verification, Model Checking, and Abstract Interpretation

      ¥769券后¥8030人已购买
      优惠券¥34 领券购买 
    • 按需印刷Computer Aided Verification[9781013270994]

      9781013270994VerificationComputer印刷

      按需印刷Computer Aided Verification[9781013270994]

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

      康德形而上学VerificationMetaphysics

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

      ¥777券后¥8070人已购买
      优惠券¥30 领券购买 
    • 预订 Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nico

      ApplicationsVerificationLeveragingValidation

      预订 Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nico

      ¥776券后¥8100人已购买
      优惠券¥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 领券购买 
    • 预订 Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occ

      ProbabilisticVerificationPrinciplesLandscape

      预订 Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occ

      ¥776券后¥8100人已购买
      优惠券¥34 领券购买 
    • 海外直订Automated Technology for Verification and Analysis: 20th International Symposium 验证与分析自动化技术:第20

      InternationalVerificationTechnologyAutomated

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

      ¥785券后¥8150人已购买
      优惠券¥30 领券购买 
    • 海外直订Logic Synthesis and Verification Algorithms 逻辑综合与验证算法

      Verification算法AlgorithmsSynthesis

      海外直订Logic Synthesis and Verification Algorithms 逻辑综合与验证算法

      ¥787券后¥8170人已购买
      优惠券¥30 领券购买 
    • 按需印刷LSTM Recurrent Neural Networks for Signature Verification[9783846589946]

      9783846589946VerificationRecurrentSignature

      按需印刷LSTM Recurrent Neural Networks for Signature Verification[9783846589946]

      ¥718券后¥8180人已购买
      优惠券¥100 领券购买 
    • 【预售】Runtime Verification

      预售VerificationRuntime

      【预售】Runtime Verification

      ¥787券后¥8210人已购买
      优惠券¥34 领券购买 
    • 【预订】Automated Technology for Verification and Analysis 9783030888848

      9783030888848VerificationTechnologyAutomated

      【预订】Automated Technology for Verification and Analysis 9783030888848

      ¥787券后¥8210人已购买
      优惠券¥34 领券购买 
    • 【预订】Runtime Verification 9783030884932

      9783030884932Verification预订Runtime

      【预订】Runtime Verification 9783030884932

      ¥787券后¥8210人已购买
      优惠券¥34 领券购买 
    • [预订]Automated Technology for Verification and Analysis 9783031453311

      9783031453311VerificationTechnologyAutomated

      [预订]Automated Technology for Verification and Analysis 9783031453311

      ¥787券后¥8210人已购买
      优惠券¥34 领券购买 
    • 【预售】Aspect-Oriented Programming with the E Verification

      预售VerificationProgrammingOriented

      【预售】Aspect-Oriented Programming with the E Verification

      ¥793券后¥8270人已购买
      优惠券¥34 领券购买 
    • [预订]Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model 9783731501725

      9783731501725VerificationSimulationsResolving

      [预订]Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model 9783731501725

      ¥798券后¥8320人已购买
      优惠券¥34 领券购买 
    • 【预售】Applied Assertion-Based Verification: An Industry

      预售VerificationAssertionIndustry

      【预售】Applied Assertion-Based Verification: An Industry

      ¥800券后¥8340人已购买
      优惠券¥34 领券购买 
    • 【预售】Principles of Functional Verification

      预售VerificationPrinciplesFunctional

      【预售】Principles of Functional Verification

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

      验证ApplicationsVerificationLeveraging

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

      ¥817券后¥8470人已购买
      优惠券¥30 领券购买 
    • 海外直订ADAS and Automated Driving: A Practical Approach to Verification and Validation ADAS和自动驾驶:验证和验证的

      验证ADASVerificationValidation

      海外直订ADAS and Automated Driving: A Practical Approach to Verification and Validation ADAS和自动驾驶:验证和验证的

      ¥835券后¥8650人已购买
      优惠券¥30 领券购买 
    • 【预售】Formal Verification of Floating-Poin...

      预售VerificationFloatingFormal

      【预售】Formal Verification of Floating-Poin...

      ¥837券后¥8710人已购买
      优惠券¥34 领券购买 
    • 海外直订A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded S 面向问题的异构嵌入式系统动

      HeterogeneousVerification嵌入式Oriented

      海外直订A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded S 面向问题的异构嵌入式系统动

      ¥841券后¥8710人已购买
      优惠券¥30 领券购买 
    • 现货Logic Synthesis and Verification Algorithms

      Verification现货AlgorithmsSynthesis

      现货Logic Synthesis and Verification Algorithms

      ¥839券后¥8730人已购买
      优惠券¥34 领券购买 
    • 【预售】Verification of Sequential and Concurrent Programs

      预售VerificationSequentialConcurrent

      【预售】Verification of Sequential and Concurrent Programs

      ¥842券后¥8760人已购买
      优惠券¥34 领券购买 
    • 【预售】A Theory of Creative Thinking: Construction and Verification of the Dual Circulation Model

      预售ConstructionVerificationCirculation

      【预售】A Theory of Creative Thinking: Construction and Verification of the Dual Circulation Model

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

      InterpretationVerification预订Checking

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

      ¥842券后¥8760人已购买
      优惠券¥34 领券购买 
    • [预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667

      Checking9783031301667VerificationAnnotation

      [预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667

      ¥842券后¥8760人已购买
      优惠券¥34 领券购买 
    • [预订]Automated Technology for Verification and Analysis 9783031453281

      9783031453281VerificationTechnologyAutomated

      [预订]Automated Technology for Verification and Analysis 9783031453281

      ¥842券后¥8760人已购买
      优惠券¥34 领券购买 
    • 海外直订Verification of Sequential and Concurrent Programs 顺序和并发程序的验证

      并发VerificationSequentialConcurrent

      海外直订Verification of Sequential and Concurrent Programs 顺序和并发程序的验证

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

      字符串VerificationAnalysisSoftware

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

      ¥853券后¥8830人已购买
      优惠券¥30 领券购买 
    • 海外直订Fundamentals of IP and Soc Security: Design, Verification, and Debug IP和Soc安全基础:设计,验证和调试

      VerificationFundamentals调试Soc

      海外直订Fundamentals of IP and Soc Security: Design, Verification, and Debug IP和Soc安全基础:设计,验证和调试

      ¥853券后¥8830人已购买
      优惠券¥30 领券购买 
    • 预订Formal Verification of Control System Software[9780691181301]

      9780691181301Verification预订Software

      预订Formal Verification of Control System Software[9780691181301]

      ¥788券后¥8880人已购买
      优惠券¥100 领券购买 
    上一页 1 ...  10   11  12  13   14  ... 23 下一页