• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 预订 Information Verification in the Digital Age: The News Library Perspective: 9783031009112

      9783031009112VerificationInformationPerspective

      预订 Information Verification in the Digital Age: The News Library Perspective: 9783031009112

      ¥203券后¥2190人已购买
      优惠券¥16 领券购买 
    • 预订 Verification of adulteration in milk sold in Assis/SP: 9786207984725

      9786207984725Verificationadulteration预订

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

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

      9781680839104IntroductionVerification预订

      [预订]Introduction to Neural Network Verification 9781680839104

      ¥1,021券后¥1,1010人已购买
      优惠券¥80 领券购买 
    • 预订 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 领券购买 
    • 预订 The Supernatural In Nature: A Verification By Free Use Of Science: 9781425496630

      9781425496630SupernaturalVerification预订

      预订 The Supernatural In Nature: A Verification By Free Use Of Science: 9781425496630

      ¥283券后¥3170人已购买
      优惠券¥34 领券购买 
    • 预订 Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms 使用数据挖掘

      数据挖掘VerificationTechniquesAlgorithms

      预订 Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms 使用数据挖掘

      ¥1,015券后¥1,0950人已购买
      优惠券¥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 领券购买 
    • [预订]Formal Verification of Floating-Point Hardware Design 9783030871802

      9783030871802Verification预订Floating

      [预订]Formal Verification of Floating-Point Hardware Design 9783030871802

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131844

      International9783031131844VerificationConference

      【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131844

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 预订 Verification Of Systems And Circuits Using Lotos, Petri Nets, And Ccs 利用LOTOS、Petri Nets 与CCS进行系统与电路的核

      PetriLotosNetsVerification

      预订 Verification Of Systems And Circuits Using Lotos, Petri Nets, And Ccs 利用LOTOS、Petri Nets 与CCS进行系统与电路的核

      ¥1,623券后¥1,7030人已购买
      优惠券¥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 领券购买 
    • 【预售】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 领券购买 
    • [预订]Formal Verification 9780323956123

      9780323956123Verification预订Formal

      [预订]Formal Verification 9780323956123

      ¥1,146券后¥1,2260人已购买
      优惠券¥80 领券购买 
    • 预订 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 领券购买 
    • [预订]Verification, Model Checking, and Abstract Interpretation

      InterpretationVerification预订Checking

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

      ¥769券后¥8030人已购买
      优惠券¥34 领券购买 
    • 【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131875

      International9783031131875VerificationConference

      【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131875

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 【预售】Constraint-Based Verification

      预售VerificationConstraintBased

      【预售】Constraint-Based Verification

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预订】Specification and Verification of Co...

      SpecificationVerification预订Co

      【预订】Specification and Verification of Co...

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 预订 Automated Technology for Verification and Analysis

      VerificationTechnologyAutomated预订

      预订 Automated Technology for Verification and Analysis

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 预订 Program Verification

      Verification预订Program

      预订 Program Verification

      ¥3,454券后¥3,6140人已购买
      优惠券¥160 领券购买 
    • 预订 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 领券购买 
    • [预订]Runtime Verification 9783031442667

      9783031442667Verification预订Runtime

      [预订]Runtime Verification 9783031442667

      ¥732券后¥7660人已购买
      优惠券¥34 领券购买 
    • 【预售】Standardized Functional Verification

      预售StandardizedVerificationFunctional

      【预售】Standardized Functional Verification

      ¥1,250券后¥1,3300人已购买
      优惠券¥80 领券购买 
    • 【预售】Computer-Aided Verification: A Special Issue of

      预售VerificationComputerSpecial

      【预售】Computer-Aided Verification: A Special Issue of

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 预订 Design and Verification of SPI Protocol using Verilog: 9786207651405

      9786207651405Verification预订Protocol

      预订 Design and Verification of SPI Protocol using Verilog: 9786207651405

      ¥541券后¥5750人已购买
      优惠券¥34 领券购买 
    • 预订 Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification 多功能硬件分析技术:从

      AnalysisVerificationTechniquesVersatile

      预订 Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification 多功能硬件分析技术:从

      ¥1,380券后¥1,4600人已购买
      优惠券¥80 领券购买 
    • 预订 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 领券购买 
    • 预订 Heterogeneous SoC Design and Verification

      HeterogeneousVerification预订Design

      预订 Heterogeneous SoC Design and Verification

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Hardware Verification with System Verilog: An

      预售VerificationHardwareVerilog

      【预售】Hardware Verification with System Verilog: An

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】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 领券购买 
    • 预订 Tools for Design, Implementation and Verification of Emerging Information Technologies

      ImplementationVerificationTechnologiesInformation

      预订 Tools for Design, Implementation and Verification of Emerging Information Technologies

      ¥624券后¥6580人已购买
      优惠券¥34 领券购买 
    • 【预订】Reconfigurable System Design and Verification

      ReconfigurableVerification预订System

      【预订】Reconfigurable System Design and Verification

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

      预售SpecificationVerificationProtocol

      【预售】Protocol Specification, Testing and Verification XV

      ¥2,030券后¥2,1900人已购买
      优惠券¥160 领券购买 
    • 【预订】Verification and Evaluation of Computer and Communication Systems

      CommunicationVerificationEvaluation预订

      【预订】Verification and Evaluation of Computer and Communication Systems

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】System-On-A-Chip Verification: Methodology and

      预售VerificationMethodologySystem

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

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

      预售VerificationProgrammableFunctional

      【预售】Functional Verification of Programmable Embedded

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    上一页 1 ...  16   17  18  19   20  ... 23 下一页