【预订】Computer Aided Verification 9783030532871 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030532871 Author 作者 Lahiri Format 版本 平装-胶订 Pages Number 页数 669页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-07-16 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.3 cm Shipping Weight 商品重量 2090g Language 语种 其它（含多语） Book Contents 内容简介 The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: m

¥437.00

中国进口图书旗舰店

Lahiri /2020-07-16 /Springer Berlin Heidelberg

【3-6周达】Mathematics of Finance:An Intuitive Introduction (Und 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Donald G. Saari /2019-09-11 /Springer

按需印刷Child Psychotherapy 预订，预计下单后4-6周左右发货

¥424.00

上海外文书店旗舰店

Adler-Tapia, Robbie /2012-06-30 /Springer Publishing Co Inc

【预售 按需印刷】Interpersonal Social Work Skills for Comm

¥434.35

中图图书旗舰店

Donna PhD Hardina /2012-07-01 /Springer Publishing

预订 The Ocean of Today, the Legacy of Tomorrow: Navigating th 国外库房发货，通常付款后3-5周到货

¥416.00

中国进口图书旗舰店

Albert Calbet /2025-04-01 /Springer Berlin Heidelberg

【预订】Understanding the Generality of Mathematical Statements 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783658437626 Author 作者 Milena Damrau Format 版本 平装-胶订 Pages Number 页数 207页 Publisher 出版社 Springer Spektrum Publication Date 出版日期 2024-02-20 Language 语种 其它（含多语） Book Contents 内容简介 Milena Damrau investigates the understanding of generality of mathematical statements in first-year university students and its relation to other proof-related activities. Through an experimental study, she particularly analyses the effect of different types of arguments (empirical, generic, and ordinary proofs) and statements (familiar and unfamiliar, as well as true and false ones) on several proof-related activities. The results reveal students’ struggles with the concept of generality, how their understanding of generality is related to proof reading and construction and how different types of arguments and statements impact students’ performance

¥437.00

中国进口图书旗舰店

Milena Damrau /2024-02-20 /Springer Spektrum

【预订】Computer Aided Verification: 34th International Conferen 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031131875 Format 版本 平装-胶订 Pages Number 页数 549页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.16 Shipping Weight 商品重量 1.74 Language 语种 其它（含多语）

¥437.00

中国进口图书旗舰店

暂无作者信息 /Springer

【预订】Algebraic Graph Algorithms 9783030878856 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030878856 Author 作者 K. Erciyes Format 版本 平装-胶订 Pages Number 页数 226页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-20 Language 语种 其它（含多语） Book Contents 内容简介 This textbook discusses the design and implementation of basic algebraic graph algorithms, and algebraic graph algorithms for complex networks, employing matroids whenever possible. The text describes the design of a simple parallel matrix algorithm kernel that can be used for parallel processing of algebraic graph algorithms. Example code is presented in pseudocode, together with case studies coded in MATLAB, pMATLAB, and MPI. The text assumes readers have a background in graph theory and/or graph algorithms.

¥416.00

中国进口图书旗舰店

K. Erciyes /2021-12-20 /Springer Berlin Heidelberg

预订 Spinning the Cosmos: Volvelles in the Early Modern Commen 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

Citron, Alica-Nana(作者) /2025-07-08 /Springer

【3-6周达】Neuromedia: Art and Neuroscience Research [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

2012-07-07 /Springer

【3-6周达】Discrete Mathematical Models in Population Biology [I 【全球购】进口原版图书，一般3-6周左右到国内

¥437.00

书之源外文图书

2025-01-04 /Springer

【3-6周达】Using Medicine in Science Fiction: The SF Writer's Gu 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Stratmann, H. G. /2015-09-23 /Springer

【3-6周达】Surveying the Skies [ISBN:9783319285085] 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

2016-06-27 /Springer International Publishing

【3-6周达】Phrase Mining from Massive Text and Its Applications 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

2017-03-30 /Springer International Publishing

预订 高被引Trauma and Combat Critical Care in Clinical Practice [ 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥435.00

书之源外文图书

Hutchings, Sam D. /2016-11-02 /Springer

【3-6周达】高被引Procedures to Investigate Waterborne Illness [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

International Association for Food Prote /2016-07-20 /Springer

【3-6周达】Wavelets and Singular Integrals on Curves and Surface 【全球购】进口原版图书，一般3-6周左右到国内

¥437.00

书之源外文图书

David,Guy /1992-07-10 /Springer

【3-6周达】Multi-Objective Decision Making [ISBN:9783031004483] 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Zhou, Diederik M., Hamilton, Shimon /2017-04-20 /Springer

【3-6周达】Twenty-Five Astronomical Observations That Changed th 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

2013-06-28 /Springer New York

【3-6周达】Inventing a European Nation [ISBN:9783031010019] 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Maria Paula Diogo; Tiago Saraiva /2020-10-05 /Springer International Publishing

【3-6周达】Forest Therapy - The Potential of the Forest for Your 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

1条评论

Schuh, Angela ; Immich, Gisela /2022-03-21 /Springer

【3-6周达】An Introduction to Laplacian Spectral Distances and K 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Patan?, Giuseppe /2017-07-05 /Springer

【3-6周达】Controlling Energy Demand in Mobile Computing Systems 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

2007-12-31 /Springer International Publishing

【预订】Travels with Curiosity 9783030538040 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030538040 Author 作者 Byrne Format 版本 精装 Pages Number 页数 198页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-12-10 Language 语种 英语 Book Contents 内容简介 The Mars Curiosity Rover is the most sophisticated mobile laboratory ever deployed on a planet. For over seven years, scores of investigators have planned its daily route and activities, poring over the overwhelming images and data and revising our understanding of planetary surfaces, geology, and potential habitability.This book takes readers right down to the surface of Mars, chronicling Curiosity’s physical and scientific journey across the planet’s Earth-like, yet strikingly alien vistas. Through dozens of images and de*ive accounts of the surface, you will gain a deeper knowledge of the Martian landscape, from the floor of Gale Crater up to the cliffs of Mount Sharp.

¥412.00

中国进口图书旗舰店

Byrne /2020-12-10 /Springer Berlin Heidelberg

【预订】Methods for Analysing and Reporting EQ-5D Data 978303047 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030476243 Author 作者 Devlin Nancy Format 版本 平装-胶订 Pages Number 页数 102页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-09-18 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.2 cm Shipping Weight 商品重量 390g Language 语种 英语 Book Contents 内容简介 This open access book is the first published guide about how to analyse data produced by the EQ-5D, one of the most widely used Patient Reported Outcomes questionnaires world wide. The authors provide practical, clear and comprehensive guidance in five concise chapters. Following an overview of the EQ-5D and its analysis, we describe how the questionnaire data – the EQ-5D profile and EQ VAS – can be analysed in different ways to generate important insights into peoples’ health. We then show how the value sets which accompany the EQ-5D can be applied to summari

¥437.00

中国进口图书旗舰店

Devlin Nancy /2020-09-18 /Springer Berlin Heidelberg

【3-6周达】Singular Modular Forms and Theta Relations [ISBN:9783 【全球购】进口原版图书，一般3-6周左右到国内

¥437.00

书之源外文图书

Freitag, Eberhard /1991-10-23 /Springer

【3-6周达】Semantics Empowered Web 3.0 [ISBN:9783031007668] 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Sheth, Amit, Thirunarayan, Krishnaprasad /2012-12-12 /Springer

【3-6周达】Reinforcement Learning-Enabled Intelligent Energy Man 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Teng Liu /2019-09-03 /Springer International Publishing

【3-6周达】Astronomy’s Quest for Sharp Images: From Blurred Pict 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Pierre Léna /2020-12-01 /Springer

【3-6周达】Statistical Language Models for Information Retrieval 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Zhai, Chengxiang /2008-12-05 /Springer

【3-6周达】The Future Is Digital: How Complexity and Artificial 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

2023-10-31 /Springer

预订 Enterprise Security: Compliance V. Competence [ISBN:97803 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥423.00

书之源外文图书

Nair, Suku /2011-12-20 /Springer

【3-6周达】Astronomy in Depth [ISBN:9781852335809] 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

North, Gerald /2002-10-31 /Springer

【3-6周达】Data Association for Multi-Object Visual Tracking [IS 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Betke, Margrit, Wu, Zheng /2016-10-11 /Springer

【3-6周达】Support in Times of No Support [ISBN:9783658386368] 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Wolfgang Frindte; Ina Frindte /2023-01-02 /Springer Fachmedien Wiesbaden

【3-6周达】Top 50 Grammar Mistakes: How to Avoid Them [ISBN:9783 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

2018-02-01 /Springer

【3-6周达】Probabilistic Databases [ISBN:9783031007514] 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Suciu, Dan, Olteanu, Dan, Re, Christophe /2011-06-01 /Springer

【预订】The Taxobook [ISBN:9783031011597] 【全球购】进口原版图书，一般8-10周左右到国内

¥417.00

书之源外文图书

Marjorie Hlava /2014-10-22 /Springer International Publishing

【3-6周达】Contextual Analysis of Videos [ISBN:9783031011214] 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

2013-08-14 /Springer International Publishing

海外直订Humans in Space: The Psychological Hurdles 人类在太空:心理障碍

¥419.00

中华商务进口图书旗舰店

Kanas, Nick /2015-06-24 /Springer

海外直订Challenge of World Theatre History 世界戏剧史挑战

¥433.00

中华商务进口图书旗舰店

Tillis, Steve /2021-09-19 /Springer Nature Switzerland AG

【中商原版】电池技术速成班 英文原版 Battery Technology Crash Course Slobodan

¥430.00

中华商务进口图书旗舰店

Slobodan Petrovic /2020-10-30 /Springer

【预订】Tools and Algorithms for the Construction and Analysis o 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030720124 Format 版本 平装-胶订 Pages Number 页数 465页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1490g Language 语种 英语 Book Contents 内容简介 This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo pa

¥437.00

中国进口图书旗舰店

暂无作者信息 /2021-03-23 /Springer Berlin Heidelberg

预订 Recoverable Mutual Exclusion 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

Dhoked, Sahil;Golab, Wojciech;Mittal, Ne /2024-04-19 /Springer Berlin Heid

预订 Creative Puzzles to Ignite Your Mind 国外库房发货，通常付款后3-5周到货

¥416.00

中国进口图书旗舰店

Shyam Sunder Gupta /2024-03-25 /Springer Berlin Heid

预订 Six Sigma for Continuous Improvement in Cybersecurity: A 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

Emre Tokgoz /2025-07-09 /Springer Berlin Heidelberg

【预订】Participative Urban Health and Healthy Aging in the Age 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031095924 Author 作者 Aloulou Format 版本 平装-胶订 Pages Number 页数 299页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-07-17 Language 语种 其它（含多语） Book Contents 内容简介 This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022.The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI for health, smart urban environments, assistive technologies, chronic disease management, and coaching and health telematics systems.

¥437.00

中国进口图书旗舰店

Aloulou /2022-07-17 /Springer Berlin Heidelberg

预订 Dynamic Graph Learning for Dimension Reduction and Data C 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

Lei Zhu /2024-09-23 /Springer Berlin Heidelberg

【3-6周达】Deep Learning for Autonomous Vehicle Control [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Sampo Kuutti; Saber Fallah; Richard Bowd /2019-08-08 /Springer International Publishing

【3-6周达】Fundamentals of Object Databases [ISBN:9783031007163] 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Dietrich, Suzanne, Urban, Susan /2010-12-29 /Springer

【3-6周达】Scattering Analysis of Periodic Structures using Fini 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Elmahgoub, Khaled, Yang, Fan, Elsherbeni /2012-05-23 /Springer

【3-6周达】Exploitation of a Ship's Magnetic Field Signatures [I 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

2007-12-31 /Springer International Publishing

【3-6周达】Processing of Seismic Reflection Data Using MATLAB [I 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Wail A. Mousa; Abdullatif A. Al-Shuhail /2011-09-14 /Springer International Publishing

【3-6周达】Telecommunication 4.0: Reinvention of the Communicati 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Li, Zhengmao /2000-01-01 /Springer

【3-6周达】Navigating the Product Galaxy [ISBN:9798868811470] 【全球购】进口原版图书，一般3-6周左右到国内

¥437.00

书之源外文图书

2025-02-28 /Springer

【3-6周达】MATLAB(R) Software for the Code Excited Linear Predic 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Ramamurthy, Karthikeyan, Spanias, Andrea /2010-03-04 /Springer

【3-6周达】Sequential Monte Carlo Methods for Nonlinear Discrete 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Marcelo G. S. Bruno; Marcelo G.S. /2013-01-28 /Springer International Publishing

【3-6周达】Artificial Satellites and How to Observe Them [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Schmude Jr, Richard /2012-07-05 /Springer

【3-6周达】Orthomorphism Graphs of Groups [ISBN:9783540563518] 【全球购】进口原版图书，一般3-6周左右到国内

¥437.00

书之源外文图书

Evans,Anthony B /1993-01-01 /Springer

【3-6周达】Phonocardiography Signal Processing [ISBN:97830310050 【全球购】进口原版图书，一般3-6周左右到国内

¥417.00

书之源外文图书

Abbas, Abbas K., Bassam, Rasha /2009-04-10 /Springer