• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共898个商品
      • 默认
      • 销量
      • 价格
    • 【预售】Verification and Control of Hybrid Systems: A

      预售VerificationControlSystems

      【预售】Verification and Control of Hybrid Systems: A

      ¥1,344券后¥1,4240人已购买
      优惠券¥80 领券购买 
    • 【预订】Embedded Software Verification and Debugging

      VerificationDebugging预订Embedded

      【预订】Embedded Software Verification and Debugging

      ¥1,344券后¥1,4240人已购买
      优惠券¥80 领券购买 
    • [预订]Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essay 9783031314759

      Transformation9783031314759VerificationDeclarative

      [预订]Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essay 9783031314759

      ¥1,344券后¥1,4240人已购买
      优惠券¥80 领券购买 
    • 预订 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 领券购买 
    • 海外直订Protocol Specification, Testing and Verification XIV 协议规范、测试与验证

      SpecificationVerificationProtocol验证

      海外直订Protocol Specification, Testing and Verification XIV 协议规范、测试与验证

      ¥1,395券后¥1,4350人已购买
      优惠券¥40 领券购买 
    • 海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证:模型检查技术和工具

      VerificationTechniquesSoftwareChecking

      海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证:模型检查技术和工具

      ¥1,407券后¥1,4470人已购买
      优惠券¥40 领券购买 
    • 海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证:模型检查技术和工具

      VerificationTechniquesSoftwareChecking

      海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证:模型检查技术和工具

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

      预售VerificationHardwareHigher

      【预售】Higher Order Logic and Hardware Verification

      ¥1,374券后¥1,4540人已购买
      优惠券¥80 领券购买 
    • 海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证:证明设计方案满足要求

      VerificationRequirementsSatisfiesSolution

      海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证:证明设计方案满足要求

      ¥1,418券后¥1,4580人已购买
      优惠券¥40 领券购买 
    • 预订 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 领券购买 
    • 【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E

      预售VerificationAtmosphericPractioner

      【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E

      ¥1,384券后¥1,4640人已购买
      优惠券¥80 领券购买 
    • 海外直订Next Generation Design and Verification Methodologies for Distributed Embedded C 下一代分布式嵌入式控制系统的设

      分布式Methodologies控制系统Verification

      海外直订Next Generation Design and Verification Methodologies for Distributed Embedded C 下一代分布式嵌入式控制系统的设

      ¥1,442券后¥1,4820人已购买
      优惠券¥40 领券购买 
    • 海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 关于治疗验证成像:一个IGRT的研究指南

      医药图书成像IGRTVerification

      海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 关于治疗验证成像:一个IGRT的研究指南

      ¥1,446券后¥1,4860人已购买
      优惠券¥40 领券购买 
    • 预订 Verification Et Validation Formelles de Modeles UML: 9786131551352

      9786131551352VerificationValidationFormelles

      预订 Verification Et Validation Formelles de Modeles UML: 9786131551352

      ¥1,421券后¥1,5010人已购买
      优惠券¥80 领券购买 
    • 【预售】SystemVerilog for Verification: A Guide to Learning

      预售SystemVerilogVerificationLearning

      【预售】SystemVerilog for Verification: A Guide to Learning

      ¥1,424券后¥1,5040人已购买
      优惠券¥80 领券购买 
    • 预订 Unsettled Topics in Automated Vehicle Data Sharing for Verification and Validation Purposes: 9781468601671

      9781468601671VerificationValidationUnsettled

      预订 Unsettled Topics in Automated Vehicle Data Sharing for Verification and Validation Purposes: 9781468601671

      ¥1,447券后¥1,5270人已购买
      优惠券¥80 领券购买 
    • 【预售】Practical Design Verification

      预售VerificationPracticalDesign

      【预售】Practical Design Verification

      ¥1,453券后¥1,5330人已购买
      优惠券¥80 领券购买 
    • 【预订】Systems and Software Verification

      Verification预订SoftwareSystems

      【预订】Systems and Software Verification

      ¥1,453券后¥1,5330人已购买
      优惠券¥80 领券购买 
    • 预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

      DifferentialVerificationNumericalEquations

      预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

      ¥1,453券后¥1,5330人已购买
      优惠券¥80 领券购买 
    • 预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

      DifferentialVerificationNumericalEquations

      预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

      ¥1,453券后¥1,5330人已购买
      优惠券¥80 领券购买 
    • 海外直订Specification and Verification of Multi-Agent Systems 多智能体系统的规范与验证

      SpecificationVerification验证Systems

      海外直订Specification and Verification of Multi-Agent Systems 多智能体系统的规范与验证

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订System-On-A-Chip Verification: Methodology and Techniques 片上系统验证:方法和技术

      VerificationMethodologyTechniques验证

      海外直订System-On-A-Chip Verification: Methodology and Techniques 片上系统验证:方法和技术

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验

      自动机时间PetriVerification

      海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Formal Verification of Circuits 电路的形式验证

      Verification电路Circuits验证

      海外直订Formal Verification of Circuits 电路的形式验证

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验

      自动机时间PetriVerification

      海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Advances in Hardware Design and Verification 硬件设计与验证的进展

      硬件设计VerificationAdvancesHardware

      海外直订Advances in Hardware Design and Verification 硬件设计与验证的进展

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Logic Synthesis and Verification 逻辑综合与验证

      VerificationSynthesis逻辑验证

      海外直订Logic Synthesis and Verification 逻辑综合与验证

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Formal Verification of Circuits 电路的形式验证

      Verification电路Circuits验证

      海外直订Formal Verification of Circuits 电路的形式验证

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Geometric Product Specification and Verification: Integration of Functionality:  几何产品规格与验证:功能的

      产品规格FunctionalitySpecificationVerification

      海外直订Geometric Product Specification and Verification: Integration of Functionality: 几何产品规格与验证:功能的

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Next Generation Design and Verification Methodologies for Distributed Embedded C 下一代分布式嵌入式控制系统的设

      分布式Methodologies控制系统Verification

      海外直订Next Generation Design and Verification Methodologies for Distributed Embedded C 下一代分布式嵌入式控制系统的设

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeou 高级验证技术:成功的Tapeo

      VerificationTechniquesSuccessfulAdvanced

      海外直订Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeou 高级验证技术:成功的Tapeo

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em 实时嵌入式系统中任务级并发的建

      并发Verification嵌入式Exploration

      海外直订Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em 实时嵌入式系统中任务级并发的建

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Protocol Specification, Testing and Verification XIV 协议规范、测试与验证

      SpecificationVerificationProtocol验证

      海外直订Protocol Specification, Testing and Verification XIV 协议规范、测试与验证

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Digital Timing Macromodeling for VLSI Design Verification 用于VLSI设计验证的数字时序宏建模

      时序建模VLSIMacromodeling

      海外直订Digital Timing Macromodeling for VLSI Design Verification 用于VLSI设计验证的数字时序宏建模

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Digital Timing Macromodeling for VLSI Design Verification 用于VLSI设计验证的数字时序宏建模

      时序建模VLSIMacromodeling

      海外直订Digital Timing Macromodeling for VLSI Design Verification 用于VLSI设计验证的数字时序宏建模

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Te 布尔推理:使用测试技术

      布尔Verification推理Reasoning

      海外直订Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Te 布尔推理:使用测试技术

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Te 布尔推理:使用测试技术

      布尔Verification推理Reasoning

      海外直订Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Te 布尔推理:使用测试技术

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Post-Silicon and Runtime Verification for Modern Processors 现代处理器的后硅和运行时验证

      行时VerificationProcessors处理器

      海外直订Post-Silicon and Runtime Verification for Modern Processors 现代处理器的后硅和运行时验证

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Geometric Product Specification and Verification: Integration of Functionality:  几何产品规范和验证:功能集

      FunctionalitySpecificationVerification几何

      海外直订Geometric Product Specification and Verification: Integration of Functionality: 几何产品规范和验证:功能集

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的

      求解SatisfiabilityVerificationValidation

      海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    上一页 1 ...  17   18  19  20   21  ... 23 下一页