• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 【预售】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

      预售CertificationVerificationReliability

      【预售】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

      ¥601券后¥6350人已购买
      优惠券¥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 领券购买 
    • 预订 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 领券购买 
    • 预订 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 领券购买 
    • 预订 A Certificate Verification System for Institutions: 9786208420543

      9786208420543VerificationInstitutionsCertificate

      预订 A Certificate Verification System for Institutions: 9786208420543

      ¥602券后¥6360人已购买
      优惠券¥34 领券购买 
    • 海外直订Vlsi-Soc: System-On-Chip in the Nanoscale Era - Design, Verification and Reliabi 超大规模集成电路Soc:纳米

      集成电路Verification纳米Soc

      海外直订Vlsi-Soc: System-On-Chip in the Nanoscale Era - Design, Verification and Reliabi 超大规模集成电路Soc:纳米

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Verification, Induction, Termination Analysis: Festschrift for Christoph Walther 验证、归纳、终止分析:克里

      克里归纳Verification终止

      海外直订Verification, Induction, Termination Analysis: Festschrift for Christoph Walther 验证、归纳、终止分析:克里

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Hardware and Software: Verification and Testing: 5th International Haifa Verific 硬件和软件:验证和测试:第五届

      第五届InternationalVerificationHardware

      海外直订Hardware and Software: Verification and Testing: 5th International Haifa Verific 硬件和软件:验证和测试:第五届

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Systemc模型的

      SystemcVerificationSimulationEfficient

      海外直订Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Systemc模型的

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Survey Control Points: Compatibility and Verification 测量控制点:兼容性和验证

      控制点兼容性CompatibilityVerification

      海外直订Survey Control Points: Compatibility and Verification 测量控制点:兼容性和验证

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证:

      形式化InternationalVerificationConference

      海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证:

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification, and Validation: 6th Int 利用正式方法、验证和确认的

      ApplicationsVerificationLeveragingValidation

      海外直订Leveraging Applications of Formal Methods, Verification, and Validation: 6th Int 利用正式方法、验证和确认的

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Dynamics of the Unicycle: Modelling and Experimental Verification 独轮车动力学:建模与实验验证

      独轮车动力学建模Experimental

      海外直订Dynamics of the Unicycle: Modelling and Experimental Verification 独轮车动力学:建模与实验验证

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Automated Technology for Verification and Analysis: 16th International Symposium 验证和分析自动化技术:第16

      InternationalVerificationTechnologyAutomated

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

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Embedded Systems: Design, Analysis and Verification: 4th Ifip Tc 10 Internationa 嵌入式系统:设计,分析和验

      InternationaVerification嵌入式Embedded

      海外直订Embedded Systems: Design, Analysis and Verification: 4th Ifip Tc 10 Internationa 嵌入式系统:设计,分析和验

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Embedded Systems: Design, Analysis and Verification: 4th Ifip Tc 10 Internationa 嵌入式系统:设计,分析和验

      InternationaVerification嵌入式Embedded

      海外直订Embedded Systems: Design, Analysis and Verification: 4th Ifip Tc 10 Internationa 嵌入式系统:设计,分析和验

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 预订 The Supernatural in Nature: A Verification by Free Use of Science: 9781498110020

      9781498110020SupernaturalVerification预订

      预订 The Supernatural in Nature: A Verification by Free Use of Science: 9781498110020

      ¥607券后¥6410人已购买
      优惠券¥34 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Inter... 验证、模型检查和抽象解释

      Verification抽象CheckingAbstract

      海外直订Verification, Model Checking, and Abstract Inter... 验证、模型检查和抽象解释

      ¥613券后¥6430人已购买
      优惠券¥30 领券购买 
    • 海外直订String Analysis for Software Verification and Security 用于软件验证和安全的字符串分析

      字符串VerificationAnalysisSoftware

      海外直订String Analysis for Software Verification and Security 用于软件验证和安全的字符串分析

      ¥620券后¥6500人已购买
      优惠券¥30 领券购买 
    • 海外直订Tunable Diode Laser Absorption Spectroscopy Verification Analysis for Use in the 可调谐半导体激光吸收光谱验

      吸收光谱调谐半导体Verification

      海外直订Tunable Diode Laser Absorption Spectroscopy Verification Analysis for Use in the 可调谐半导体激光吸收光谱验

      ¥625券后¥6550人已购买
      优惠券¥30 领券购买 
    • 海外直订Investigation of Navier-Stokes Code Verification and Design Optimization Navier-Stokes码验证与设计优化研究

      NavierStokesInvestigationVerification

      海外直订Investigation of Navier-Stokes Code Verification and Design Optimization Navier-Stokes码验证与设计优化研究

      ¥625券后¥6550人已购买
      优惠券¥30 领券购买 
    • 按需印刷Computer Aided Verification[9781013271144]

      9781013271144VerificationComputer印刷

      按需印刷Computer Aided Verification[9781013271144]

      ¥617券后¥6570人已购买
      优惠券¥40 领券购买 
    • [预订]Tools for Design, Implementation and Verification of Emerging Information Technologies 9783031334573

      Implementation9783031334573VerificationTechnologies

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

      ¥624券后¥6580人已购买
      优惠券¥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 领券购买 
    • 预订 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 领券购买 
    • 预售 Design, Specification and Verification of Interactive Systems '99: Proceedings o 1999年6月2日至4日在葡萄【中商原版?

      中商预售SpecificationVerification

      预售 Design, Specification and Verification of Interactive Systems '99: Proceedings o 1999年6月2日至4日在葡萄【中商原版?

      ¥628.2券后¥658.20人已购买
      优惠券¥30 领券购买 
    • 按需印刷Computer Aided Verification[9781013271007]

      9781013271007VerificationComputer印刷

      按需印刷Computer Aided Verification[9781013271007]

      ¥619券后¥6590人已购买
      优惠券¥40 领券购买 
    • 海外直订Tools for Design, Implementation and Verification of Emerging Information Techno 新兴信息技术的设计、实现和

      新兴ImplementationVerificationInformation

      海外直订Tools for Design, Implementation and Verification of Emerging Information Techno 新兴信息技术的设计、实现和

      ¥634券后¥6640人已购买
      优惠券¥30 领券购买 
    • 海外直订Tools for Design, Implementation and Verification of Emerging Information Techno Tools for

      ToolsImplementationVerificationInformation

      海外直订Tools for Design, Implementation and Verification of Emerging Information Techno Tools for

      ¥634券后¥6640人已购买
      优惠券¥30 领券购买 
    • 预订 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 领券购买 
    • 海外直订Lectures on Runtime Verification: Introductory and Advanced Topics 运行时验证讲座:介绍性和高级主题

      介绍性行时VerificationIntroductory

      海外直订Lectures on Runtime Verification: Introductory and Advanced Topics 运行时验证讲座:介绍性和高级主题

      ¥639券后¥6690人已购买
      优惠券¥30 领券购买 
    • 海外直订Guide to Software Verification with Frama-C: Core Components, Usages, and Applic Guide to S

      GuideVerificationComponentsSoftware

      海外直订Guide to Software Verification with Frama-C: Core Components, Usages, and Applic Guide to S

      ¥640券后¥6700人已购买
      优惠券¥30 领券购买 
    • 海外直订CMOS VLSI Layout and Verification of a Simd Computer 单指令多数据计算机的CMOS超大规模集成电路设计与验证

      电路设计CMOSVerification指令

      海外直订CMOS VLSI Layout and Verification of a Simd Computer 单指令多数据计算机的CMOS超大规模集成电路设计与验证

      ¥641券后¥6710人已购买
      优惠券¥30 领券购买 
    • 海外直订4D Image Verification 4D图像验证

      Verification图像验证海外

      海外直订4D Image Verification 4D图像验证

      ¥670券后¥7000人已购买
      优惠券¥30 领券购买 
    • 【预售】ASIC and FPGA Verification: A Guide to Component

      预售VerificationComponentGuide

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

      ¥669券后¥7030人已购买
      优惠券¥34 领券购买 
    • 海外直订Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia,  运行时验证:第22届国际会议

      行时国际会议InternationalVerification

      海外直订Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, 运行时验证:第22届国际会议

      ¥675券后¥7050人已购买
      优惠券¥30 领券购买 
    • 【预订】Software Verification and Formal Methods for ML-Enabled Autonomous S 9783031212215

      9783031212215VerificationAutonomous预订

      【预订】Software Verification and Formal Methods for ML-Enabled Autonomous S 9783031212215

      ¥672券后¥7060人已购买
      优惠券¥34 领券购买 
    • 【预售】Lectures on Runtime Verification

      预售VerificationLecturesRuntime

      【预售】Lectures on Runtime Verification

      ¥677券后¥7110人已购买
      优惠券¥34 领券购买 
    • 【预售】String Analysis for Software Verification and Security

      预售VerificationAnalysisSoftware

      【预售】String Analysis for Software Verification and Security

      ¥677券后¥7110人已购买
      优惠券¥34 领券购买 
    上一页 1 ...  8   9  10  11   12  ... 23 下一页