• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Verification” 共444个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检

      简明VerificationAnnotationSoftware

      海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检

      ¥1,018券后¥1,0480人已购买
      优惠券¥30 领券购买 
    • 海外直订Verification of Digital and Hybrid Systems 数字和混合系统的验证

      Verification混合验证Digital

      海外直订Verification of Digital and Hybrid Systems 数字和混合系统的验证

      ¥1,295券后¥1,3250人已购买
      优惠券¥30 领券购买 
    • 海外直订Communication Protocol Specification and Verification 通信协议规范与验证

      CommunicationSpecificationVerificationProtocol

      海外直订Communication Protocol Specification and Verification 通信协议规范与验证

      ¥2,601券后¥2,6510人已购买
      优惠券¥50 领券购买 
    • 海外直订An Introduction to Verification of Visualization Techniques 可视化技术验证导论

      可视化导论VisualizationIntroduction

      海外直订An Introduction to Verification of Visualization Techniques 可视化技术验证导论

      ¥340券后¥3450人已购买
      优惠券¥5 领券购买 
    • 海外直订The E Hardware Verification Language E硬件验证语言

      VerificationHardwareLanguage验证

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

      ¥2,601券后¥2,6510人已购买
      优惠券¥50 领券购买 
    • 海外直订Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification 应用于Sph法传热的数值解:速

      传热数值VerificationNumerical

      海外直订Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification 应用于Sph法传热的数值解:速

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

      VerificationValidationComplexSystems

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

      ¥3,926券后¥3,9760人已购买
      优惠券¥50 领券购买 
    • 海外直订Interactive Systems: Design, Specification, and Verification: 8th International  交互系统:设计、规范和验证:

      SpecificationInternationalVerificationInteractive

      海外直订Interactive Systems: Design, Specification, and Verification: 8th International 交互系统:设计、规范和验证:

      ¥632券后¥6620人已购买
      优惠券¥30 领券购买 
    • 海外直订Verification and Validation of the Coastal Modeling System: Report 2: CMS-Wave 海岸模拟系统的验证与验证:报

      验证VerificationValidation海岸

      海外直订Verification and Validation of the Coastal Modeling System: Report 2: CMS-Wave 海岸模拟系统的验证与验证:报

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

      InternationalVerificationConferenceComputer

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

      ¥632券后¥6620人已购买
      优惠券¥30 领券购买 
    • 海外直订Software Verification and Validation: An Engineering and Scientific Approach 软件验证与确认:一种工程和科学方法

      VerificationEngineeringValidationScientific

      海外直订Software Verification and Validation: An Engineering and Scientific Approach 软件验证与确认:一种工程和科学方法

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

      硬件设计VerificationAdvancesHardware

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

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

      VerificationIntroductionDevelopment软件开发

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

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

      Verification图像验证海外

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

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

      常规武器学武裁减军备

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

      ¥1,295券后¥1,3250人已购买
      优惠券¥30 领券购买 
    • 海外直订Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research 正确的硬件设计和验证方法:

      硬件设计VerificationHardwareAdvanced

      海外直订Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research 正确的硬件设计和验证方法:

      ¥632券后¥6620人已购买
      优惠券¥30 领券购买 
    • 海外直订Automated Technology for Verification and Analys... 验证和分析的自动化技术

      VerificationTechnologyAutomated验证

      海外直订Automated Technology for Verification and Analys... 验证和分析的自动化技术

      ¥1,441券后¥1,4710人已购买
      优惠券¥30 领券购买 
    • 海外直订Hardware and Software: Verification and Testing 硬件和软件:验证和测试

      VerificationHardwareSoftware验证

      海外直订Hardware and Software: Verification and Testing 硬件和软件:验证和测试

      ¥632券后¥6620人已购买
      优惠券¥30 领券购买 
    • 按需印刷不退不换Computer Aided Verification[9781013270994]

      9781013270994VerificationComputer印刷

      按需印刷不退不换Computer Aided Verification[9781013270994]

      ¥724券后¥8040人已购买
      优惠券¥80 领券购买 
    • 海外直订Design and Verification of Microprocessor Systems for High-Assurance Application 用于高可靠性应用的微处理器

      微处理器MicroprocessorVerification可靠性

      海外直订Design and Verification of Microprocessor Systems for High-Assurance Application 用于高可靠性应用的微处理器

      ¥1,800券后¥1,8500人已购买
      优惠券¥50 领券购买 
    • 预售 协调过程的计算机辅助验证 Computer-Aided Verification of Coordinating Processes Robert P Kurshan【中商原版】

      中商预售VerificationCoordinating

      预售 协调过程的计算机辅助验证 Computer-Aided Verification of Coordinating Processes Robert P Kurshan【中商原版】

      ¥611券后¥6410人已购买
      优惠券¥30 领券购买 
    • 海外直订Open Verification Methodology Cookbook 开放式验证方法手册

      开放式VerificationMethodologyCookbook

      海外直订Open Verification Methodology Cookbook 开放式验证方法手册

      ¥1,800券后¥1,8500人已购买
      优惠券¥50 领券购买 
    • 海外直订An Introduction to Concrete Quality Verification and Testing 混凝土质量检验与试验简介

      质量检验IntroductionVerification混凝土

      海外直订An Introduction to Concrete Quality Verification and Testing 混凝土质量检验与试验简介

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

      VerificationTechniquesSoftwareChecking

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

      ¥1,805券后¥1,8550人已购买
      优惠券¥50 领券购买 
    • 海外直订Hardware and Software: Verification and Testing: 6th International Haifa Verific 硬件和软件:验证和测试:第

      InternationalVerificationHardwareSoftware

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

      ¥632券后¥6620人已购买
      优惠券¥30 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte 利用形式方法的应用,验证和

      ApplicationsVerificationLeveragingValidation

      海外直订Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte 利用形式方法的应用,验证和

      ¥632券后¥6620人已购买
      优惠券¥30 领券购买 
    • 海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理:系统遗传学数据方法的

      遗传学Verification推理基因

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

      ¥1,938券后¥1,9880人已购买
      优惠券¥50 领券购买 
    • 海外直订The Secd Microprocessor: A Verification Case Study SECD微处理器:验证案例研究

      微处理器SecdMicroprocessorVerification

      海外直订The Secd Microprocessor: A Verification Case Study SECD微处理器:验证案例研究

      ¥1,295券后¥1,3250人已购买
      优惠券¥30 领券购买 
    • 海外直订Software Testing Basics: Software Verification Fundamentals for Dedicated Tester 软件测试基础:医疗设备行业

      Software软件测试医疗设备Verification

      海外直订Software Testing Basics: Software Verification Fundamentals for Dedicated Tester 软件测试基础:医疗设备行业

      ¥344券后¥3490人已购买
      优惠券¥5 领券购买 
    • 海外直订Operational Semantics and Verification of Security Protocols 安全协议的操作语义与验证

      语义VerificationOperationalSemantics

      海外直订Operational Semantics and Verification of Security Protocols 安全协议的操作语义与验证

      ¥831券后¥8610人已购买
      优惠券¥30 领券购买 
    • 海外直订Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwi 模块化编译器验证:一种支持

      模块化编译器VerificationRefinement

      海外直订Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwi 模块化编译器验证:一种支持

      ¥632券后¥6620人已购买
      优惠券¥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 嵌入式系统:设计,分析和验

      ¥632券后¥6620人已购买
      优惠券¥30 领券购买 
    • 海外直订Sat-Based Scalable Formal Verification Solutions 基于sat的可扩展形式化验证解决方案

      形式化VerificationSatSolutions

      海外直订Sat-Based Scalable Formal Verification Solutions 基于sat的可扩展形式化验证解决方案

      ¥1,800券后¥1,8500人已购买
      优惠券¥50 领券购买 
    • 海外直订Software Verification and Validation 软件验证和确认

      VerificationValidationSoftware确认

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

      ¥1,214券后¥1,2440人已购买
      优惠券¥30 领券购买 
    • 海外直订Scalable Hardware Verification with Symbolic Simulation 基于符号模拟的可扩展硬件验证

      VerificationSimulation符号Scalable

      海外直订Scalable Hardware Verification with Symbolic Simulation 基于符号模拟的可扩展硬件验证

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

      验证建模VerificationVerificatio

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

      ¥1,166券后¥1,1960人已购买
      优惠券¥30 领券购买 
    • 海外直订Protocol Specification, Testing and Verification XV 协议规范、测试和验证XV

      SpecificationVerificationProtocol验证

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

      ¥2,601券后¥2,6510人已购买
      优惠券¥50 领券购买 
    • 海外直订Methods and Procedures for the Verification and Validation of Artificial Neural  人工神经验证和确认的方

      VerificationProceduresValidationArtificial

      海外直订Methods and Procedures for the Verification and Validation of Artificial Neural 人工神经验证和确认的方

      ¥1,295券后¥1,3250人已购买
      优惠券¥30 领券购买 
    • 按需印刷不退不换Extending KeY for the Verification of C Programs[9783639000023]

      9783639000023VerificationExtendingPrograms

      按需印刷不退不换Extending KeY for the Verification of C Programs[9783639000023]

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

      形式化InternationalVerificationConference

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

      ¥579券后¥6090人已购买
      优惠券¥30 领券购买 
    上一页 1 ...  8   9   10  11  12  下一页