100 元券ConversationsMethodologyTechniqueVerifying¥5180去看看中华商务图书专营店发布了海外直订A Formal Methodology and Technique for Verifying Conversations in a Closed Multi 一种用于验证封闭多代理系统100 元券VerifyingWebServices验证¥7310去看看中华商务图书专营店发布了海外直订Testing and Verifying Web Services 测试和验证Web服务60 元券预售PropertiesVerifyingTemporal¥4410去看看中国国际图书专营店发布了【预售】Verifying Temporal Properties of Systems60 元券CalculationsVerifying预订Years¥4680去看看中国国际图书专营店发布了【预订】Verifying Calculations - Forty Years On100 元券演算ProtocolsVerifyingModeling¥8260去看看中华商务图书专营店发布了海外直订Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVe 应用Pi演算和Pro60 元券9780367586942DisarmamentVerifying预订¥5070去看看中国国际图书专营店发布了[预订]Verifying Nuclear Disarmament 9780367586942100 元券算法AlgorithmsVerifying深度¥8650去看看中华商务图书专营店发布了海外直订Algorithms for Verifying Deep Neural Networks 深度神经的验证算法60 元券预售multicoreVerifyingsoftware¥5480去看看中图数字图书专营店发布了预售 按需印刷Verifying multicore software120 元券预售VerifyingServices印刷¥12100去看看中图数字图书专营店发布了【预售 按需印刷】Testing and Verifying Web Services40 元券Verifying预订AutonomyPhysical¥4130去看看中国国际图书专营店发布了【预订】Verifying Cyber-Physical Systems: A Path to Safe Autonomy80 元券9781680837865AlgorithmsVerifying预订¥8520去看看中国国际图书专营店发布了[预订]Algorithms for Verifying Deep Neural Networks 978168083786540 元券多核multicoreVerifyingsoftware¥4300去看看中华商务图书专营店发布了海外直订Verifying multicore software: A case study 验证多核软件:一个案例研究20 元券预售VerifyingCreatingExcel¥2210去看看中国国际图书专营店发布了【预售】Creating and Verifying Data Sets with Excel40 元券PropertiesVerifyingTemporal属性¥5130去看看中华商务图书专营店发布了海外直订Verifying Temporal Properties of Systems 验证系统的时间属性40 元券9783659373404multicoreVerifyingsoftware¥5680去看看上海外文图书音像专营店发布了按需印刷Verifying multicore software[9783659373404]60 元券预售InformationVerifying印刷¥8840去看看中图数字图书专营店发布了【预售 按需印刷】Verifying Web-based Information120 元券预售DisarmamentVerifying印刷¥18720去看看中图数字图书专营店发布了预售 按需印刷 Verifying Nuclear Disarmament100 元券预售ApproachesAnalyticalVerifying¥16570去看看中国国际图书专营店发布了【预售】New Analytical Approaches for Verifying the Origin80 元券9781680837865AlgorithmsVerifyingNetworks¥14780去看看上海外文图书音像专营店发布了按需印刷Algorithms for Verifying Deep Neural Networks[9781680837865]25 元券9780761855279VerifyingPedagogyFinding¥4880去看看澜瑞图书专营店发布了【4周达】Finding The Mind: Pedagogy For Verifying [9780761855279]15 元券9781484236321TruthfulnessApproachesVerifying¥2980去看看澜瑞图书专营店发布了【4周达】Veracity of Big Data : Machine Learning and Other Approaches to Verifying Truthfulness [9781484236321]40 元券Verifying预订AutonomyPhysical¥7990去看看上海外文图书音像专营店发布了预订Verifying Cyber-Physical Systems:A Path to Safe Autonomy25 元券9781468468212PropertiesVerifyingTemporal¥5120去看看澜瑞图书专营店发布了【4周达】Verifying Temporal Properties of Systems [9781468468212]25 元券9783319205526VerificationCalculationsTechniques¥5290去看看澜瑞图书专营店发布了【4周达】Verifying Calculations - Forty Years on: An Overview of Classical Verification Techniques fo... [9783319205526]25 元券9783540112051ConcurrentProcessesVerifying¥5310去看看澜瑞图书专营店发布了【4周达】Verifying Concurrent Processes Using Temporal Logic [9783540112051]25 元券9783659373404multicoreVerifyingsoftware¥5460去看看澜瑞图书专营店发布了【4周达】Verifying multicore software : A case study [9783659373404]20 元券9781483331454VerifyingCreatingExcel¥4410去看看澜瑞图书专营店发布了【4周达】Creating and Verifying Data Sets with Excel [9781483331454]20 元券International9780309152112AgreementsGreenhouse¥4500去看看澜瑞图书专营店发布了【4周达】Verifying Greenhouse Gas Emissions: Methods to Support International Climate Agreements [9780309152112]20 元券9780262044806VerifyingPhysicalAutonomy¥4610去看看澜瑞图书专营店发布了【4周达】Verifying Cyber-Physical Systems: A Path to Safe Autonomy [9780262044806]25 元券9780367586942DISARMAMENTVERIFYINGNUCLEAR¥5820去看看澜瑞图书专营店发布了【4周达】VERIFYING NUCLEAR DISARMAMENT (SHEA [9780367586942]25 元券9781680832068VerifyingProtocolsModeling¥8760去看看澜瑞图书专营店发布了【4周达】Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif [9781680832068]25 元券9781680837865AlgorithmsVerifyingNetworks¥9170去看看澜瑞图书专营店发布了【4周达】Algorithms for Verifying Deep Neural Networks [9781680837865]25 元券9781785481123AlgorithmsArithmeticVerifying¥15330去看看澜瑞图书专营店发布了【4周达】Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System [9781785481123]25 元券9789819912407ForecastingPredictingVerifying¥16130去看看澜瑞图书专营店发布了【4周达】Recent Advances in Modeling and Forecasting Kaiyu : Tools for Predicting and Verifying the E... [9789819912407]25 元券9780857092748AnalyticalApproachesVerifying¥18190去看看澜瑞图书专营店发布了【4周达】New Analytical Approaches for Verifying the Origin of Food [9780857092748]25 元券9783540338536DestructionMonitoringCompliance¥23800去看看澜瑞图书专营店发布了【4周达】Verifying Treaty Compliance : Limiting Weapons of Mass Destruction and Monitoring Kyoto Prot... [9783540338536]原版中商理系统英文¥276.50去看看中华商务图书专营店发布了现货 验证信息物理系统 Verifying Cyber Physical Systems A Path to Safe Autonomy 英文原版 Sayan Mitra【中商原版】