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