• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共898个商品
      • 默认
      • 销量
      • 价格
    • 预订 Heterogeneous SoC Design and Verification: HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging: 97830

      VerificationDesignCoHeterogeneous

      预订 Heterogeneous SoC Design and Verification: HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging: 97830

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

      9781591408512VerificationEngineeringValidation

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

      ¥749券后¥7890人已购买
      优惠券¥40 领券购买 
    • 【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197581

      9783031197581ApplicationsVerificationLeveraging

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

      ¥732券后¥7660人已购买
      优惠券¥34 领券购买 
    • [预订]Computer Aided Verification 9781013271007

      9781013271007Verification预订Computer

      [预订]Computer Aided Verification 9781013271007

      ¥1,560券后¥1,6400人已购买
      优惠券¥80 领券购买 
    • [预订]Automated Technology for Verification and Analysis 9783031453281

      9783031453281VerificationTechnologyAutomated

      [预订]Automated Technology for Verification and Analysis 9783031453281

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

      VerificationTechnologyAutomated预订

      预订 Automated Technology for Verification and Analysis

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

      Verification预订Formal

      预订Formal Verification

      ¥1,306券后¥1,4060人已购买
      优惠券¥100 领券购买 
    • 预订 Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th In

      MethodologiesApplicationsVerificationEngineering

      预订 Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th In

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

      9786207984725Verificationadulteration预订

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

      ¥519券后¥5530人已购买
      优惠券¥34 领券购买 
    • [预订]Handbook of Formal Analysis and Verification in Cryptography 9780367546656

      9780367546656VerificationCryptography预订

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

      ¥1,875券后¥2,0350人已购买
      优惠券¥160 领券购买 
    • 预订 The Role of the Measurement and Verification Professional: Judgment and Decision-making in the Application of M&V

      VerificationProfessionalMeasurementApplication

      预订 The Role of the Measurement and Verification Professional: Judgment and Decision-making in the Application of M&V

      ¥2,567券后¥2,7270人已购买
      优惠券¥160 领券购买 
    • 预订 Scale Verification Log: 8.5 X 11, 220 pages, green cover: 9781533469892

      9781533469892Verification预订Scale

      预订 Scale Verification Log: 8.5 X 11, 220 pages, green cover: 9781533469892

      ¥133券后¥1380人已购买
      优惠券¥5 领券购买 
    • [预订]Computer Aided Verification 9781013271014

      9781013271014Verification预订Computer

      [预订]Computer Aided Verification 9781013271014

      ¥1,709券后¥1,7890人已购买
      优惠券¥80 领券购买 
    • 预订 Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

      2024InternationalVerificationProceedings

      预订 Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

      ¥569券后¥6030人已购买
      优惠券¥34 领券购买 
    • 预订 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 领券购买 
    • [预订]Formal Verification of Floating-Point Hardware Design

      Verification预订FloatingHardware

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

      ¥1,125券后¥1,2050人已购买
      优惠券¥80 领券购买 
    • [预订]Partial Order Methods in Verification 9780821805794

      9780821805794Verification预订Partial

      [预订]Partial Order Methods in Verification 9780821805794

      ¥1,297券后¥1,3770人已购买
      优惠券¥80 领券购买 
    • [预订]Formal Verification of Floating-Point Hardware Design 9783030871802

      9783030871802Verification预订Floating

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

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南:从模型检查到标

      Checking简明VerificationAnnotation

      预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南:从模型检查到标

      ¥624券后¥6580人已购买
      优惠券¥34 领券购买 
    • 预订 Introduction to Finite Element Analysis - Formulation, Verification and Validation 介绍有限元分析:构想,验证和确认

      有限元构想VerificationIntroduction

      预订 Introduction to Finite Element Analysis - Formulation, Verification and Validation 介绍有限元分析:构想,验证和确认

      ¥1,574券后¥1,6540人已购买
      优惠券¥80 领券购买 
    • [预订]Introduction to Neural Network Verification 9781680839104

      9781680839104IntroductionVerification预订

      [预订]Introduction to Neural Network Verification 9781680839104

      ¥1,021券后¥1,1010人已购买
      优惠券¥80 领券购买 
    • 预订 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 领券购买 
    • 现货 英文原版 Interactive Systems. Design, Specification, and Verification:7th International Wo 9783540416630

      英文SpecificationInternational9783540416630

      现货 英文原版 Interactive Systems. Design, Specification, and Verification:7th International Wo 9783540416630

      ¥456券后¥4760人已购买
      优惠券¥20 领券购买 
    • 预订 Hardware and Software: Verification and Testing

      Verification预订HardwareSoftware

      预订 Hardware and Software: Verification and Testing

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

      InterpretationVerification预订Checking

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

      ¥769券后¥8030人已购买
      优惠券¥34 领券购买 
    • 预订 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 领券购买 
    • 预订 AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings人工

      2024InternationalVerificationProceedings

      预订 AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings人工

      ¥1,344券后¥1,4240人已购买
      优惠券¥80 领券购买 
    • 预订 An Introduction to Verification of Visualization Techniques

      VisualizationVerificationIntroductionTechniques

      预订 An Introduction to Verification of Visualization Techniques

      ¥272券后¥3060人已购买
      优惠券¥34 领券购买 
    • [预订]Formal Verification 9780323956123

      9780323956123Verification预订Formal

      [预订]Formal Verification 9780323956123

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

      International9783031131844VerificationConference

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

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 【预订】Verification and Evaluation of Computer and Communication Systems 9783030988494

      9783030988494CommunicationVerificationEvaluation

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

      ¥569券后¥6030人已购买
      优惠券¥34 领券购买 
    • [预订]Runtime Verification 9783031442667

      9783031442667Verification预订Runtime

      [预订]Runtime Verification 9783031442667

      ¥732券后¥7660人已购买
      优惠券¥34 领券购买 
    • 预订 Verification and Evaluation of Computer and Communication Systems: 17th International Conference, VECoS 2024, Djerb

      CommunicationInternationalVerificationEvaluation

      预订 Verification and Evaluation of Computer and Communication Systems: 17th International Conference, VECoS 2024, Djerb

      ¥601券后¥6350人已购买
      优惠券¥34 领券购买 
    • [预订]Computer Aided Verification 9781013270987

      9781013270987Verification预订Computer

      [预订]Computer Aided Verification 9781013270987

      ¥1,895券后¥1,9750人已购买
      优惠券¥80 领券购买 
    • 预订 Runtime Verification

      Verification预订Runtime

      预订 Runtime Verification

      ¥514券后¥5480人已购买
      优惠券¥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 领券购买 
    • 预订 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 领券购买 
    • 预订 Heterogeneous SoC Design and Verification

      HeterogeneousVerification预订Design

      预订 Heterogeneous SoC Design and Verification

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 预订 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 领券购买 
    • 预订 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 领券购买 
    上一页 1 ...  5   6  7  8   9  ... 23 下一页