34 元券预售VerifyingCreatingExcel￥4560去看看中国国际图书专营店发布了【预售】Creating and Verifying Data Sets with Excel160 元券预售AnalyticalApproachesVerifying￥20260去看看中国国际图书专营店发布了【预售】New Analytical Approaches for Verifying the Origin80 元券9781680837865AlgorithmsVerifying预订￥10210去看看中国国际图书专营店发布了[预订]Algorithms for Verifying Deep Neural Networks 978168083786534 元券CalculationsVerifying预订Forty￥5140去看看中国国际图书专营店发布了【预订】Verifying Calculations - Forty Years On34 元券预售PropertiesVerifyingTemporal￥5140去看看中国国际图书专营店发布了【预售】Verifying Temporal Properties of Systems80 元券9781680832068VerifyingProtocols预订￥12340去看看中国国际图书专营店发布了预订 Modeling and Verifying Security Protocols with the Applied Pi Calculus and Proverif: 978168083206834 元券9780367586942DisarmamentVerifying预订￥6450去看看中国国际图书专营店发布了[预订]Verifying Nuclear Disarmament 978036758694280 元券ForecastingPredictingVerifying预订￥15630去看看中国国际图书专营店发布了预订 Recent Advances in Modeling and Forecasting Kaiyu: Tools for Predicting and Verifying the Effects of Urban Revitali30 元券VerifyingWebServices验证￥8920去看看中华商务图书专营店发布了海外直订Testing and Verifying Web Services 测试和验证Web服务10 元券原版中商理系统英文￥3370去看看中华商务图书专营店发布了现货 验证信息物理系统 Verifying Cyber Physical Systems A Path to Safe Autonomy 英文原版 Sayan Mitra【中商原版】10 元券PropertiesVerifyingTemporal属性￥5430去看看中华商务图书专营店发布了海外直订Verifying Temporal Properties of Systems 验证系统的时间属性43 元券9781484236321TruthfulnessApproachesVerifying￥3080去看看澜瑞图书专营店发布了【3-4周达】Veracity of Big Data : Machine Learning and Other Approaches to Verifying Truthfulness [9781484236321]70 元券9780262044806VerifyingPhysicalAutonomy￥5060去看看澜瑞图书专营店发布了【3-4周达】Verifying Cyber-Physical Systems: A Path to Safe Autonomy [9780262044806]71 元券9780309152112InternationalGreenhouseAgreements￥5150去看看澜瑞图书专营店发布了【3-4周达】Verifying Greenhouse Gas Emissions: Methods to Support International Climate Agreements [9780309152112]77 元券9783540112051ConcurrentVerifyingProcesses￥5600去看看澜瑞图书专营店发布了【3-4周达】Verifying Concurrent Processes Using Temporal Logic [9783540112051]72 元券9780761855279Verifying预订Pedagogy￥5250去看看澜瑞图书专营店发布了预订 Finding The Mind: Pedagogy For Verifying [9780761855279]87 元券9780367586942DISARMAMENTVERIFYINGNUCLEAR￥6350去看看澜瑞图书专营店发布了【3-4周达】VERIFYING NUCLEAR DISARMAMENT (SHEA [9780367586942]220 元券9789819912438ForecastingPredictingVerifying￥16070去看看澜瑞图书专营店发布了【3-4周达】Recent Advances in Modeling and Forecasting Kaiyu: Tools for Predicting and Verifying the ... [9789819912438]36 元券ApproachesVerifyingVeracityLearning￥2630去看看中华商务图书专营店发布了海外直订Veracity of Big Data: Machine Learning and Other Approaches to Verifying Truthfu 大数据的准确性:机器学习和72 元券9783319205526CalculationsVerificationTechniques￥5260去看看澜瑞图书专营店发布了【3-4周达】Verifying Calculations - Forty Years on: An Overview of Classical Verification Techniques ... [9783319205526]72 元券9783659373404Verifyingmulticore预订￥5260去看看澜瑞图书专营店发布了预订 Verifying multicore software : A case study [9783659373404]72 元券9781468468212PropertiesVerifyingTemporal￥5260去看看澜瑞图书专营店发布了【3-4周达】Verifying Temporal Properties of Systems [9781468468212]292 元券9783642070389DestructionComplianceMonitoring￥21350去看看澜瑞图书专营店发布了【3-4周达】Verifying Treaty Compliance: Limiting Weapons of Mass Destruction and Monitoring Kyoto Pro... [9783642070389]295 元券9783540338536DestructionComplianceMonitoring￥21580去看看澜瑞图书专营店发布了【3-4周达】Verifying Treaty Compliance : Limiting Weapons of Mass Destruction and Monitoring Kyoto Pr... [9783540338536]204 元券9781785481123AlgorithmsArithmeticVerifying￥14940去看看澜瑞图书专营店发布了【3-4周达】Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq Sy... [9781785481123]216 元券9789819912407ForecastingPredictingVerifying￥15820去看看澜瑞图书专营店发布了【3-4周达】Recent Advances in Modeling and Forecasting Kaiyu : Tools for Predicting and Verifying the... [9789819912407]216 元券9780857092748AnalyticalApproachesVerifying￥15820去看看澜瑞图书专营店发布了【3-4周达】New Analytical Approaches for Verifying the Origin of Food [9780857092748]66 元券9781483331454VerifyingCreatingExcel￥4840去看看澜瑞图书专营店发布了【3-4周达】Creating and Verifying Data Sets with Excel [9781483331454]
![[预订]Algorithms for Verifying Deep Neural Networks 9781680837865](https://img.alicdn.com/bao/uploaded/i1/454266620/O1CN01WsCOiC1ym0pnGy1WK_!!0-item_pic.jpg_280x380xz.jpg)
![[预订]Verifying Nuclear Disarmament 9780367586942](https://img.alicdn.com/bao/uploaded/i4/454266620/O1CN01byAvnN1ym0rvjaxVx_!!0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Veracity of Big Data : Machine Learning and Other Approaches to Verifying Truthfulness [9781484236321]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN015CzZHD28LaMYoHHs4_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Verifying Cyber-Physical Systems: A Path to Safe Autonomy [9780262044806]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01YwV5ZN28LaLwjQje1_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Verifying Greenhouse Gas Emissions: Methods to Support International Climate Agreements [9780309152112]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01aBhqw828LaN5FSOtp_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Verifying Concurrent Processes Using Temporal Logic [9783540112051]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01ynt8q128LaMmKq5r1_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![预订 Finding The Mind: Pedagogy For Verifying [9780761855279]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01DUivhO28LaM4PjwNj_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】VERIFYING NUCLEAR DISARMAMENT (SHEA [9780367586942]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01ZatC7228LaM1WfLqk_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Recent Advances in Modeling and Forecasting Kaiyu: Tools for Predicting and Verifying the ... [9789819912438]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01gtNq8x28LaMnUdBZB_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Verifying Calculations - Forty Years on: An Overview of Classical Verification Techniques ... [9783319205526]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01FxjFqO28LaMfKHeaE_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![预订 Verifying multicore software : A case study [9783659373404]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01M8LxS228LaMkp5BWi_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Verifying Temporal Properties of Systems [9781468468212]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01vKY31D28LaMYYHi77_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Verifying Treaty Compliance: Limiting Weapons of Mass Destruction and Monitoring Kyoto Pro... [9783642070389]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01Xh3YHB28LaM5YSCvi_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Verifying Treaty Compliance : Limiting Weapons of Mass Destruction and Monitoring Kyoto Pr... [9783540338536]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01HXhxA028LaMlLIjEE_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq Sy... [9781785481123]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01JPq2In28LaMc0koPD_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Recent Advances in Modeling and Forecasting Kaiyu : Tools for Predicting and Verifying the... [9789819912407]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01uDBTj328LaMnptAnf_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】New Analytical Approaches for Verifying the Origin of Food [9780857092748]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01CXCfQc28LaM4qD1AW_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Creating and Verifying Data Sets with Excel [9781483331454]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01d2GYig28LaMU9xL9R_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)