券后 ¥1,600
¥1,625【4周达】Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System [9781785481123]
已售0
优惠券
¥25
去领券
去看看券后 ¥470
¥490【4周达】Verifying Greenhouse Gas Emissions: Methods to Support International Climate Agreements [9780309152112]
已售0
优惠券
¥20
去领券
去看看券后 ¥477
¥502【4周达】Verifying Cyber-Physical Systems: A Path to Safe Autonomy [9780262044806]
已售0
优惠券
¥25
去领券
去看看券后 ¥311
¥326【4周达】Veracity of Big Data : Machine Learning and Other Approaches to Verifying Truthfulness [9781484236321]
已售0
优惠券
¥15
去领券
去看看券后 ¥460
¥480【4周达】Creating and Verifying Data Sets with Excel [9781483331454]
已售0
优惠券
¥20
去领券
去看看券后 ¥536
¥561【4周达】Verifying Calculations - Forty Years on: An Overview of Classical Verification Techniques fo... [9783319205526]
已售0
优惠券
¥25
去领券
去看看券后 ¥1,620
¥1,645【4周达】Recent Advances in Modeling and Forecasting Kaiyu : Tools for Predicting and Verifying the E... [9789819912407]
已售0
优惠券
¥25
去领券
去看看券后 ¥607
¥632【4周达】VERIFYING NUCLEAR DISARMAMENT (SHEA [9780367586942]
已售0
优惠券
¥25
去领券
去看看券后 ¥606
¥631【4周达】Finding The Mind: Pedagogy For Verifying [9780761855279]
已售0
优惠券
¥25
去领券
去看看券后 ¥1,095
¥1,120【4周达】Algorithms for Verifying Deep Neural Networks [9781680837865]
已售0
优惠券
¥25
去领券
去看看券后 ¥1,819
¥1,844【4周达】New Analytical Approaches for Verifying the Origin of Food [9780857092748]
已售0
优惠券
¥25
去领券
去看看券后 ¥555
¥580【4周达】Verifying Concurrent Processes Using Temporal Logic [9783540112051]
已售0
优惠券
¥25
去领券
去看看券后 ¥546
¥571【4周达】Verifying multicore software : A case study [9783659373404]
已售0
优惠券
¥25
去领券
去看看券后 ¥1,031
¥1,056【4周达】Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif [9781680832068]
已售0
优惠券
¥25
去领券
去看看券后 ¥2,380
¥2,405【4周达】Verifying Treaty Compliance : Limiting Weapons of Mass Destruction and Monitoring Kyoto Prot... [9783540338536]
已售0
优惠券
¥25
去领券
去看看券后 ¥536
¥561【4周达】Verifying Temporal Properties of Systems [9781468468212]
已售0
优惠券
¥25
去领券
去看看券后 ¥211
¥241【预售】Creating and Verifying Data Sets with Excel
已售0
优惠券
¥30
去领券
去看看¥276.5
¥576现货 验证信息物理系统 Verifying Cyber Physical Systems A Path to Safe Autonomy 英文原版 Sayan Mitra【中商原版】
已售0
去看看券后 ¥578
¥618海外直订A Formal Methodology and Technique for Verifying Conversations in a Closed Multi 一种用于验证封闭多代理系统
已售0
优惠券
¥40
去领券
去看看券后 ¥433
¥443海外直订Verifying Greenhouse Gas Emissions: Methods to Support International Climate Agr 核查温室气体排放:支持国际
已售0
优惠券
¥10
去领券
去看看券后 ¥423
¥453【预订】Verifying Cyber-Physical Systems: A Path to Safe Autonomy
已售0
优惠券
¥30
去领券
去看看券后 ¥1,872
¥1,992预售 按需印刷 Verifying Nuclear Disarmament
已售0
优惠券
¥120
去领券
去看看券后 ¥789
¥839预订Verifying Cyber-Physical Systems:A Path to Safe Autonomy
已售0
优惠券
¥50
去领券
去看看¥268
¥268海外直订Veracity of Big Data: Machine Learning and Other Approaches to Verifying Truthfu 大数据的准确性:机器学习和
已售0
去看看券后 ¥886
¥926海外直订Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVe 应用Pi演算和Pro
已售0
优惠券
¥40
去领券
去看看券后 ¥884
¥944【预售 按需印刷】Verifying Web-based Information
已售0
优惠券
¥60
去领券
去看看券后 ¥497
¥567[预订]Verifying Nuclear Disarmament 9780367586942
已售0
优惠券
¥70
去领券
去看看券后 ¥568
¥608按需印刷Verifying multicore software[9783659373404]
已售0
优惠券
¥40
去领券
去看看券后 ¥852
¥932[预订]Algorithms for Verifying Deep Neural Networks 9781680837865
已售0
优惠券
¥80
去领券
去看看券后 ¥543
¥553海外直订Verifying Temporal Properties of Systems 验证系统的时间属性
已售0
优惠券
¥10
去领券
去看看券后 ¥1,478
¥1,558按需印刷Algorithms for Verifying Deep Neural Networks[9781680837865]
已售0
优惠券
¥80
去领券
去看看券后 ¥460
¥470海外直订Verifying multicore software: A case study 验证多核软件:一个案例研究
已售0
优惠券
¥10
去领券
去看看券后 ¥791
¥831海外直订Testing and Verifying Web Services 测试和验证Web服务
已售0
优惠券
¥40
去领券
去看看券后 ¥925
¥965海外直订Algorithms for Verifying Deep Neural Networks 深度神经的验证算法
已售0
优惠券
¥40
去领券
去看看券后 ¥548
¥608预售 按需印刷Verifying multicore software
已售0
优惠券
¥60
去领券
去看看券后 ¥1,210
¥1,330【预售 按需印刷】Testing and Verifying Web Services
已售0
优惠券
¥120
去领券
去看看