关注微信公众号查券更方便
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
MMT液态水分管理测试仪校准小白布MMT Verification white Fabric
海外直订Kant's Solution for Verification in Metaphysics 康德在形而上学中的验证解
预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
海外直订医药图书Verification of the Biological and Toxin Weapons Convention 核查《生物和毒素武器公约》
海外直订Nuclear Non-Proliferation and Arms Control Verification: Innovative Systems Conc 核不扩散与军备控制核查:创
海外直订Gender Verification and the Making of the Female Body in Sport: A History of the 性别验证与女性身体在体育运
海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验
海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理：系统遗传学数据方法
海外直订Post-Silicon and Runtime Verification for Modern Processors 现代处理器的后硅和运行时验证
海外直订Leveraging Applications of Formal Methods, Verification and Validation: Third In 利用正式方法的应用、验证和
海外直订A Digital Signal Processor for Particle Detectors: Design, Verification and Test 粒子探测器的数字信号处理器:设
海外直订Hardware Verification with C++: A Practitioner's Handbook C++硬件验证：实践者手册
海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 关于治疗验证成像：一个IGRT的研究指南
海外直订医药图书Medical Device Software: Verification, Validation, and Compliance 医疗器械软件：验证、验证和合规性
海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证：证明设计方案满足要求
海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的
海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认：评
海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法与
海外直订Low-Power Design and Power-Aware Verification 低功耗设计和功率感知验证
海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法及
海外直订Formal System Verification: State-Of The-Art and Future Trends 正式系统验证:技术现状和未来趋势
海外直订Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Simulink/ statflow图的形式化
海外直订Deductive Software Verification - The KeY Book 演绎软件验证-关键手册
海外直订Temporal Verification of Reactive Systems: Safety 反应系统的时间验证：安全性
海外直订Polynomial Formal Verification of Approximate Functions 近似函数的多项式形式验证
海外直订Scalable Techniques for Formal Verification 形式验证的可伸缩技术
【3-4周达】Program Verification : Fundamental Issues in Computer Science [9789401047890]
海外直订Hardware Verification with C++: A Practitioner S Handbook C++硬件验证：实践者手册
海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册
海外直订Open Verification Methodology Cookbook 开放式验证方法手册
海外直订Design and Verification of Microprocessor Systems for High-Assurance Application 高保证应用微处理器系统的设
海外直订Electronic Design Automation for IC System Design, Verification, and Testing
海外直订Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, 计算机辅助验证：第22届国际
海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法：理论与算法
海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势
海外直订Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, 计算机辅助验证：第21届国际
海外直订Functional Verification of Dynamically Reconfigurable Fpga-Based Systems 基于动态可重构fpga系统的功能验证
海外直订医药图书Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il 计算机辅助验证：第
海外直订Simulation and Verification of Electronic and Biological Systems 电子与生物系统仿真与验证“，
海外直订Object-Based Image Analysis and Treaty Verification: New Approaches in Remote Se 基于物体的图像分析和条约核
海外直订Functional Verification of Programmable Embedded Architectures: A Top-Down Appro 可编程嵌入式体系结构的功能
海外直订Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasi 验证:理论与实践:在
海外直订Computational Methods in Transport: Verification and Validation 运输计算方法：验证与验证
海外直订A Roadmap for Formal Property Verification 形式属性验证的路线图
海外直订Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, B 计算机辅助验证：第10届国际
海外直订Reactive Systems: Modelling, Specification and Verification 反应系统：建模、规范和验证
海外直订Verification of Sequential and Concurrent Programs 顺序和并发程序的验证
海外直订High-Level Verification: Methods and Tools for Verification of System-Level Desi 验证:用于验证系统级设计的
海外直订Leveraging Applications of Formal Methods, Verification and Validation: Foundati 利用形式方法、验证和验证的
海外直订Intelligent Signature Verification and Analysis 智能签名验证与分析
海外直订Extending Key for the Verification of C Programs C程序验证的扩展密钥
Flame Relay R4343B-1029 Honeywell 115VAC Auto Verification R
海外直订String Analysis for Software Verification and Security 用于软件验证和安全的字符串分析
海外直订Fundamentals of IP and Soc Security: Design, Verification, and Debug IP和Soc安全基础:设计，验证和调试
海外直订Logic Synthesis and Verification Algorithms 逻辑综合与验证算法
海外直订Kant's Solution for Verification in Metaphysics 康德的形而上学验证解
【3-4周达】Electronic Design Automation for IC System Design, Verification, and Testing [9781482254624]
NEW LOT OF 2 ABB ATS4000651 VERIFICATION TOOLS
海外直订Computer-Aided CMM Inspection Planning and Verification 计算机辅助三坐标测量机检验计划与验证
海外直订Systemverilog for Hardware Description: Rtl Design and Verification Systemverilog用于硬件描述:Rtl设计和验证
海外直订Self-Determined Learning Theory: Construction, Verification, and Evaluation 自主学习理论：建构、验证与评价
海外直订Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, 运行时验证:第22届国际会议
海外直订Validation and Verification of Formal Specifications in Object-Oriented Software 面向对象软件工程中形式化规
海外直订Investigation of Navier-Stokes Code Verification and Design Optimization Navier-Stokes码验证与设计优化研究
海外直订Tunable Diode Laser Absorption Spectroscopy Verification Analysis for Use in the 可调谐半导体激光吸收光谱验
海外直订Tools for Design, Implementation and Verification of Emerging Information Techno 新兴信息技术的设计、实现和
海外直订Lectures on Runtime Verification: Introductory and Advanced Topics 运行时验证讲座：介绍性和高级主题
海外直订Challenges Of Verification 核实的挑战
海外直订Formal Analysis and Verification of Safety Interlock Systems 安全联锁系统的形式化分析与验证
海外直订Computer Aided Verification 计算机辅助验证
海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法
海外直订Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, Ma 运行时验证：第八届国际研讨
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释
海外直订Verification, Induction, Termination Analysis: Festschrift for Christoph Walther 验证、归纳、终止分析：克里
海外直订Vlsi-Soc: System-On-Chip in the Nanoscale Era - Design, Verification and Reliabi 超大规模集成电路Soc：纳米
海外直订Modelling and Verification of Secure Exams 安全考试的建模与验证
海外直订Verification, Model Checking, and Abstract Interpretation: 19th International Co 验证、模型检查和抽象解释：
海外直订Automated Technology for Verification and Analysis: 18th International Symposium 验证与分析自动化技术:第18届
海外直订Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, O 计算机辅助验证：第28届国际
海外直订Scientific Computation with Automatic Result Verification 具有自动结果验证的科学计算
海外直订Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg 计算机辅助验证：第29届国际
海外直订Automated Technology for Verification and Analysis: 8th International Symposium, 验证和分析自动化技术：第八届国
海外直订Verification, Model Checking, and Abstract Interpretation: 12th International Co 验证、模型检验和摘要解释:
海外直订Verification, Model Checking, and Abstract Interpretation: 20th International Co 验证、模型检查和摘要解释：
海外直订New Data Structures and Algorithms for Logic Synthesis and Verification 逻辑综合与验证的新数据结构与算法
海外直订Hardware and Software: Verification and Testing: 5th International Haifa Verific 硬件和软件:验证和测试:第五届
