关注微信公众号查券更方便
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
MMT液态水分管理测试仪校准小白布MMT Verification white Fabric
AATCC CVC 25摩擦校正布Crockmeter Verification Clot
预售 按需印刷 Gender Verification and the Making of the Female Body in Sport
海外直订Reliability Verification, Testing, and Analysis in Engineering Design 工程设计中的可靠性验证、测试与分析
海外直订Kant's Solution for Verification in Metaphysics 康德在形而上学中的验证解
海外直订医药图书Verification of the Biological and Toxin Weapons Convention 核查《生物和毒素武器公约》
海外直订Nuclear Non-Proliferation and Arms Control Verification: Innovative Systems Conc 核不扩散与军备控制核查:创
海外直订Nuclear Non-Proliferation in International Law, Volume 2: Verification and Compl 国际法中的核不扩散，第2卷:
海外直订Challenges Of Verification 核实的挑战
海外直订Gender Verification and the Making of the Female Body in Sport: A History of the 性别验证与女性身体在体育运
海外直订Verification in Economics and History: A Sequel to 'Scientifization' 经济学与历史学中的验证:“科学化”的续
海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验
海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理：系统遗传学数据方法
海外直订Leveraging Applications of Formal Methods, Verification and Validation: Third In 利用正式方法的应用、验证和
海外直订Post-Silicon and Runtime Verification for Modern Processors 现代处理器的后硅和运行时验证
海外直订Geometric Product Specification and Verification: Integration of Functionality: 几何产品规范和验证：功能集
海外直订Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Te 布尔推理:使用测试技术
海外直订Sequential Logic Testing and Verification 顺序逻辑测试与验证
海外直订Geometric Product Specification and Verification: Integration of Functionality: 几何产品规格与验证:功能的
海外直订A Digital Signal Processor for Particle Detectors: Design, Verification and Test 粒子探测器的数字信号处理器:设
海外直订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 系统验证：证明设计方案满足要求
海外直订Protocol Specification, Testing and Verification XIV 协议规范、测试与验证
海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的
海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认：评
海外直订Analysis, Verification and Transformation for Declarative Programming and Intell 声明式编程和智能系统的分析
海外直订Low-Power Design and Power-Aware Verification 低功耗设计和功率感知验证
【3-4周达】Program Verification : Fundamental Issues in Computer Science [9789401047890]
预售 按需印刷 Challenges Of Verification
PVA225P6EQ_W/6IN Banner NEW In Box Compact Part Verification
海外直订Formal System Verification: State-Of The-Art and Future Trends 正式系统验证:技术现状和未来趋势
海外直订Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Simulink/ statflow图的形式化
海外直订Principles of Functional Verification 功能验证原则
海外直订Deductive Software Verification - The KeY Book 演绎软件验证-关键手册
海外直订Temporal Verification of Reactive Systems: Safety 反应系统的时间验证：安全性
海外直订Polynomial Formal Verification of Approximate Functions 近似函数的多项式形式验证
海外直订Scalable Techniques for Formal Verification 形式验证的可伸缩技术
海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册
海外直订Open Verification Methodology Cookbook 开放式验证方法手册
海外直订Hardware Verification with C++: A Practitioner S Handbook C++硬件验证：实践者手册
海外直订Design and Verification of Microprocessor Systems for High-Assurance Application 高保证应用微处理器系统的设
海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一
NEW LOT OF 2 ABB ATS4000651 VERIFICATION TOOLS
海外直订Electronic Design Automation for IC System Design, Verification, and Testing
海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势
海外直订Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, 计算机辅助验证：第22届国际
海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法：理论与算法
海外直订Functional Verification of Dynamically Reconfigurable Fpga-Based Systems 基于动态可重构fpga系统的功能验证
海外直订Object-Based Image Analysis and Treaty Verification: New Approaches in Remote Se 基于物体的图像分析和条约核
海外直订医药图书Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il 计算机辅助验证：第
海外直订Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, 计算机辅助验证：第21届国际
海外直订Functional Verification of Programmable Embedded Architectures: A Top-Down Appro 可编程嵌入式体系结构的功能
海外直订Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, B 计算机辅助验证：第10届国际
海外直订Simulation and Verification of Electronic and Biological Systems 电子与生物系统仿真与验证“，
海外直订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: 14th International Conference, Cav 2002 Copenhagen, 计算机辅助验证:第14届国际
海外直订Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, 计算机辅助验证:第20届国际
海外直订Symbolic Simulation Methods for Industrial Formal Verification 工业形式验证的符号仿真方法
海外直订A Unified Approach for Timing Verification and Delay Fault Testing 定时验证和延迟故障测试的统一方法
海外直订Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, 计算机辅助验证：第17届国际
海外直订Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma 计算机辅助验证:第16届国际
海外直订VLSI Specification, Verification and Synthesis 超大规模集成电路规范、验证与综合
海外直订Compositional Verification of Concurrent and Real-Time Systems 并发和实时系统的组合验证
海外直订Hybrid Systems III: Verification and Control 混合系统III:验证与控制
海外直订Advanced Formal Verification 先进的形式验证
海外直订Functional Verification Coverage Measurement and Analysis 功能验证覆盖、测量和分析
海外直订Reactive Systems: Modelling, Specification and Verification 反应系统：建模、规范和验证
海外直订Verification of Sequential and Concurrent Programs 顺序和并发程序的验证
海外直订Scalable Hardware Verification with Symbolic Simulation 基于符号模拟的可扩展硬件验证
海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法与
海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法及
海外直订High-Level Verification: Methods and Tools for Verification of System-Level Desi 验证:用于验证系统级设计的
海外直订Leveraging Applications of Formal Methods, Verification and Validation: Foundati 利用形式方法、验证和验证的
