【3-6周达】Novel Methods for Near Lossless Compression for Medic 【全球购】进口原版图书，一般3-6周左右到国内

¥810.00

书之源外文图书

Chitra, P.; Mary Shanthi Rani, M. /2023-03-07 /LAP Lambert Academic Publishing

海外直订Novel Methods in Molecular and Cellular Biochemistry of

¥3976

中华商务进口图书旗舰店

Pierce, Grant N. /2012-10-10 /Springer

海外直订New Methods of Computing Radial Distribution Functions o

¥1203.95

中华商务进口图书旗舰店

Lado, Fred /2019-12-07 /Dissertation Discovery Company

【预订】Formal Methods: Foundations and Applications 97830300304 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030030438 Author 作者 Massoni Format 版本 平装-胶订 Pages Number 页数 271页 Publication Date 出版日期 2018-10-24 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 21st BrazilianSymposium on Formal Methods, SBMF 2018, which took place in Salvador,Brazil, in November 2018.The 16 regular papers presented in this book were carefullyreviewed and selected from 30 submissions. The papers are organized in topical sections such as:techniques and methodologies; specification and modeling languages; theoretical foundations;verification and validation; experience reports regarding teaching formal methods; and applications.Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

¥635.00

中国进口图书旗舰店

Massoni /2018-10-24 /暂无出版社信息

【预订】Silac: Methods and Protocols 9781071628652 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781071628652 Format 版本 平装-胶订 Pages Number 页数 286页 Publisher 出版社 Humana Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 10.00 x 7.00 x 0.63 Shipping Weight 商品重量 1.15磅 Language 语种 其它（含多语）

¥1424

中国进口图书旗舰店

暂无作者信息 /Humana

预订 【】Conformal Methods in General Relativity 9781009291330 国外库房发货, 通常付款后12-16周到货

Product Details 基本信息 ISBN-13 书号 9781009291330 Author 作者 Juan A. Valiente Kroon Format 版本 平装-胶订 Pages Number 页数 622页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-02-01 Product Dimensions 商品尺寸 244x170mm Language 语种 其它（含多语） Book Contents 内容简介 This book offers a systematic exposition of conformal methods and how they can be used to study the global properties of solutions to the equations of Einstein’s theory of gravity. It shows that combining these ideas with differential geometry can elucidate the existence and stability of the basic solutions of the theory. Introducing the differential geometric, spinorial and PDE background required to gain a deep understanding of conformal methods, this text provides an accessible account of key results in mathematical relativity over the last thirty years, including the stability of de S

¥673.00

中国进口图书旗舰店

Juan A. Valiente Kroon /2023-02-01 /Cambridge University Press

【3-6周达】Visual Methods in Social Research [ISBN:9781446269756 【全球购】进口原版图书，预计3-6周左右到国内

¥669.00

书之源外文图书

Banks,Marcus;Zeitlyn,David /2015-06-18 /Sage Publications Ltd

预订 Models, Methods and Applications of Econometrics 97815578 国外库房发货，通常付款后3-5周到货

¥1010

中国进口图书旗舰店

1993-03-04 /Wiley-Blackwell

预订 Various Methods for the Analysis of PDEs 偏微分方程分析的各种方法 978 国外库房发货，通常付款后3-5周到货

¥2298

中国进口图书旗舰店

2026-01-21 /Springer Berlin Heidelberg

【3-6周达】Formal Methods for Autonomous Systems [ISBN:978163828 【全球购】进口原版图书，一般3-6周左右到国内

¥1214

书之源外文图书

Wongpiromsarn,Tichakorn,Ghasemi,Mahsa,Cu /2023-09-21 /Now Publishers

3-6周达 New Methods, Reflections and Application Domains in Tr 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥2019

书之源外文图书

Mouter, Niek /2021-04-14 /Academic Press

海外直订医药图书Methods in Epidemiology: Population Size Estimation

¥1739

中华商务进口图书旗舰店

Rutherford, George /2021-08-02 /Springer

湿地生物地球化学方法 Methods In Biogeochemistry Of Wetlands 英文原版 R DeL 农业科学RDeLaune

¥2074

中华商务进口图书旗舰店

R DeLaune /2020-01-21 /Acsess

海外直订Soft Methods for Data Science 数据科学的软方法

¥2651

中华商务进口图书旗舰店

Ferraro, Maria Brigida /2016-07-29 /Springer

【3-6周达】Formal Methods for Industrial Critical Systems: 26th 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Lluch Lafuente, Alberto ; Mavridou, Anas /2021-09-29 /Springer

【3-6周达】PCR: Methods and Protocols [ISBN:9781493983810] 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Domingues Lucilia /2018-08-08 /Springer

预订 Modern Methods of Street Cleaning [ISBN:9785518634541] 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥498.00

书之源外文图书

Soper,George A. /2013-06-30 /Book on Demand Ltd.

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

¥626.00

书之源外文图书

Catherine Dubois; Pierluigi San Pietro /2023-02-21 /Springer Nature Switzerland

预订 Formal Methods in Computer Science [ISBN:9780367225704] 【全球购】进口原版图书，一般5-8周左右到国内

¥2249

书之源外文图书

Wang, Jiacun /2019-06-25 /CRC Press

【3-6周达】Formal Methods for Industrial Critical Systems: 19th 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Lang, Frederic /2014-08-20 /Springer

【预订】Modelling Methods For Energy In Buildings 美国库房发货，通常付款后3-5周到货！

¥2043

中国进口图书旗舰店

Chris Underwood,Francis W.H. Yik /1988-08-08 /Blackwell Science Ltd

【3-6周达】Formal Methods for Computational Systems Biology: 8th 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

2008-08-01 /Springer

【3-6周达】Agile Methods: 7th Brazilian Workshop, Wbma 2016, Cur 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Silva Da Silva, Tiago; Estácio, Bernardo /2017-03-24 /Springer

【3-6周达】New Methods and Applications in Multiple Attribute De 【全球购】进口原版图书，一般3-6周左右到国内

¥1202

书之源外文图书

Alinezhad, Alireza; Khalili, Javad /2019-09-03 /Springer

【3-6周达】Formal Methods: Foundations and Applications: 19th Br 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Ribeiro, Leila /2016-11-13 /Springer

海外直订The Methods and Uses of Anthropological Demography (Isd)

¥3709

中华商务进口图书旗舰店

Basu, Alaka Malwade /1998-12-02 /Clarendon Press

海外直订Direct Methods for Limit State of Materials and Structur

¥1872

中华商务进口图书旗舰店

Garcea, Giovanni /2023-08-23 /Springer

海外直订Lie Methods in Optics II: Proceedings of the Second Work

¥662.00

中华商务进口图书旗舰店

Wolf, Kurt B. /2014-08-22 /Springer

海外直订Simple Methods to Study Pedology and Edaphology of India

¥1233

中华商务进口图书旗舰店

Pal, D. K. /2018-06-04 /Springer

【预订】Formal Methods for the Design of Real-Time Systems [ISBN 【全球购】进口原版图书，约10-12周到达国内后发出

¥565.00

书之源外文图书

2004-09-01 /Springer Berlin Heidelberg

【预订】Algebraic Methods in Quantum Chemistry and Physics 美国库房发货，通常付款后3-5周到货！

¥7030

中国进口图书旗舰店

F.M. Fernandez,E.A.Castro /1988-08-08 /CRC Press Inc

【预订】Emerging Methods, Technologies, And Process 美国库房发货，通常付款后3-5周到货！

¥1703

中国进口图书旗舰店

Andrea De Lucia /1988-08-08 /Wiley-IEEE ComputerSociety Pr

【预订】Asymptotic Methods in Resonance Analytical Dynamics 美国库房发货，通常付款后3-5周到货！

¥1722

中国进口图书旗舰店

Y. Ryabov,Y.Mitropolskii,E. Grebenikov /1988-08-08 /Taylor FrancisLtd

【预订】Formal Methods Teaching 9783031275333 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031275333 Author 作者 Catherine Dubois Format 版本 平装-胶订 Pages Number 页数 107页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-21 Language 语种 其它（含多语）

¥603.00

中国进口图书旗舰店

Catherine Dubois /2023-03-21 /Springer Berlin Heidelberg

【预订】Research Methods for Engineers 国外库房发货, 通常付款后12-16周到货

¥502.00

中国进口图书旗舰店

Thiel, David V. /1988-08-08 /Cambridge University Press

海外直订Formal Methods and Software Engineering: 7th Internation

¥662.00

中华商务进口图书旗舰店

Lau, Kung-Kiu /2005-11-30 /Springer

【预售 按需印刷】Aims and Methods of Vegetation Ecology 北京发货，付款后10天内发货

¥993.00

中图图书旗舰店

Dieter Mueller-Dombois /2003-07-01 /The Blackburn Press

海外直订Soft Methods in Probability, Statistics and Data Analysi

¥662.00

中华商务进口图书旗舰店

Grzegorzewski, Przemyslaw /2002-09-03 /Physica-Verlag

海外直订P-Adic Methods and Their Applications p-adic方法及其应用

¥1545

中华商务进口图书旗舰店

Baker, Andrew J. /1992-03-18 /Clarendon Press

海外直订医药图书Methods in Mammary Gland Biology and Breast Cancer R

¥2407

中华商务进口图书旗舰店

Ip, Margot M. /2012-10-12 /Springer

海外直订Formal Methods and Models for System Design: A System Le

¥2120

中华商务进口图书旗舰店

Gupta, Rajesh /2004-09-30 /Springer

【预订】Mixed Methods for Psychological Measurement: Using Criti 【全球购】进口原版图书，约10-12周到达国内后发出

¥643.00

书之源外文图书

Feldon, David F. /2025-12-26 /Routledge

海外直订Formal Methods for Industrial Critical Systems: 16th Int

¥662.00

中华商务进口图书旗舰店

Salaün, Gwen /2011-09-18 /Springer

海外直订New Methods in Quantum Theory 量子理论的新方法

¥1325

中华商务进口图书旗舰店

Tsipis, C. a. /2011-09-25 /Springer

【预订】Iterative Methods for Toeplitz Systems 9780198504207 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780198504207 Author 作者 Ng Format 版本 精装 Pages Number 页数 368页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2004-10-14 Shipping Weight 商品重量 702g Language 语种 英语 Book Contents 内容简介 Toeplitz and Toeplitz-related systems arise in a variety of applications in mathematics and engineering, especially in signal and image processing. This book deals primarily with iterative methods for solving Toeplitz and Toeplitz-related linear systems, discussing both the algorithms and their convergence theories. A basic knowledge of real analysis, elementary numerical analysis and linear algebra is assumed.

¥2518

中国进口图书旗舰店

Ng /2004-10-14 /Oxford University Press

【3-6周达】Maize: Methods and Protocols [ISBN:9781493973149 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Lagrimini L. Mark /2017-10-07 /Humana

【3-6周达】Methods for Uncertainty Evaluation in Measurement [IS 【全球购】进口原版图书，一般3-6周左右到国内

¥782.00

书之源外文图书

Genta,Gianfranco /2010-08-23 /VDM Verlag

【3-6周达】Tracer Methods in Hormone Research, 普通生物学 [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Gurpide,E. /2012-06-12 /Springer

3-6周达 Mixed Methods Research For Nursing And The Health Scie 【全球购】进口原版图书，预计3-6周左右到国内

¥842.00

书之源外文图书

Elizabeth Halcomb /2009-01-02 /John Wiley & Sons

3-6周达 Vortex Methods: Theory and Practice [ISBN:978052106170 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥551.00

书之源外文图书

Cottet, Georges-Henri /2008-04-24 /Cambridge University Press

【预订】Formal Methods for an Informal World 9783031436772 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031436772 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 171页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-20 Language 语种 其它（含多语） Book Contents 内容简介 This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understandi

¥548.00

中国进口图书旗舰店

Antonio Cerone /2023-11-20 /Springer Berlin Heidelberg

海外直订Formal Methods in Standards: A Report from the BCS Worki

¥662.00

中华商务进口图书旗舰店

Ruggles, Clive L. N. /1990-07-30 /Springer

Research Methods for the Behavioral Sciences 英文原版 行为科学研究方法 第

¥664.00

华研外语旗舰店

Frederick /2019-01-01 /Cengage

【预订】Tools and Methods of Program Analysis: 4th International 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319717333 Author 作者 Zakharov, Victor Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-01-14 Language 语种 英语

¥548.00

中国进口图书旗舰店

Zakharov, Victor /2018-01-14 /Springer

【预订】Formal Methods and Models for System Design: A System Le 【全球购】进口原版图书，一般10-12周左右到国内

¥2147

书之源外文图书

Gupta,Rajesh;LeGuernic,Paul;Shukla,Sande /2011-12-14 /Springer

海外直订New Methods in Reading Comprehension Research 阅读理解研究的新方法

¥2353

中华商务进口图书旗舰店

Kieras, David E. /2018-03-27 /Routledge

【预订】Oogenesis: Methods and Protocols 9781493937936 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Nezis, Ioannis P. /2017-02-28 /Humana Press

【预订】Direct Methods 9783030488369 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030488369 Author 作者 Aurora Angela Pisano Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-07-17 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.55 Shipping Weight 商品重量 0.81 Language 语种 其它（含多语） Book Contents 内容简介 This book provides an overview of direct methods such as limit and shakedown analysis, which are intended to do away with the need for cumbersome step-by-step calculations and determine the loading limits of mechanical structures under monotone, cyclic or variable loading with unknown loading history. The respective contributions demonstrate how tremendous advances in numerical methods, especially in optimization, have contributed to the success of direct methods and their practical applicability to engineering problems in structural mechanics

¥1643

中国进口图书旗舰店

Aurora Angela Pisano /2021-07-17 /Springer Berlin Heidelberg

【3-6周达】Formal Methods in the Methodology of Empirical Scienc 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Malinowski Grzegorz /2011-11-22 /Springer

3-6周达 高被引Methods in Consumer Research, Volume 2: Alternative 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥2269

书之源外文图书

Ares, Gaston /2018-01-18 /Woodhead Publishing