关注微信公众号查券更方便
JOJO'SLIFEPD水果圆盆和面盆
Thread Size Verification Tool 便携式精密螺纹尺寸检查器工具
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
MMT液态水分管理测试仪校准小白布MMT Verification white Fabric
【议价】福禄克fluke dsx-verification系列6类跳
工业配件NEW WAVE DESIGN&VERIFICATION 100-01151-12 V1151 QUAD
定制化绿色信息影响研究:探索、验证和解释:exploration verification and interpretation 王建明等 经济书籍
正版书籍 有限元分析:方法、验证与确认:method, verification and valid巴纳·萨伯ó机械工业出版社图书 人天书店畅销书排行榜
【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍
祈鑫摩擦校正AATCCCVC25布
AATCC摩擦校正布AATCCCVC25
【预售】Higher Order Logic and Hardware Verification
预订 An Introduction to Verification of Visualization Techniques
【预订】18th Edition IET Wiring Regulations: Design and Verification of Electrical Installations, 9th ed
预订 Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证 9783031245732
【预订】Hardware and Software: Verification and Testing
预订 The SPIN Verification System: 9780821806807
[预订]Verification, Model Checking, and Abstract Interpretation
【预订】Automated Technology for Verification and Analysis 9783031199912
预订 101 Topics for Clinical Microbiology Laboratory Leaders Accreditation, Verification, Quality Systems, and More 临床
【预售】Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification
预订 Incose Needs and Requirements Manual: Needs, Requirements, Verification, Validation Across the Lifecycle 系统工程国
预订 Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occ
预订 Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nico
预订 Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th Intern
【预订】Low-Power Design and Power-Aware Verification
[预订]Automated Technology for Verification and Analysis 9783031453311
【预订】Runtime Verification 9783030884932
【预订】Automated Technology for Verification and Analysis 9783030888848
【预订】Accuracy Verification Methods: Theor...
【预订】Functional Verification of Dynamical...
【预售】Automated Technology for Verification and Analysis
【预订】Software Verification
【预售】Computer Aided Verification
【预订】Verification of Business Rules Programs
【预订】Computer Aided Verification
【预售】Verification, Model Checking, and Abstract Interpretation
【预售】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks (Softcover Rep...
【预订】Computer Aided Verification: 29th In...
【预订】Hardware and Software: Verification ...
【预订】Numerical Software Verification
【预售】Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
【预订】Tools for Design, Implementation and Verification of Emerging Information Technologies: 15th Eai Internati...
【预订】Verification and Evaluation of Compu...
【预订】Embedded Systems: Design, Analysis and Verification
【预订】Security Policy in System-On-Chip Designs: Specification, Implementation and Verification
【预订】Deductive Software Verification: Future Perspectives
【预订】Runtime Verification
【预订】Facial Kinship Verification: A Machi...
【预订】Numerical Software Verification: 10t...
【预订】Genetic Design Automation: A Practical Approach for the Analysis, Verification and Syn 9783030523572
【预订】Verification, Model Checking, and Ab...
【预订】Automated Technology for Verification and Analysis
【预售】Verification, Model Checking, and Ab...
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Applications
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228
【预订】VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability
【预订】Runtime Verification: 17th Internati...
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
预订 Formal Modeling and Verification of Cyber-Physical Systems
【预订】Runtime Verification 9783031092664
预订 Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Sympo
预订 Heterogeneous SoC Design and Verification
预订 IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection 从规格到生产
预订 Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings 运
预订 Verification, Model Checking, and Abstract Interpretation 27th International Conference, VMCAI 2026, Rennes, France
预订 Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms 使用数据挖掘
预订 Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United
预订 Heterogeneous SoC Design and Verification HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging 异构SoC
预订 Guide to Software Verification with Frama-C Core Components, Usages, and Applications Frama-C 软件验证指南:核心组
【预售】Electronic Design Automation for IC System Design, Verification, and Testing
现货Logic Synthesis and Verification Algorithms
【预订】Verification, Model Checking, and Abstract Interpretation
[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
[预订]Automated Technology for Verification and Analysis 9783031453281
【预订】Hardware Verification with C++: A Pr...
[预订]Polynomial Formal Verification of Approximate Functions 9783658418878
[预订]Formal Verification of Floating-Point Hardware Design
[预订]Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 9783030955601
预订 Automated Verification of Concurrent Search Structures
【预订】Verification and Evaluation of Computer and Communication Systems 9783030988494
预订 Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings
【预售】Computer-Aided Verification of Coordinating Proce
【预订】Formal Verification of Control System Software
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
【预订】Validation and Verification of Automated Systems
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031198489
【预订】Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
预订 Automated Technology for Verification and Analysis 23rd International Symposium, ATVA 2025, Bengaluru, India, Octob
预订 Design and Verification of Cyber-Physical Systems: From Theory to Applications Essays Dedicated to Martin Fränzle