券后 ¥271.5
¥276.5现货 验证信息物理系统 Verifying Cyber Physical Systems A Path to Safe Autonomy 英文原版 Sayan Mitra【中商原版】
已售0
优惠券
¥5
去领券
去看看券后 ¥588
¥618海外直订A Formal Methodology and Technique for Verifying Conversations in a Closed Multi 一种用于验证封闭多代理系统
已售0
优惠券
¥30
去领券
去看看券后 ¥438
¥443海外直订Verifying Greenhouse Gas Emissions: Methods to Support International Climate Agr 核查温室气体排放:支持国际
已售0
优惠券
¥5
去领券
去看看券后 ¥1,792.8
¥1,992预售 按需印刷 Verifying Nuclear Disarmament
已售0
优惠券
¥199.2
去领券
去看看券后 ¥263
¥268海外直订Veracity of Big Data: Machine Learning and Other Approaches to Verifying Truthfu 大数据的准确性:机器学习和
已售0
优惠券
¥5
去领券
去看看券后 ¥462
¥502【4周达】Verifying Cyber-Physical Systems: A Path to Safe Autonomy [9780262044806]
已售0
优惠券
¥40
去领券
去看看券后 ¥453
¥493【4周达】Creating and Verifying Data Sets with Excel [9781483331454]
已售0
优惠券
¥40
去领券
去看看券后 ¥392
¥432【4周达】Verifying Greenhouse Gas Emissions: Methods to Support International Climate Agreements [9780309152112]
已售0
优惠券
¥40
去领券
去看看券后 ¥521
¥561【4周达】Verifying Calculations - Forty Years on: An Overview of Classical Verification Techniques fo... [9783319205526]
已售0
优惠券
¥40
去领券
去看看券后 ¥1,425
¥1,625【4周达】Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System [9781785481123]
已售0
优惠券
¥200
去领券
去看看券后 ¥286
¥326【4周达】Veracity of Big Data : Machine Learning and Other Approaches to Verifying Truthfulness [9781484236321]
已售0
优惠券
¥40
去领券
去看看券后 ¥1,445
¥1,645【4周达】Recent Advances in Modeling and Forecasting Kaiyu : Tools for Predicting and Verifying the E... [9789819912407]
已售0
优惠券
¥200
去领券
去看看券后 ¥849.6
¥944【预售 按需印刷】Verifying Web-based Information
已售0
优惠券
¥94.4
去领券
去看看券后 ¥553
¥633【4周达】VERIFYING NUCLEAR DISARMAMENT (SHEA [9780367586942]
已售0
优惠券
¥80
去领券
去看看券后 ¥896
¥926海外直订Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVe 应用Pi演算和Pro
已售0
优惠券
¥30
去领券
去看看券后 ¥551
¥631【4周达】Finding The Mind: Pedagogy For Verifying [9780761855279]
已售0
优惠券
¥80
去领券
去看看券后 ¥1,737
¥1,977【4周达】Recent Advances in Modeling and Forecasting Kaiyu: Tools for Predicting and Verifying the Ef... [9789819912438]
已售0
优惠券
¥240
去领券
去看看券后 ¥1,604
¥1,844【4周达】New Analytical Approaches for Verifying the Origin of Food [9780857092748]
已售0
优惠券
¥240
去领券
去看看券后 ¥531
¥571【4周达】Verifying multicore software : A case study [9783659373404]
已售0
优惠券
¥40
去领券
去看看券后 ¥2,085
¥2,405【4周达】Verifying Treaty Compliance : Limiting Weapons of Mass Destruction and Monitoring Kyoto Prot... [9783540338536]
已售0
优惠券
¥320
去领券
去看看券后 ¥540
¥580【4周达】Verifying Concurrent Processes Using Temporal Logic [9783540112051]
已售0
优惠券
¥40
去领券
去看看券后 ¥548
¥553海外直订Verifying Temporal Properties of Systems 验证系统的时间属性
已售0
优惠券
¥5
去领券
去看看券后 ¥521
¥561【4周达】Verifying Temporal Properties of Systems [9781468468212]
已售0
优惠券
¥40
去领券
去看看券后 ¥935
¥965海外直订Algorithms for Verifying Deep Neural Networks 深度神经的验证算法
已售0
优惠券
¥30
去领券
去看看券后 ¥801
¥831海外直订Testing and Verifying Web Services 测试和验证Web服务
已售0
优惠券
¥30
去领券
去看看券后 ¥547.2
¥608预售 按需印刷Verifying multicore software
已售0
优惠券
¥60.8
去领券
去看看券后 ¥1,458
¥1,558按需印刷Algorithms for Verifying Deep Neural Networks[9781680837865]
已售0
优惠券
¥100
去领券
去看看券后 ¥1,197
¥1,330【预售 按需印刷】Testing and Verifying Web Services
已售0
优惠券
¥133
去领券
去看看券后 ¥450
¥490【预售】Creating and Verifying Data Sets with Excel
已售0
优惠券
¥40
去领券
去看看券后 ¥413
¥453【预订】Verifying Cyber-Physical Systems: A Path to Safe Autonomy
已售0
优惠券
¥40
去领券
去看看券后 ¥1,745
¥1,825预订 Recent Advances in Modeling and Forecasting Kaiyu: Tools for Predicting and Verifying the Effects of Urban Revitali
已售0
优惠券
¥80
去领券
去看看券后 ¥619
¥679[预订]Verifying Nuclear Disarmament 9780367586942
已售0
优惠券
¥60
去领券
去看看券后 ¥89
¥99预订 All About Youtube From Start To End: Guide How To Earn More Than $1000 A Month From Youtube: Verifying Your Youtube
已售0
优惠券
¥10
去领券
去看看券后 ¥921
¥1,001[预订]Algorithms for Verifying Deep Neural Networks 9781680837865
已售0
优惠券
¥80
去领券
去看看券后 ¥936
¥1,056【4周达】Modeling and Verifying Security Protocols with the Applied Pi Calculus and Proverif [9781680832068]
已售0
优惠券
¥120
去领券
去看看券后 ¥1,000
¥1,120【4周达】Algorithms for Verifying Deep Neural Networks [9781680837865]
已售0
优惠券
¥120
去领券
去看看