关注微信公众号查券更方便
Verification, Validation, and Uncertainty Quantification in Scientific Computing 科学计算中的验证、确认和不确定度量化 9
询价-福禄克fluke dsx-verification系列6类跳
按需印刷不退不换Computer Aided Verification[9781013270994]
按需印刷不退不换LSTM Recurrent Neural Networks for Signature Verification[9783846589946]
预订不退不换Formal Verification of Control System Software[9780691181301]
【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍
【预售】Higher Order Logic and Hardware Verification
【预售】The Inverse Method / Parametric Verification Of Real-Time Unbedded Systems
预订 An Introduction to Verification of Visualization Techniques
预订 Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证 9783031245732
预订不退不换Formal Verification of Floating-Point Hardware Design
【预订】Hardware and Software: Verification and Testing
按需印刷Strategic Disarmament, Verification and National Security[9780367511616]
预订 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 系统工程国
【预订】Hardware and Software: Verification ...
【预订】Security Policy in System-On-Chip Designs: Specification, Implementation and Verification
【预订】Deductive Software Verification: Future Perspectives
【预订】Computer Aided Verification
【预订】Runtime Verification
【预订】Embedded Systems: Design, Analysis and Verification
【预售】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks (Softcover Rep...
【预售】Computer Aided Verification
【预订】Facial Kinship Verification: A Machi...
【预订】Runtime Verification: 17th Internati...
【预订】Verification, Model Checking, and Ab...
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
【预订】Computer Aided Verification: 29th In...
【预售】Automated Technology for Verification and Analysis
【预订】Software Verification
【预订】Genetic Design Automation: A Practical Approach for the Analysis, Verification and Syn 9783030523572
【预订】Automated Technology for Verification and Analysis
【预订】Numerical Software Verification: 10t...
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228
【预订】Verification and Evaluation of Compu...
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Applications
【预订】Numerical Software Verification
【预售】Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
【预售】Verification, Model Checking, and Ab...
【预订】VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability
【预订】Verification of Business Rules Programs
【预订】Runtime Verification 9783031092664
预订 Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Sympo
预订 Formal Modeling and Verification of Cyber-Physical Systems
预订 Heterogeneous SoC Design and Verification
【预售】Verification, Model Checking, and Abstract Interpretation
【预订】Tools for Design, Implementation and Verification of Emerging Information Technologies: 15th Eai Internati...
【预订】Low-Power Design and Power-Aware Verification
【预订】Functional Verification of Dynamical...
【预订】Accuracy Verification Methods: Theor...
预订 IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection 从规格到生产
按需印刷不退不换Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle[9783836494526]
按需印刷不退不换Extending KeY for the Verification of C Programs[9783639000023]
【预售】Verification, Validation, And Testing Of Engineered Systems
预订 Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings 运
【预售】Independent Verification And Validation: Life Cycle
按需印刷不退不换Formal Verification of Concurrent Embedded Software[9783739241241]
预订 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 软件验证指南：核心组
【预售】Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification
预订 Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms 使用数据挖掘
[预订]18th Edition IET Wiring Regulations: Design and Verification of Electrical Installations, 9th ed 9781138606012
预订 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
[预订]Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 9783030955601
按需印刷不退不换Computer-Aided Verification of Coordinating Processes[9780691606057]
[预订]Polynomial Formal Verification of Approximate Functions 9783658418878
【预订】Hardware Verification with C++: A Pr...
[预订]Formal Verification of Floating-Point Hardware Design
【预订】18th Edition IET Wiring Regulations: Design and Verification of Electrical Installations, 9th ed
【预订】Formal Verification of Control System Software
【预售】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
【预订】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
【预订】Verification of Computer Codes in Computational Science and Engineering
The Calculus of Computation Decision Procedures with Applications to Verification 计算微积分：决策过程及其在验证中的应
[预订]Handbook of Formal Analysis and Verification in Cryptography 9780367546656
【预售】Electronic Design Automation for IC System Design, Verification, and Testing
【预售】Embedded Software Verification and D...
按需印刷不退不换Computer Aided Verification[9781013271144]
【预售】Formal System Verification: State-of the-Art and Future Trends
【预订】Deductive Software Verification – Th...
【预售】ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
【预订】Formal System Verification: State-Of...
【预售】Validation and Verification of Automated Systems: Results of the Enable-S3 Project
[预订]Tools for Design, Implementation and Verification of Emerging Information Technologies 9783031334573
预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南：从模型检查到标
按需印刷不退不换Computer Aided Verification[9781013271007]
