关注微信公众号查券更方便
JOJO'SLIFEPD水果圆盆和面盆
Hach LZX396 Verification filter
定制化绿色信息影响研究:探索、验证和解释: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
预订 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 临床
预订 Incose Needs and Requirements Manual: Needs, Requirements, Verification, Validation Across the Lifecycle 系统工程国
预订 Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th Intern
预订 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
【预订】Low-Power Design and Power-Aware Verification
[预订]Automated Technology for Verification and Analysis 9783031453311
【预订】Automated Technology for Verification and Analysis 9783030888848
【预订】Runtime Verification 9783030884932
【预订】Functional Verification of Dynamical...
【预订】Accuracy Verification Methods: Theor...
【预售】Computer Aided Verification
【预订】Facial Kinship Verification: A Machi...
【预订】Computer Aided Verification
【预售】Automated Technology for Verification and Analysis
【预订】Software Verification
【预售】Verification, Model Checking, and Abstract Interpretation
【预订】Genetic Design Automation: A Practical Approach for the Analysis, Verification and Syn 9783030523572
【预订】Hardware and Software: Verification ...
【预订】Numerical Software Verification
【预售】Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
【预订】Verification, Model Checking, and Ab...
【预订】Tools for Design, Implementation and Verification of Emerging Information Technologies: 15th Eai Internati...
【预订】Runtime Verification
【预订】Verification and Evaluation of Compu...
【预订】Automated Technology for Verification and Analysis
【预订】Embedded Systems: Design, Analysis and Verification
【预售】Verification, Model Checking, and Ab...
【预订】Computer Aided Verification: 29th In...
【预订】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
【预订】Security Policy in System-On-Chip Designs: Specification, Implementation and Verification
【预订】Deductive Software Verification: Future Perspectives
预订 Formal Modeling and Verification of Cyber-Physical Systems
【预订】Runtime Verification 9783031092664
预订 Heterogeneous SoC Design and Verification
预订 Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Sympo
【预订】Verification of Business Rules Programs
【预售】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks (Softcover Rep...
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Applications
【预订】Numerical Software Verification: 10t...
预订 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
【预售】Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification
预订 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 软件验证指南：核心组
现货Logic Synthesis and Verification Algorithms
[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
[预订]Automated Technology for Verification and Analysis 9783031453281
【预订】Verification, Model Checking, and Abstract Interpretation
【预订】Hardware Verification with C++: A Pr...
[预订]Formal Verification of Floating-Point Hardware Design
[预订]Polynomial Formal Verification of Approximate Functions 9783658418878
[预订]Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 9783030955601
预订 Automated Verification of Concurrent Search Structures
预订 Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings
【预售】Computer-Aided Verification of Coordinating Proce
【预订】Verification and Evaluation of Computer and Communication Systems 9783030988494
【预订】18th Edition IET Wiring Regulations: Design and Verification of Electrical Installations, 9th ed
【预订】Formal Verification of Control System Software
【预订】Validation and Verification of Automated Systems
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
【预订】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
【预订】Formal Verification of Simulink/Stat...
预订 Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrak
预订 Rigorous Software Development An Introduction to Program Verification 严谨的软件开发：程序验证导论 第2版 9781447175
【预售】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
【预售】Electronic Design Automation for IC System Design, Verification, and Testing
