• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Design, Specification and Verification of Interactive Systems '98: Proceedings o 98年交互系统的设计、规范和

      SpecificationVerificationInteractiveProceedings

      海外直订Design, Specification and Verification of Interactive Systems '98: Proceedings o 98年交互系统的设计、规范和

      ¥569券后¥5790人已购买
      优惠券¥10 领券购买 
    • 海外直订Automatic Verification Methods for Finite State Systems: International Workshop, 有限状态系统自动验证方法:

      InternationalVerificationAutomaticWorkshop

      海外直订Automatic Verification Methods for Finite State Systems: International Workshop, 有限状态系统自动验证方法:

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

      预售VerificationComponentGuide

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

      ¥669券后¥7030人已购买
      优惠券¥34 领券购买 
    • 海外直订Standardized Functional Verification 标准化功能验证

      StandardizedVerification标准化Functional

      海外直订Standardized Functional Verification 标准化功能验证

      ¥1,337券后¥1,3770人已购买
      优惠券¥40 领券购买 
    • 海外直订Aliasing in Object-Oriented Programming: Types, Analysis and Verification 面向对象编程中的混叠:类型、分析

      VerificationProgrammingAliasingOriented

      海外直订Aliasing in Object-Oriented Programming: Types, Analysis and Verification 面向对象编程中的混叠:类型、分析

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Real-Time Systems: Formal Specification and Automatic Verification 实时系统:形式化规范和自动验证

      形式化SpecificationVerification实时

      海外直订Real-Time Systems: Formal Specification and Automatic Verification 实时系统:形式化规范和自动验证

      ¥1,020券后¥1,0600人已购买
      优惠券¥40 领券购买 
    • 按需印刷Verification and Validation for Modeling and Simulation[9781312740617]

      9781312740617VerificationValidationSimulation

      按需印刷Verification and Validation for Modeling and Simulation[9781312740617]

      ¥378券后¥4080人已购买
      优惠券¥30 领券购买 
    • 海外直订Verification by Error Modeling: Using Testing Techniques in Hardware Verificatio 错误模型验证:在硬件验证中

      验证VerificationVerificatioTechniques

      海外直订Verification by Error Modeling: Using Testing Techniques in Hardware Verificatio 错误模型验证:在硬件验证中

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Correct Hardware Design and Verification Methods: 10th Ifip Wg10.5 Advanced Rese 正确的硬件设计和验证方法:

      硬件设计VerificationHardwareAdvanced

      海外直订Correct Hardware Design and Verification Methods: 10th Ifip Wg10.5 Advanced Rese 正确的硬件设计和验证方法:

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification and Validation of Complex Systems: Human Factors Issues

      VerificationValidationComplexSystems

      海外直订Verification and Validation of Complex Systems: Human Factors Issues

      ¥3,041券后¥3,1010人已购买
      优惠券¥60 领券购买 
    • 海外直订Software Verification and Validation 软件验证和确认

      VerificationValidationSoftware确认

      海外直订Software Verification and Validation 软件验证和确认

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

      SpecificationVerificationProtocol验证

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

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Constraint-Based Verification 基于约束的验证

      VerificationConstraint约束验证

      海外直订Constraint-Based Verification 基于约束的验证

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

      InternationalVerificationTechnologyAutomated

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Verification: An Essential Toolkit for Modern VLSI Design 形式化验证:现代VLSI设计的基本工具

      形式化VLSIVerificationEssential

      海外直订Formal Verification: An Essential Toolkit for Modern VLSI Design 形式化验证:现代VLSI设计的基本工具

      ¥1,012券后¥1,0520人已购买
      优惠券¥40 领券购买 
    • 海外直订Program Verification: Fundamental Issues in Computer Science 程序验证:计算机科学的基本问题

      VerificationFundamentalComputer验证

      海外直订Program Verification: Fundamental Issues in Computer Science 程序验证:计算机科学的基本问题

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

      行时VerificationProcessors处理器

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

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Higher Order Logic and Hardware Verification 高阶逻辑与硬件验证

      高阶VerificationHardware逻辑

      海外直订Higher Order Logic and Hardware Verification 高阶逻辑与硬件验证

      ¥1,348券后¥1,3880人已购买
      优惠券¥40 领券购买 
    • 海外直订Design, Specification and Verification of Interactive Systems '95: Proceedings o 1995年交互系统的设计、规范

      SpecificationVerificationInteractiveProceedings

      海外直订Design, Specification and Verification of Interactive Systems '95: Proceedings o 1995年交互系统的设计、规范

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Hardware/Software Co-Design and Co-Verification 硬件/软件协同设计和协同验证

      协同VerificationHardwareSoftware

      海外直订Hardware/Software Co-Design and Co-Verification 硬件/软件协同设计和协同验证

      ¥2,007券后¥2,0670人已购买
      优惠券¥60 领券购买 
    • 海外直订Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rusta 面向对象软件的验证。关键方

      K.VerificationOrientedSoftware

      海外直订Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rusta 面向对象软件的验证。关键方

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verif 验证计划:现代硬件验证语言

      Verification验证StrategyHardware

      海外直订Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verif 验证计划:现代硬件验证语言

      ¥1,594券后¥1,6540人已购买
      优惠券¥60 领券购买 
    • 海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 治疗时验证影像:Igrt的研究指南

      医药图书IGRTVerificationTreatment

      海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 治疗时验证影像:Igrt的研究指南

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

      VerificationTechniquesSoftwareChecking

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

      ¥1,407券后¥1,4470人已购买
      优惠券¥40 领券购买 
    • 海外直订The E Hardware Verification Language E硬件验证语言

      VerificationHardwareLanguage验证

      海外直订The E Hardware Verification Language E硬件验证语言

      ¥2,326券后¥2,3860人已购买
      优惠券¥60 领券购买 
    • 海外直订Decidability of Parameterized Verification 参数化验证的可判性

      ParameterizedDecidabilityVerification验证

      海外直订Decidability of Parameterized Verification 参数化验证的可判性

      ¥525券后¥5350人已购买
      优惠券¥10 领券购买 
    • 海外直订Compliance Quantified: An Introduction to Data Verification 合规性量化:数据验证简介

      合规性量化IntroductionVerification

      海外直订Compliance Quantified: An Introduction to Data Verification 合规性量化:数据验证简介

      ¥1,348券后¥1,3880人已购买
      优惠券¥40 领券购买 
    • 海外直订Constraint-Based Verification 基于约束的验证

      VerificationConstraint约束验证

      海外直订Constraint-Based Verification 基于约束的验证

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

      InternationalVerificationTechnologyAutomated

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

      ¥770券后¥8000人已购买
      优惠券¥30 领券购买 
    • 海外直订Foundations of Computer Software: Modeling, Development, and Verification of Ada 计算机软件基础:自适应系统

      VerificationFoundationsDevelopmentComputer

      海外直订Foundations of Computer Software: Modeling, Development, and Verification of Ada 计算机软件基础:自适应系统

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Computer Aided Verification: 24th International Conference, Cav 2012, Berkeley,  计算机辅助验证:第24届国际

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 24th International Conference, Cav 2012, Berkeley, 计算机辅助验证:第24届国际

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订System-On-A-Chip Verification: Methodology and Techniques 片上系统验证:方法与技术

      VerificationMethodologyTechniques验证

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

      ¥1,594券后¥1,6540人已购买
      优惠券¥60 领券购买 
    • 现货 实时Unbedded系统的逆方法/参数验证 The Inverse Method / Parametric Verification Of Real 英文原版 Etienne

      英文Verification原版现货

      现货 实时Unbedded系统的逆方法/参数验证 The Inverse Method / Parametric Verification Of Real 英文原版 Etienne

      ¥422券后¥4320人已购买
      优惠券¥10 领券购买 
    • 海外直订Rigorous Software Development: An Introduction to Program Verification 严格的软件开发:程序验证入门

      VerificationIntroductionDevelopment软件开发

      海外直订Rigorous Software Development: An Introduction to Program Verification 严格的软件开发:程序验证入门

      ¥405券后¥4150人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su 物理系统的正式建模与验

      理系统建模InternationalVerification

      海外直订Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su 物理系统的正式建模与验

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification, and Validation: Interna 利用正式方法、验证和确认的

      ApplicationsVerificationLeveragingValidation

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认:评

      系统工程VerificationEngineeringValidation

      海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认:评

      ¥1,303券后¥1,3430人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification of Arms Reductions: Nuclear, Conventional and Chemical 核查裁减军备:核武器、常规武器和化学武

      常规武器学武裁减军备

      海外直订Verification of Arms Reductions: Nuclear, Conventional and Chemical 核查裁减军备:核武器、常规武器和化学武

      ¥1,153券后¥1,1930人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification and Validation of Real-Time Software 实时软件的验证与确认

      VerificationValidation实时Software

      海外直订Verification and Validation of Real-Time Software 实时软件的验证与确认

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 【预售】Biometric Technologies and Verification Systems

      预售TechnologiesVerificationBiometric

      【预售】Biometric Technologies and Verification Systems

      ¥860券后¥8940人已购买
      优惠券¥34 领券购买 
    上一页 1 ...  19   20  21  22   23  下一页