• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 按需印刷Computer Aided Verification[9781013271007]

      9781013271007VerificationComputer印刷

      按需印刷Computer Aided Verification[9781013271007]

      ¥619券后¥6590人已购买
      优惠券¥40 领券购买 
    • 预订 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 领券购买 
    • 预订 Accessible Technologies for the Verification of Origin of Dairy Products as an Example Control System to Enhance Gl

      TechnologiesVerificationAccessible预订

      预订 Accessible Technologies for the Verification of Origin of Dairy Products as an Example Control System to Enhance Gl

      ¥186券后¥2020人已购买
      优惠券¥16 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 20th International Co 验证、模型检查和摘要解释:

      InterpretationInternationalVerificationChecking

      海外直订Verification, Model Checking, and Abstract Interpretation: 20th International Co 验证、模型检查和摘要解释:

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 海外直订医药图书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 领券购买 
    • 海外直订Design and Verification of Microprocessor Systems for High-Assurance Application 高保证应用微处理器系统的设

      微处理器MicroprocessorVerificationApplication

      海外直订Design and Verification of Microprocessor Systems for High-Assurance Application 高保证应用微处理器系统的设

      ¥1,145券后¥1,1850人已购买
      优惠券¥40 领券购买 
    • 海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法:理论与算法

      Verification精度算法Algorithms

      海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法:理论与算法

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

      InternationalVerificationTechnologyAutomated

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

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订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 领券购买 
    • 海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法及

      微分方程数值VerificationNumerical

      海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法及

      ¥1,339券后¥1,3790人已购买
      优惠券¥40 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation. Distribu 利用正式方法、验证和确认的

      ApplicationsVerificationLeveragingValidation

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

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

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 30th International Conference, Cav 2018, Held as Pa 计算机辅助验证:第30届国际

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册

      SystemverilogVerificationMethodology验证

      海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册

      ¥1,181券后¥1,2210人已购买
      优惠券¥40 领券购买 
    • 海外直订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 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 12th International Co 验证、模型检验和摘要解释:

      InterpretationInternationalVerificationChecking

      海外直订Verification, Model Checking, and Abstract Interpretation: 12th International Co 验证、模型检验和摘要解释:

      ¥599券后¥6290人已购买
      优惠券¥30 领券购买 
    • 海外直订Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, Ma 运行时验证:第八届国际研讨

      行时InternationalVerification研讨

      海外直订Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, Ma 运行时验证:第八届国际研讨

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

      第五届InternationalVerificationHardware

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

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

      InternationalVerificationTechnologyAutomated

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

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 海外直订Automated Technology for Verification and Analysis: 8th International Symposium, 验证和分析自动化技术:第八届国

      InternationalVerificationTechnologyAutomated

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国

      InterpretationInternationalVerification抽象

      海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Hardware and Software: Verification and Testing: 10th International Haifa Verifi 硬件和软件:验证和测试:第十

      InternationalVerificationHardwareSoftware

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

      ¥542券后¥5520人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal System Verification: State-Of The-Art and Future Trends 正式系统验证:技术现状和未来趋势

      Verification现状验证趋势

      海外直订Formal System Verification: State-Of The-Art and Future Trends 正式系统验证:技术现状和未来趋势

      ¥1,200券后¥1,2400人已购买
      优惠券¥40 领券购买 
    • 海外直订Embedded System Design: Modeling, Synthesis and Verification 嵌入式系统设计:建模、综合和验证

      建模Verification嵌入式Synthesis

      海外直订Embedded System Design: Modeling, Synthesis and Verification 嵌入式系统设计:建模、综合和验证

      ¥584券后¥5940人已购买
      优惠券¥10 领券购买 
    • 海外直订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 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 领券购买 
    • 【预订】Hardware and Software: Verification ...

      Verification预订HardwareSoftware

      【预订】Hardware and Software: Verification ...

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订IET Wiring Regulations: Design and Verification of Electrical Installations

      InstallationsVerificationRegulationsElectrical

      海外直订IET Wiring Regulations: Design and Verification of Electrical Installations

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

      ApplicationsVerificationLeveragingValidation

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Runtime Verification: Second International Conference, RV 2011, San Francisco, U 运行时验证:第二届国际会议

      行时国际会议InternationalVerification

      海外直订Runtime Verification: Second International Conference, RV 2011, San Francisco, U 运行时验证:第二届国际会议

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Automatic Verification of Sequential Infinite-State Processes 连续无限状态过程的自动验证

      VerificationSequentialAutomaticProcesses

      海外直订Automatic Verification of Sequential Infinite-State Processes 连续无限状态过程的自动验证

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

      字符串VerificationAnalysisSoftware

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

      ¥853券后¥8830人已购买
      优惠券¥30 领券购买 
    • 海外直订Modelling and Verification of Secure Exams 安全考试的建模与验证

      建模VerificationModelling验证

      海外直订Modelling and Verification of Secure Exams 安全考试的建模与验证

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

      遗传学Verification推理基因

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

      ¥1,729券后¥1,7890人已购买
      优惠券¥60 领券购买 
    • 海外直订Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, Jun 运行时验证:第九届国际研讨

      行时InternationalVerification研讨

      海外直订Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, Jun 运行时验证:第九届国际研讨

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Computer Aided Verification 计算机辅助验证

      VerificationComputer辅助验证

      海外直订Computer Aided Verification 计算机辅助验证

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 海外直订Computer Aided Verification: 30th International Conference, Cav 2018, Held as Pa 计算机辅助验证:第30届国际

      InternationalVerificationConferenceComputer

      海外直订Computer Aided Verification: 30th International Conference, Cav 2018, Held as Pa 计算机辅助验证:第30届国际

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍

      英文预售VerificationHierarchical

      【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍

      ¥289券后¥3290人已购买
      优惠券¥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 领券购买 
    • 海外直订Verification, Induction, Termination Analysis: Festschrift for Christoph Walther 验证、归纳、终止分析:克里

      克里归纳Verification终止

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

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, 计算机辅助验证:第22届国际

      InternationalVerificationConferenceEdinburgh

      海外直订Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, 计算机辅助验证:第22届国际

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    上一页 1 ...  11   12  13  14   15  ... 23 下一页