• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共870个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Automated Technology for Verification and Analysis 验证与分析自动化技术

      VerificationTechnologyAutomatedAnalysis

      海外直订Automated Technology for Verification and Analysis 验证与分析自动化技术

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Partial-Order Methods for the Verification of Concurrent Systems: An Approach to 并行系统验证的部分阶方法:

      并行VerificationConcurrentApproach

      海外直订Partial-Order Methods for the Verification of Concurrent Systems: An Approach to 并行系统验证的部分阶方法:

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

      InternationalVerificationHardwareSoftware

      海外直订Hardware and Software, Verification and Testing: First International Haifa Verif 硬件和软件,验证和测试:第

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification and Evaluation of Computer and Communication Systems: 13th Internat 计算机和通信系统的验证与评

      CommunicationVerificationEvaluationComputer

      海外直订Verification and Evaluation of Computer and Communication Systems: 13th Internat 计算机和通信系统的验证与评

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

      VerificationRequirementsSatisfiesSolution

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

      ¥1,418券后¥1,4580人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:

      InterpretationInternationalVerificationChecking

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Intelligent Signature Verification and Analysis 智能签名验证与分析

      VerificationIntelligentSignatureAnalysis

      海外直订Intelligent Signature Verification and Analysis 智能签名验证与分析

      ¥892券后¥9220人已购买
      优惠券¥30 领券购买 
    • 海外直订Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelbe 数字软件验证:第十届国际研

      第十届InternationalVerificationNumerical

      海外直订Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelbe 数字软件验证:第十届国际研

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 海外直订Numerical Software Verification 数值软件验证

      数值VerificationNumericalSoftware

      海外直订Numerical Software Verification 数值软件验证

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

      字符串VerificationAnalysisSoftware

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

      ¥620券后¥6500人已购买
      优惠券¥30 领券购买 
    • 海外直订Gender Verification and the Making of the Female Body in Sport: A History of the 性别验证与女性身体在体育运

      Verification性别验证身体

      海外直订Gender Verification and the Making of the Female Body in Sport: A History of the 性别验证与女性身体在体育运

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

      DifferentialVerificationNumericalEquations

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

      ¥1,623券后¥1,7030人已购买
      优惠券¥80 领券购买 
    • 海外直订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 领券购买 
    • 海外直订A Roadmap for Formal Property Verification 形式属性验证的路线图

      路线图VerificationProperty属性

      海外直订A Roadmap for Formal Property Verification 形式属性验证的路线图

      ¥1,153券后¥1,1930人已购买
      优惠券¥40 领券购买 
    • 海外直订Genetic Design Automation: A Practical Approach for the Analysis, Verification a 遗传设计自动化:遗传逻辑电

      遗传VerificationAutomationPractical

      海外直订Genetic Design Automation: A Practical Approach for the Analysis, Verification a 遗传设计自动化:遗传逻辑电

      ¥469券后¥4790人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Approaches to Software Testing and Runtime Verification: First Combined I 软件测试和运行时验证的形式

      行时软件测试VerificationApproaches

      海外直订Formal Approaches to Software Testing and Runtime Verification: First Combined I 软件测试和运行时验证的形式

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Computational Methods in Transport: Verification and Validation 运输计算方法:验证与验证

      验证ComputationalVerificationValidation

      海外直订Computational Methods in Transport: Verification and Validation 运输计算方法:验证与验证

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Computer-Aided CMM Inspection Planning and Verification 计算机辅助三坐标测量机检验计划与验证

      测量机坐标VerificationInspection

      海外直订Computer-Aided CMM Inspection Planning and Verification 计算机辅助三坐标测量机检验计划与验证

      ¥764券后¥7940人已购买
      优惠券¥30 领券购买 
    • 海外直订医药图书Medical Device Software: Verification, Validation, and Compliance 医疗器械软件:验证、验证和合规性

      合规性验证医药图书Verification

      海外直订医药图书Medical Device Software: Verification, Validation, and Compliance 医疗器械软件:验证、验证和合规性

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

      InternationalVerificationTechnologyAutomated

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

      ¥539券后¥5490人已购买
      优惠券¥10 领券购买 
    • 海外直订Extending Key for the Verification of C Programs C程序验证的扩展密钥

      密钥VerificationExtendingPrograms

      海外直订Extending Key for the Verification of C Programs C程序验证的扩展密钥

      ¥892券后¥9220人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal Analysis and Verification of Safety Interlock Systems 安全联锁系统的形式化分析与验证

      联锁形式化VerificationInterlock

      海外直订Formal Analysis and Verification of Safety Interlock Systems 安全联锁系统的形式化分析与验证

      ¥583券后¥6130人已购买
      优惠券¥30 领券购买 
    • 海外直订Logic Synthesis and Verification Algorithms

      VerificationAlgorithmsSynthesis海外

      海外直订Logic Synthesis and Verification Algorithms

      ¥969券后¥9990人已购买
      优惠券¥30 领券购买 
    • 海外直订Kant's Solution for Verification in Metaphysics 康德的形而上学验证解

      康德形而上学VerificationMetaphysics

      海外直订Kant's Solution for Verification in Metaphysics 康德的形而上学验证解

      ¥777券后¥8070人已购买
      优惠券¥30 领券购买 
    • 海外直订Verification of Thomas More's Utopia serving as eponym and paragon for the liter 以托马索·坎帕内拉为例,验

      坎帕托马索Verificationserving

      海外直订Verification of Thomas More's Utopia serving as eponym and paragon for the liter 以托马索·坎帕内拉为例,验

      ¥377券后¥3870人已购买
      优惠券¥10 领券购买 
    • 海外直订Tunable Diode Laser Absorption Spectroscopy Verification Analysis for Use in the 可调谐半导体激光吸收光谱验

      吸收光谱调谐半导体Verification

      海外直订Tunable Diode Laser Absorption Spectroscopy Verification Analysis for Use in the 可调谐半导体激光吸收光谱验

      ¥625券后¥6550人已购买
      优惠券¥30 领券购买 
    • 海外直订Investigation of Navier-Stokes Code Verification and Design Optimization Navier-Stokes码验证与设计优化研究

      NavierStokesInvestigationVerification

      海外直订Investigation of Navier-Stokes Code Verification and Design Optimization Navier-Stokes码验证与设计优化研究

      ¥625券后¥6550人已购买
      优惠券¥30 领券购买 
    • 海外直订CMOS VLSI Layout and Verification of a Simd Computer 单指令多数据计算机的CMOS超大规模集成电路设计与验证

      电路设计CMOSVerification指令

      海外直订CMOS VLSI Layout and Verification of a Simd Computer 单指令多数据计算机的CMOS超大规模集成电路设计与验证

      ¥641券后¥6710人已购买
      优惠券¥30 领券购买 
    • 海外直订Nuclear Non-Proliferation in International Law, Volume 2: Verification and Compl 国际法中的核不扩散,第2卷:

      国际法ProliferationInternational扩散

      海外直订Nuclear Non-Proliferation in International Law, Volume 2: Verification and Compl 国际法中的核不扩散,第2卷:

      ¥1,594券后¥1,6540人已购买
      优惠券¥60 领券购买 
    • 海外直订Challenges Of Verification 核实的挑战

      Verification核实Challenges挑战

      海外直订Challenges Of Verification 核实的挑战

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

      历史学科学化ScientifizationVerification

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

      ¥1,543券后¥1,6030人已购买
      优惠券¥60 领券购买 
    • 海外直订Principles of Functional Verification 功能验证原则

      VerificationPrinciplesFunctional验证

      海外直订Principles of Functional Verification 功能验证原则

      ¥1,203券后¥1,2430人已购买
      优惠券¥40 领券购买 
    • 海外直订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 领券购买 
    • 【预售 按需印刷】 Formal Verification of Control System Software控制系统软件的形式验证 英文原版普林斯顿

      普林斯顿英文预售控制系统

      【预售 按需印刷】 Formal Verification of Control System Software控制系统软件的形式验证 英文原版普林斯顿

      ¥413.6券后¥473.60人已购买
      优惠券¥60 领券购买 
    • 海外直订Logic Synthesis and Verification 逻辑综合与验证

      VerificationSynthesis逻辑验证

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

      ¥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 领券购买 
    • 现货 独立验证和认证 质量软件生命周期工程过程 Independent Verification And Validation Life Cycle Engineering Process R O

      VerificationEngineeringIndependent现货

      现货 独立验证和认证 质量软件生命周期工程过程 Independent Verification And Validation Life Cycle Engineering Process R O

      ¥496券后¥5060人已购买
      优惠券¥10 领券购买 
    • 海外直订Writing Testbenches: Functional Verification of Hdl Models 编写测试台:Hdl模型的功能验证

      VerificationTestbenchesFunctionalHdl

      海外直订Writing Testbenches: Functional Verification of Hdl Models 编写测试台:Hdl模型的功能验证

      ¥2,565券后¥2,6250人已购买
      优惠券¥60 领券购买 
    • 现货 利用LOTOS Petri Nets 与CCS进行系统与电路的核查 LOTOS Petri Net Verification 英文原版 Michael Yoeli 中�

      LOTOSPetri英文核查

      现货 利用LOTOS Petri Nets 与CCS进行系统与电路的核查 LOTOS Petri Net Verification 英文原版 Michael Yoeli 中�

      ¥374券后¥3840人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 9th International Con 验证、模型检验与抽象解释:第九

      InterpretationInternationalVerification抽象

      海外直订Verification, Model Checking, and Abstract Interpretation: 9th International Con 验证、模型检验与抽象解释:第九

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    上一页 1 ...  2   3  4  5   6  ... 22 下一页