• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 预订 Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive

      ApplicationsVerificationEngineeringLeveraging

      预订 Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive

      ¥689券后¥7230人已购买
      优惠券¥34 领券购买 
    • 预订 Computer-aided Verification: 9780821865941

      9780821865941Verification预订Computer

      预订 Computer-aided Verification: 9780821865941

      ¥1,545券后¥1,6250人已购买
      优惠券¥80 领券购买 
    • 预订 The SPIN Verification System: 9780821806807

      9780821806807Verification预订System

      预订 The SPIN Verification System: 9780821806807

      ¥767券后¥8010人已购买
      优惠券¥34 领券购买 
    • 预订 The Science of Biometrics: Security Technology for Identity Verification 生物识别科学:身份验证的安全技术: 97811385

      生物识别VerificationBiometricsTechnology

      预订 The Science of Biometrics: Security Technology for Identity Verification 生物识别科学:身份验证的安全技术: 97811385

      ¥2,252券后¥2,4120人已购买
      优惠券¥160 领券购买 
    • 预订 A Certificate Verification System for Institutions: 9786208420543

      9786208420543VerificationInstitutionsCertificate

      预订 A Certificate Verification System for Institutions: 9786208420543

      ¥602券后¥6360人已购买
      优惠券¥34 领券购买 
    • 预订 Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japa

      InternationalVerificationPreventionValidation

      预订 Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japa

      ¥601券后¥6350人已购买
      优惠券¥34 领券购买 
    • 预订 Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, U

      InterpretationInternationalVerificationConference

      预订 Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, U

      ¥601券后¥6350人已购买
      优惠券¥34 领券购买 
    • 预订 Incose Needs and Requirements Manual: Needs, Requirements, Verification, Validation Across the Lifecycle 系统工程国

      RequirementsNeeds系统工程Verification

      预订 Incose Needs and Requirements Manual: Needs, Requirements, Verification, Validation Across the Lifecycle 系统工程国

      ¥997券后¥1,0770人已购买
      优惠券¥80 领券购买 
    • 预订 Environmental Technical Verification Report for Ammonia Recovery Process: 9780784404584

      9780784404584EnvironmentalVerificationTechnical

      预订 Environmental Technical Verification Report for Ammonia Recovery Process: 9780784404584

      ¥423券后¥4570人已购买
      优惠券¥34 领券购买 
    • 预订 Rigorous Software Development: An Introduction to Program Verification 严谨的软件开发:程序验证导论 第2版: 97814471

      导论VerificationIntroductionDevelopment

      预订 Rigorous Software Development: An Introduction to Program Verification 严谨的软件开发:程序验证导论 第2版: 97814471

      ¥1,125券后¥1,2050人已购买
      优惠券¥80 领券购买 
    • 预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding

      2025InternationalVerificationConference

      预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding

      ¥735券后¥7690人已购买
      优惠券¥34 领券购买 
    • 预订 Guide to Software Verification with Frama-C: Core Components, Usages, and Applications Frama-C 软件验证指南:核心组

      核心组FramaVerificationApplications

      预订 Guide to Software Verification with Frama-C: Core Components, Usages, and Applications Frama-C 软件验证指南:核心组

      ¥574券后¥6080人已购买
      优惠券¥34 领券购买 
    • 预订 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th Int

      CertificationVerificationReliabilityModelling

      预订 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th Int

      ¥632券后¥6660人已购买
      优惠券¥34 领券购买 
    • 预订 ICE Manual of Geotechnical Engineering Volume 2: Geotechnical design, construction and verification ICE 岩土工程手

      Geotechnical岩土工程constructionverification

      预订 ICE Manual of Geotechnical Engineering Volume 2: Geotechnical design, construction and verification ICE 岩土工程手

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

      多项式形式化时序Verification

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

      ¥944券后¥9780人已购买
      优惠券¥34 领券购买 
    • 预订 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 领券购买 
    • 预订 Design, Specification and Verification of Interactive Systems ’96

      SpecificationVerificationInteractive预订

      预订 Design, Specification and Verification of Interactive Systems ’96

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 预订 101 Topics for Clinical Microbiology Laboratory Leaders: Accreditation, Verification, Quality Systems, and More 临

      AccreditationMicrobiologyVerificationLaboratory

      预订 101 Topics for Clinical Microbiology Laboratory Leaders: Accreditation, Verification, Quality Systems, and More 临

      ¥997券后¥1,0770人已购买
      优惠券¥80 领券购买 
    • 预订 A Handbook of Verification Procedures: 9781349110438

      9781349110438VerificationProcedures预订

      预订 A Handbook of Verification Procedures: 9781349110438

      ¥556券后¥5900人已购买
      优惠券¥34 领券购买 
    • 【预售】Scalable Hardware Verification with Symbolic

      预售VerificationScalableHardware

      【预售】Scalable Hardware Verification with Symbolic

      ¥1,046券后¥1,1260人已购买
      优惠券¥80 领券购买 
    • 【预售】Verification by Error Modeling: Using Testing

      预售VerificationModelingTesting

      【预售】Verification by Error Modeling: Using Testing

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Hardware Verification with System Verilog: An

      预售VerificationHardwareVerilog

      【预售】Hardware Verification with System Verilog: An

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Protocol Specification, Testing and Verification XV

      预售SpecificationVerificationProtocol

      【预售】Protocol Specification, Testing and Verification XV

      ¥2,030券后¥2,1900人已购买
      优惠券¥160 领券购买 
    • 【预售】Metric-Driven Design Verification: An Engineer's and

      预售VerificationEngineer'sMetric

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

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Functional Verification of Programmable Embedded

      预售VerificationProgrammableFunctional

      【预售】Functional Verification of Programmable Embedded

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Higher Order Logic and Hardware Verification

      预售VerificationHardwareHigher

      【预售】Higher Order Logic and Hardware Verification

      ¥468券后¥5020人已购买
      优惠券¥34 领券购买 
    • 【预售】SAT-Based Scalable Formal Verification Solutions

      预售VerificationSolutionsScalable

      【预售】SAT-Based Scalable Formal Verification Solutions

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Applied Assertion-Based Verification: An Industry

      预售VerificationAssertionIndustry

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

      ¥800券后¥8340人已购买
      优惠券¥34 领券购买 
    • 【预售】Program Verification: Fundamental Issues in Computer

      预售VerificationFundamentalComputer

      【预售】Program Verification: Fundamental Issues in Computer

      ¥3,125券后¥3,2850人已购买
      优惠券¥160 领券购买 
    • 【预售】Hardware Specification, Verification and Synthesis:

      预售SpecificationVerificationSynthesis

      【预售】Hardware Specification, Verification and Synthesis:

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Scalable Techniques for Formal Verification

      预售VerificationTechniquesScalable

      【预售】Scalable Techniques for Formal Verification

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

      预售VerificationEngineer'sMetric

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

      ¥1,250券后¥1,3300人已购买
      优惠券¥80 领券购买 
    • 【预售】ASIC and FPGA Verification: A Guide to Component

      预售VerificationComponentGuide

      【预售】ASIC and FPGA Verification: A Guide to Component

      ¥669券后¥7030人已购买
      优惠券¥34 领券购买 
    • 【预售】Post-Silicon and Runtime Verification for Modern

      预售VerificationSiliconRuntime

      【预售】Post-Silicon and Runtime Verification for Modern

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】System-On-A-Chip Verification: Methodology and

      预售VerificationMethodologySystem

      【预售】System-On-A-Chip Verification: Methodology and

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预订】Verification, Model Checking, and Abstract Interpretation

      InterpretationVerification预订Checking

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

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Scalable Hardware Verification with Symbolic

      预售VerificationScalableHardware

      【预售】Scalable Hardware Verification with Symbolic

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Modeling, Verification and Exploration of Task-Level

      预售VerificationExplorationModeling

      【预售】Modeling, Verification and Exploration of Task-Level

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Methods and Procedures for the Verification and

      预售VerificationProceduresMethods

      【预售】Methods and Procedures for the Verification and

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Functional Verification of Dynamically

      预售VerificationDynamicallyFunctional

      【预售】Functional Verification of Dynamically

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    上一页 1 ...  6   7  8  9   10  ... 23 下一页