• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Computer Aided Verification 计算机辅助检定

      检定VerificationComputer辅助

      海外直订Computer Aided Verification 计算机辅助检定

      ¥440券后¥4500人已购买
      优惠券¥10 领券购买 
    • 预订 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 领券购买 
    • 预订 A protocol for measurement, monitoring, reporting and verification of soil organic carbon in agricultural landscape

      verificationagriculturalmeasurementmonitoring

      预订 A protocol for measurement, monitoring, reporting and verification of soil organic carbon in agricultural landscape

      ¥553券后¥5870人已购买
      优惠券¥34 领券购买 
    • 预订 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 领券购买 
    • 海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal,  Computer A

      ComputerInternationalVerificationConference

      海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Computer A

      ¥433券后¥4430人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Validation and Testing in Software Engineering 软件工程中的验证、确认和测试

      软件工程VerificationEngineeringValidation

      海外直订Verification, Validation and Testing in Software Engineering 软件工程中的验证、确认和测试

      ¥1,179券后¥1,2190人已购买
      优惠券¥40 领券购买 
    • 预订 Segmentation-Verification for Handwritten Digit Recognition: 9783668518100

      9783668518100SegmentationVerificationHandwritten

      预订 Segmentation-Verification for Handwritten Digit Recognition: 9783668518100

      ¥925券后¥9590人已购买
      优惠券¥34 领券购买 
    • [预订]Computer Aided Verification 9783031377020

      9783031377020Verification预订Computer

      [预订]Computer Aided Verification 9783031377020

      ¥403券后¥4370人已购买
      优惠券¥34 领券购买 
    • 预订 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 领券购买 
    • 海外直订Correct Hardware Design and Verification Methods: 13th Ifip Wg 10.5advanced Rese 正确的硬件设计和验证方法:

      硬件设计VerificationHardwareadvanced

      海外直订Correct Hardware Design and Verification Methods: 13th Ifip Wg 10.5advanced Rese 正确的硬件设计和验证方法:

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

      HeterogeneousVerification预订Design

      预订 Heterogeneous SoC Design and Verification

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

      Verification预订Runtime

      预订 Runtime Verification

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订Effective Functional Verification: Principles and Processes 有效的功能验证:原则和过程

      VerificationFunctionalPrinciplesEffective

      海外直订Effective Functional Verification: Principles and Processes 有效的功能验证:原则和过程

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Automated Technology for Verification and Analysis: 14th International Symposium 自动化验证和分析技术:第14

      InternationalVerificationTechnologyAutomated

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

      ¥536券后¥5460人已购买
      优惠券¥10 领券购买 
    • 海外直订Wind Turbine System Design: Nacelles, Drivetrains and Verification 风力发电机系统设计:机舱,传动系统和验证

      机舱传动系统风力发电机

      海外直订Wind Turbine System Design: Nacelles, Drivetrains and Verification 风力发电机系统设计:机舱,传动系统和验证

      ¥1,521券后¥1,5610人已购买
      优惠券¥40 领券购买 
    • [预订]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 领券购买 
    • 海外直订Universal Verification Methodology Based Verification Environment 基于通用验证方法的验证环境

      Verification验证MethodologyEnvironment

      海外直订Universal Verification Methodology Based Verification Environment 基于通用验证方法的验证环境

      ¥472券后¥4820人已购买
      优惠券¥10 领券购买 
    • 预订 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 领券购买 
    • 海外直订Deductive verification of object-oriented software: dynamic frames, dynamic logi 面向对象软件的演绎验证:动

      dynamicverificationDeductiveoriented

      海外直订Deductive verification of object-oriented software: dynamic frames, dynamic logi 面向对象软件的演绎验证:动

      ¥589券后¥6190人已购买
      优惠券¥30 领券购买 
    • 海外直订Verification-based software-fault detection 进行软件故障检测

      Verificationdetectionsoftware故障

      海外直订Verification-based software-fault detection 进行软件故障检测

      ¥730券后¥7600人已购买
      优惠券¥30 领券购买 
    • 预订 Tools for Design, Implementation and Verification of Emerging Information Technologies

      ImplementationVerificationTechnologiesInformation

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

      ¥624券后¥6580人已购买
      优惠券¥34 领券购买 
    • 预订 An Introduction to Verification of Visualization Techniques

      VisualizationVerificationIntroductionTechniques

      预订 An Introduction to Verification of Visualization Techniques

      ¥272券后¥3060人已购买
      优惠券¥34 领券购买 
    • 预订 Verification And Validation For Quality Of Uml 2.0  Models UML 2.0 建模质量检验和确认: 9780471727835

      质量检验建模9780471727835Verification

      预订 Verification And Validation For Quality Of Uml 2.0 Models UML 2.0 建模质量检验和确认: 9780471727835

      ¥1,555券后¥1,6350人已购买
      优惠券¥80 领券购买 
    • 预订 Verification of Autonomous Systems 自主系统验证: 9783031885457

      9783031885457VerificationAutonomous预订

      预订 Verification of Autonomous Systems 自主系统验证: 9783031885457

      ¥1,745券后¥1,8250人已购买
      优惠券¥80 领券购买 
    • 预订 Kosovo’s Verification Procedure for Diplomas of Private Colleges: 9783659579073

      9783659579073VerificationProcedure预订

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

      ¥694券后¥7280人已购买
      优惠券¥34 领券购买 
    • 预订 Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Sympo

      InternationalApplicationsVerificationApplication

      预订 Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Sympo

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 预订 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 领券购买 
    • 海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal,  Computer A

      ComputerInternationalVerificationConference

      海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Computer A

      ¥433券后¥4430人已购买
      优惠券¥10 领券购买 
    • 预订 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

      ¥689券后¥7230人已购买
      优惠券¥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

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

      Verification预订SoftwareGuide

      预订 Guide to Software Verification with Frama-C

      ¥677券后¥7110人已购买
      优惠券¥34 领券购买 
    • 预订 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: 36th International Conference, Cav 2024, Montreal,  Computer A

      ComputerInternationalVerificationConference

      海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Computer A

      ¥433券后¥4430人已购买
      优惠券¥10 领券购买 
    • 预订 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 领券购买 
    上一页 1 ...  12   13  14  15   16  ... 23 下一页