您现在所在的位置:首页>verification

verification

【3-4周达】精装 Logic Synthesis and Verification Algorithms [9780792397465]

【3-4周达】精装 Logic Synthesis and Verification Algorithms [9780792397465]

【3-4周达】Kant's Solution for Verification in Metaphysics [9781138659315]

【3-4周达】Kant's Solution for Verification in Metaphysics [9781138659315]

【3-4周达】精装 Nuclear Security: Assessments of Monitoring and Verification Needs and IAEA Programs [9781631176432]

【3-4周达】精装 Nuclear Security: Assessments of Monitoring and Verification Needs and IAEA Programs [9781631176432]

【3-4周达】The Social Misconstruction of Reality – Validity and Verification in the Scholarly Community [9780300206425]

【3-4周达】The Social Misconstruction of Reality – Validity and Verification in the Scholarly Community [9780300206425]

【3-4周达】A Practical Guide to Identity Verification Under the Economic Crime and Corporate Transpar... [9781918241235]

【3-4周达】A Practical Guide to Identity Verification Under the Economic Crime and Corporate Transpar... [9781918241235]

【3-4周达】Older Adults and Financial Advisers: Senior Designation Risks and Verification Guidance [9781631170447]

【3-4周达】Older Adults and Financial Advisers: Senior Designation Risks and Verification Guidance [9781631170447]

【3-4周达】Nuclear Non-proliferation and Arms Control Verification : Innovative Systems Concepts [9783030295394]

【3-4周达】Nuclear Non-proliferation and Arms Control Verification : Innovative Systems Concepts [9783030295394]

【3-4周达】Unsettled Topics in Automated Vehicle Data Sharing for Verification and Validation Purposes [9781468601671]

【3-4周达】Unsettled Topics in Automated Vehicle Data Sharing for Verification and Validation Purposes [9781468601671]

【3-4周达】精装 Empirical Asset Pricing Models : Data, Empirical Verification, and Model Search (1st ... [9783319741918]

【3-4周达】精装 Empirical Asset Pricing Models : Data, Empirical Verification, and Model Search (1st ... [9783319741918]

【3-4周达】Design and Verification of ALU Using Verilog and Python Cocotb [9786209201288]

【3-4周达】Design and Verification of ALU Using Verilog and Python Cocotb [9786209201288]

【3-4周达】精装 Federal Oil and Gas Royalties: Accuracy and Verification Issues [9781634838382]

【3-4周达】精装 Federal Oil and Gas Royalties: Accuracy and Verification Issues [9781634838382]

【预售】Independent Verification And Validation: Life Cycle

【预售】Independent Verification And Validation: Life Cycle

【3-4周达】Empirical Asset Pricing Models : Data, Empirical Verification, and Model Search (Softcover... [9783030089320]

【3-4周达】Empirical Asset Pricing Models : Data, Empirical Verification, and Model Search (Softcover... [9783030089320]

预订 Safety Instrumented System Design Techniques and Design Verification 安全仪表系统设计:技术和设计验证 9781945541438

预订 Safety Instrumented System Design Techniques and Design Verification 安全仪表系统设计:技术和设计验证 9781945541438

【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197581

【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197581

【3-4周达】The Audit Society: Rituals of Verification [9780198296034]

【3-4周达】The Audit Society: Rituals of Verification [9780198296034]

【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131844

【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131844

【3-4周达】精装 The Audit Society: Rituals of Verification [9780198289470]

【3-4周达】精装 The Audit Society: Rituals of Verification [9780198289470]

[预订]Automated Technology for Verification and Analysis 9783031453281

[预订]Automated Technology for Verification and Analysis 9783031453281

【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031198489

【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031198489

【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197611

【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197611

[预订]Formal Verification of Structurally Complex Multipliers

[预订]Formal Verification of Structurally Complex Multipliers

[预订]Formal Verification of Floating-Point Hardware Design

[预订]Formal Verification of Floating-Point Hardware Design

[预订]Handbook of Formal Analysis and Verification in Cryptography 9780367546656

[预订]Handbook of Formal Analysis and Verification in Cryptography 9780367546656

预订 Formal Modeling and Verification of Cyber-Physical Systems

预订 Formal Modeling and Verification of Cyber-Physical Systems

预订 Automated Verification of Concurrent Search Structures

预订 Automated Verification of Concurrent Search Structures

【预订】Runtime Verification 9783031092664

【预订】Runtime Verification 9783031092664

【3-4周达】Verification in Economics and History (Routledge Revivals) : A sequel to 'scientifization' [9780415612074]

【3-4周达】Verification in Economics and History (Routledge Revivals) : A sequel to 'scientifization' [9780415612074]

预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

[预订]Formal Verification of Floating-Point Hardware Design 9783030871802

[预订]Formal Verification of Floating-Point Hardware Design 9783030871802