• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Verification” 共873个商品
      • 默认
      • 销量
      • 价格
    • 海外直订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 领券购买 
    • 海外直订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 领券购买 
    • 海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理:系统遗传学数据方法的

      遗传学Verification推理基因

      海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理:系统遗传学数据方法的

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

      机舱传动系统风力发电机

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

      ¥1,521券后¥1,5610人已购买
      优惠券¥40 领券购买 
    • 海外直订Applied Formal Verification: For Digital Circuit Design 应用形式验证:用于数字电路设计

      电路设计Verification验证形式

      海外直订Applied Formal Verification: For Digital Circuit Design 应用形式验证:用于数字电路设计

      ¥1,541券后¥1,5810人已购买
      优惠券¥40 领券购买 
    • 【预订】Finite Element Analysis - Method, Verification And Validation, Second Edition 9781119426424

      9781119426424VerificationValidation预订

      【预订】Finite Element Analysis - Method, Verification And Validation, Second Edition 9781119426424

      ¥1,509券后¥1,5890人已购买
      优惠券¥80 领券购买 
    • 海外直订A Digital Signal Processor for Particle Detectors: Design, Verification and Test 粒子探测器的数字信号处理器:设

      信号处理器探测器粒子Verification

      海外直订A Digital Signal Processor for Particle Detectors: Design, Verification and Test 粒子探测器的数字信号处理器:设

      ¥1,550券后¥1,5900人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification in Economics and History: A Sequel to 'Scientifization' 经济学与历史学中的验证:“科学化”的续

      历史学科学化ScientifizationVerification

      海外直订Verification in Economics and History: A Sequel to 'Scientifization' 经济学与历史学中的验证:“科学化”的续

      ¥1,543券后¥1,6030人已购买
      优惠券¥60 领券购买 
    • 【预订】Computer-Aided Verification of Coordinating Processes

      VerificationCoordinatingProcesses预订

      【预订】Computer-Aided Verification of Coordinating Processes

      ¥1,542券后¥1,6220人已购买
      优惠券¥80 领券购买 
    • AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot

      摩擦校准校正Verification

      AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot

      ¥1,493.5券后¥1,623.40人已购买
      优惠券¥129.86 领券购买 
    • 预订 Computer-aided Verification: 9780821865941

      9780821865941Verification预订Computer

      预订 Computer-aided Verification: 9780821865941

      ¥1,545券后¥1,6250人已购买
      优惠券¥80 领券购买 
    • 【预订】Reconfigurable System Design and Verification

      ReconfigurableVerification预订System

      【预订】Reconfigurable System Design and Verification

      ¥1,548券后¥1,6280人已购买
      优惠券¥80 领券购买 
    • 预订 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 领券购买 
    • [预订]Computer Aided Verification 9781013271007

      9781013271007Verification预订Computer

      [预订]Computer Aided Verification 9781013271007

      ¥1,560券后¥1,6400人已购买
      优惠券¥80 领券购买 
    • 【预售】Hardware Verification with System Verilog: An

      预售VerificationHardwareVerilog

      【预售】Hardware Verification with System Verilog: An

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Next Generation Design and Verification

      预售VerificationGenerationDesign

      【预售】Next Generation Design and Verification

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Verification Methodology Manual: For System

      预售VerificationMethodologyManual

      【预售】Verification Methodology Manual: For System

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Post-Silicon and Runtime Verification for Modern

      预售VerificationSiliconRuntime

      【预售】Post-Silicon and Runtime Verification for Modern

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Design and Verification of Microprocessor Systems

      预售MicroprocessorVerificationSystems

      【预售】Design and Verification of Microprocessor Systems

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Sequential Logic Testing and Verification

      预售VerificationSequentialTesting

      【预售】Sequential Logic Testing and Verification

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】System-On-A-Chip Verification: Methodology and

      预售VerificationMethodologySystem

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

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    上一页 1 ...  17   18  19  20   21  ... 22 下一页