关注微信公众号查券更方便
【预售】Verifying Temporal Properties of Systems
【预订】Verifying Calculations - Forty Years On
[预订]Verifying Nuclear Disarmament 9780367586942
预售 按需印刷Verifying multicore software
海外直订Verifying Temporal Properties of Systems 验证系统的时间属性
【预售 按需印刷】Testing and Verifying Web Services
【预订】Verifying Cyber-Physical Systems: A Path to Safe Autonomy
[预订]Algorithms for Verifying Deep Neural Networks 9781680837865
【预售】Creating and Verifying Data Sets with Excel
海外直订A Formal Methodology and Technique for Verifying Conversations in a Closed Multi 一种用于验证封闭多代理系统
【预售】New Analytical Approaches for Verifying the Origin
按需印刷Verifying multicore software[9783659373404]
【预售 按需印刷】Verifying Web-based Information
预售 按需印刷 Verifying Nuclear Disarmament
海外直订Testing and Verifying Web Services 测试和验证Web服务
海外直订Veracity of Big Data: Machine Learning and Other Approaches to Verifying Truthfu 大数据的准确性:机器学习和
现货 验证信息物理系统 Verifying Cyber Physical Systems A Path to Safe Autonomy 英文原版 Sayan Mitra【中商原版】
海外直订Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVe 应用Pi演算和Pro
海外直订Algorithms for Verifying Deep Neural Networks 深度神经的验证算法
按需印刷Algorithms for Verifying Deep Neural Networks[9781680837865]
【4周达】Veracity of Big Data : Machine Learning and Other Approaches to Verifying Truthfulness [9781484236321]
预订Verifying Cyber-Physical Systems:A Path to Safe Autonomy
【4周达】Verifying Temporal Properties of Systems [9781468468212]
【4周达】Finding The Mind: Pedagogy For Verifying [9780761855279]
【4周达】Verifying Calculations - Forty Years on: An Overview of Classical Verification Techniques fo... [9783319205526]
【4周达】Verifying Concurrent Processes Using Temporal Logic [9783540112051]
【4周达】Verifying multicore software : A case study [9783659373404]
【4周达】Verifying Greenhouse Gas Emissions: Methods to Support International Climate Agreements [9780309152112]
【4周达】Verifying Cyber-Physical Systems: A Path to Safe Autonomy [9780262044806]
【4周达】VERIFYING NUCLEAR DISARMAMENT (SHEA [9780367586942]
【4周达】Creating and Verifying Data Sets with Excel [9781483331454]
【4周达】Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif [9781680832068]
【4周达】Algorithms for Verifying Deep Neural Networks [9781680837865]
【4周达】Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System [9781785481123]
【4周达】Recent Advances in Modeling and Forecasting Kaiyu : Tools for Predicting and Verifying the E... [9789819912407]
【4周达】New Analytical Approaches for Verifying the Origin of Food [9780857092748]
【4周达】Verifying Treaty Compliance : Limiting Weapons of Mass Destruction and Monitoring Kyoto Prot... [9783540338536]