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