• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共899个商品
      • 默认
      • 销量
      • 价格
    • 预订 Accessible Technologies for the Verification of Origin of Dairy Products as an Example Control System to Enhance Gl

      TechnologiesVerificationAccessible预订

      预订 Accessible Technologies for the Verification of Origin of Dairy Products as an Example Control System to Enhance Gl

      ¥186券后¥2020人已购买
      优惠券¥16 领券购买 
    • 预订 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 领券购买 
    • 预订 An Introduction to Verification of Visualization Techniques

      VisualizationVerificationIntroductionTechniques

      预订 An Introduction to Verification of Visualization Techniques

      ¥272券后¥3060人已购买
      优惠券¥34 领券购买 
    • [预订]Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi 9783031433658

      9783031433658VerificationReliabilityModelling

      [预订]Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi 9783031433658

      ¥677券后¥7110人已购买
      优惠券¥34 领券购买 
    • 预订 Kosovo’s Verification Procedure for Diplomas of Private Colleges: 9783659579073

      9783659579073VerificationProcedure预订

      预订 Kosovo’s Verification Procedure for Diplomas of Private Colleges: 9783659579073

      ¥694券后¥7280人已购买
      优惠券¥34 领券购买 
    • 预订 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 领券购买 
    • 预订 Runtime Verification: 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings 运

      2025InternationalVerificationProceedings

      预订 Runtime Verification: 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings 运

      ¥724券后¥7580人已购买
      优惠券¥34 领券购买 
    • 预订 Guide to Software Verification with Frama-C

      Verification预订SoftwareGuide

      预订 Guide to Software Verification with Frama-C

      ¥677券后¥7110人已购买
      优惠券¥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 领券购买 
    • 预订 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 领券购买 
    • 【预售】Methods and Procedures for the Verification and

      预售VerificationProceduresMethods

      【预售】Methods and Procedures for the Verification and

      ¥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 领券购买 
    • 【预售】Hardware Verification with System Verilog: An

      预售VerificationHardwareVerilog

      【预售】Hardware Verification with System Verilog: An

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

      预售VerificationProgrammableFunctional

      【预售】Functional Verification of Programmable Embedded

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】A Unified Approach for Timing Verification and Delay

      预售VerificationApproachUnified

      【预售】A Unified Approach for Timing Verification and Delay

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

      预售VerificationHardwareHigher

      【预售】Higher Order Logic and Hardware Verification

      ¥468券后¥5020人已购买
      优惠券¥34 领券购买 
    • 【预售】Design and Verification of Microprocessor Systems

      预售MicroprocessorVerificationSystems

      【预售】Design and Verification of Microprocessor Systems

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】The E Hardware Verification Language

      预售VerificationHardwareLanguage

      【预售】The E Hardware Verification Language

      ¥2,030券后¥2,1900人已购买
      优惠券¥160 领券购买 
    • 【预售】Logic Synthesis and Verification Algorithms

      预售VerificationAlgorithmsSynthesis

      【预售】Logic Synthesis and Verification Algorithms

      ¥924券后¥1,0040人已购买
      优惠券¥80 领券购买 
    • 【预售】Runtime Verification: 5th International Confer...

      预售InternationalVerificationRuntime

      【预售】Runtime Verification: 5th International Confer...

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Functional Verification of Dynamically

      预售VerificationDynamicallyFunctional

      【预售】Functional Verification of Dynamically

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

      预售VerificationMethodologySystem

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

      ¥1,673券后¥1,7530人已购买
      优惠券¥80 领券购买 
    • 【预售】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 领券购买 
    • 【预售】Metric-Driven Design Verification: An Engineer's and

      预售VerificationEngineer'sMetric

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

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

      预售VerificationRuntime

      【预售】Runtime Verification

      ¥677券后¥7110人已购买
      优惠券¥34 领券购买 
    • 【预订】Accuracy Verification Methods

      Verification预订AccuracyMethods

      【预订】Accuracy Verification Methods

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】SAT-Based Scalable Formal Verification Solutions

      预售VerificationSolutionsScalable

      【预售】SAT-Based Scalable Formal Verification Solutions

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Temporal Verification of Reactive Systems: Safety

      预售VerificationTemporalReactive

      【预售】Temporal Verification of Reactive Systems: Safety

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

      预售VerificationCircuitsFormal

      【预售】Formal Verification of Circuits

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

      预售VerificationSynthesisLogic

      【预售】Logic Synthesis and Verification

      ¥1,673券后¥1,7530人已购买
      优惠券¥80 领券购买 
    • 【预售】The Inverse Method / Parametric Verification Of Real-Time Unbedded Systems

      预售VerificationParametricUnbedded

      【预售】The Inverse Method / Parametric Verification Of Real-Time Unbedded Systems

      ¥1,860券后¥2,0200人已购买
      优惠券¥160 领券购买 
    上一页 1 ...  6   7  8  9   10  ... 23 下一页