【3-6周达】New Methods in Fixed Income Modeling: Fixed Income Mo 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

Mili, Mehdi; Samaniego Medina, Reyes; Di /2019-09-19 /Springer

预订 Direct Methods in the Calculus of Variat [ISBN:9789812380 【全球购】进口原版图书，一般5-8周左右到国内

¥1184

书之源外文图书

Giusti, Enrico /2003-01-15 /World Scientific Publishing Company

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

¥1781

书之源外文图书

Georgiev, Minko /2020-05-15 /Humana

【3-6周达】Field Methods for Geologists and Hydrogeologists [ISB 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Assaad, Fakhry A. /2004-02-01 /Springer

【3-6周达】Inverse Methods in Electromagnetic Imaging: Par [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Boerner,Wolfgang-M /2013-11-20 /Springer

【预售 按需印刷】 Modern Methods for the Determination of No 北京直发，付款后10日内发货

¥1495

中图图书旗舰店

C. Engelmann /1985-04-01 /DeGruyter德古意特出版社

【预售 按需印刷】Training Methods for Older Adults

¥754.80

中图图书旗舰店

Jennifer Wissman /2009-08-05 /KS OmniScriptum Publishing

【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030549930 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 523页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-13 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2

¥548.00

中国进口图书旗舰店

Sekerinski /2020-08-13 /Springer Berlin Heidelberg

【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周达】Methods for Risk Assessment of Transgenic Plants: I. 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Kjellsson, Gosta /2013-10-03 /Birkhauser

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

¥1298

书之源外文图书

de Lucas,Miguel /2018-06-08 /Humana

预订 Survey Methods In Multinational, Multiregional, and Multi 国外库房发货，通常付款后3-5周到货

¥1370

中国进口图书旗舰店

Janet Harkness /2010-04-14 /Wiley

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

¥585.00

书之源外文图书

2008-08-01 /Springer

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

¥1105

书之源外文图书

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

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

¥585.00

书之源外文图书

Ribeiro, Leila /2016-11-13 /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. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030549961 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 575页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2

¥548.00

中国进口图书旗舰店

Sekerinski /2020-08-11 /Springer Berlin Heidelberg

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

¥819.00

书之源外文图书

Groote, Jan Friso, Huisman, Marieke /2022-08-12 /Springer

3-6周达 Research Methods: Concepts, Methodologies, Tools, and 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥6020

书之源外文图书

Irma /2015-02-18 /Information Science Reference

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

¥1202

书之源外文图书

Lagrimini L. Mark /2018-08-14 /Humana

海外直订Fusion Methods for Unsupervised Learning Ensembles 无监督学习

¥1458

中华商务进口图书旗舰店

Baruque, Bruno /2014-10-10 /Springer

【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367235482 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 322页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-09-20 Language 语种 英语 Book Contents 内容简介 The book provides an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.

¥2574

中国进口图书旗舰店

Jacek Banasiak /2019-09-20 /CRC Press

海外直订Asymptotic Methods in Statistical Decision Theory 统计决策理论

¥4374

中华商务进口图书旗舰店

Le Cam, Lucien /1986-08-06 /Springer

海外直订Formal Methods: 22nd International Symposium, FM 2018, H

¥1070

中华商务进口图书旗舰店

Havelund, Klaus /2018-08-20 /Springer

预订 Linking Methods in Critical Point Theory [ISBN:9780817640 【全球购】进口原版图书，约3-6周到达国内后发出

¥921.00

书之源外文图书

1999-07-01 /Birkhauser

海外直订医药图书Methods in Pharmacology: Molecular and Cellular Biol

¥1988

中华商务进口图书旗舰店

Glossmann, H. /1993-09-29 /Springer

【预售 按需印刷】Efficient methods for the CELP speech cod 北京发货，付款后10天内发货

¥905.00

中图图书旗舰店

Al-Azzawi Nemir /2015-07-16 /KS OmniScriptum Publishing

现货Research Methods for Business Students

¥2720

上海外文书店旗舰店

* /*

按需印刷New Methods in Cognitive Psychology 预订，预计下单后3-4周左右发货！

¥593.00

上海外文书店旗舰店

* /2020-01-01 /Taylor & Francis Ltd

海外直订Mixed Methods Research and Culture-Specific Intervention

¥1024

中华商务进口图书旗舰店

Nastasi, Bonnie /2015-07-07 /Sage Publications, Inc

海外直订New Methods of Food Preservation 食品保鲜新方法

¥1988

中华商务进口图书旗舰店

Gould, Grahame W. /1995-12-31 /Springer

海外直订Formal Methods for Multicore Programming: 15th Internati

¥559.00

中华商务进口图书旗舰店

Bernardo, Marco /2015-05-18 /Springer

海外直订Modern Methods of Optimization: Proceedings of the Summe

¥662.00

中华商务进口图书旗舰店

Krabs, Werner /1992-03-10 /Springer

【预售 按需印刷】Counting Methods for Nowhere-Zero Flows 北京发货，付款后10天内发货

¥882.00

中图图书旗舰店

Martin Kochol /2011-03-28 /KS OmniScriptum Publishing

海外直订Modern Methods in Collisional-Radiative Modeling of Plas

¥1203

中华商务进口图书旗舰店

Ralchenko, Yuri /2018-04-06 /Springer

预订 p-Adic Methods and Their Applications p进数方法及其应用 978019853 国外库房发货，通常付款后3-5周到货

¥1137

中国进口图书旗舰店

Baker, Andrew J.; Plymen, Roger J. /1992-02-27 /Oxford University Press

【3-6周达】Formal Methods and Software Engineering: 24th Interna 【全球购】进口原版图书，一般3-6周左右到国内

¥722.00

书之源外文图书

Li,Yi,Tahar,Sofiène /2023-11-29 /Springer

【预订】Formal Methods: 26th International Symposium, FM 2024, M 【全球购】进口原版图书，一般10-12周左右到国内

¥1684

书之源外文图书

Platzer,Andre;Rozier,KristinYvonne;Prade /2024-09-13 /Springer

【3-6周达】Formal Methods: 22nd International Symposium, FM 2018 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

Havelund, Klaus /2018-08-20 /Springer

【预订】Direct Methods for Limit State of Materials and Structur 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031291210 Format 版本 精装 Pages Number 页数 290页 Publisher 出版社 Springer Publication Date 出版日期 2023-07-05 Language 语种 其它（含多语）

¥1753

中国进口图书旗舰店

暂无作者信息 /2023-07-05 /Springer

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

Product Details 基本信息 ISBN-13 书号 9783031224751 Author 作者 Lucas Lima Format 版本 平装-胶订 Pages Number 页数 143页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-12-18 Language 语种 其它（含多语）

¥603.00

中国进口图书旗舰店

Lucas Lima /2022-12-18 /Springer Berlin Heidelberg

【预订】Fuzzy Sets Methods in Image Processing and Understanding 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031194276 Author 作者 Isabelle Bloch Format 版本 平装-胶订 Pages Number 页数 302页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-01-03 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.67 Shipping Weight 商品重量 0.98磅 Language 语种 其它（含多语） Book Contents 内容简介 This book provides a thorough overview of recent methods using higher level information (object or scene level) for advanced tasks such as image understanding along with their applications to medical images. Advanced methods for fuzzy image processing and understanding are presented, including fuzzy spatial objects, geometry and topology, mathematical morphology, machine learning, verbal descriptions of image content, fusion, spatial relations, and structural representations. For each methodological aspect covered, illustrations from the medical i

¥1533

中国进口图书旗舰店

Isabelle Bloch /2024-01-03 /Springer Berlin Heidelberg

预订 Merged Methods: A Rationale for Full Integration [ISBN:97 【全球购】进口原版图书，约10-12周到达国内后发出

¥578.00

书之源外文图书

Giampietro Gobo,Nigel G. Fielding,Gevisa /2021-10-01 /SAGE Publications Ltd

【3-6周达】New Methods in Symmetric Cryptanalysis [ISBN:97838465 【全球购】进口原版图书，一般3-6周左右到国内

¥1048

书之源外文图书

Khovratovich Dmitry /2011-12-15 /LAP Lambert Academic Publishing

【3-6周达】New methods for determining the static and impact har 【全球购】进口原版图书，一般3-6周左右到国内

¥476.00

书之源外文图书

Kotrechko,Alexey Alexeyevich /2021-09-05 /Our Knowledge Publishing

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

¥919.00

中国进口图书旗舰店

Svetlozar T. Rachev,JohnS. J. Hsu,Bilian /1988-08-08 /Wiley; 1

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

¥672.00

中国进口图书旗舰店

Glenn Hymel EdD LMT /1988-08-08 /Mosby; 1

预订Research Methods and Statistics:A Critical Thinking Approa 预订，预计下单后3-6周左右发货！

¥1194

上海外文书店旗舰店

Jackson, Sherri (Jacksonville University /2020-09-10 /Cengage Learning, Inc

【预订】In Vitro Methods in Toxicology 国外库房发货, 通常付款后12-16周到货

¥661.00

中国进口图书旗舰店

C.K. Atterwill,C.E.Steele /1988-08-08 /Cambridge UniversityPress

【预订】Numerical Methods for Fluid Dynamics IV 美国库房发货，通常付款后3-5周到货！

¥783.00

中国进口图书旗舰店

K. W. Morton,M.J.Baines /1988-08-08 /Clarendon Press

【预订】Modern Methods Of Particle Size Analysis 美国库房发货，通常付款后3-5周到货！

¥4994

中国进口图书旗舰店

Howard G. Barth /1988-08-08 /John Wiley SonsInc

【预订】Formal Methods in Human-Computer Interaction 国外库房发货, 通常付款后12-16周到货

¥595.00

中国进口图书旗舰店

Michael D. Harrison,HaroldThimbleby /1988-08-08 /Cambridge UniversityPress

【3-6周达】Methods and Materials for Remote Sensing: Infrared Ph 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Abrahamian, Yuri /2012-11-21 /Springer

【3-6周达】Direct Methods in the Calculus of Variations [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内

¥1750

书之源外文图书

Dacorogna, Bernard /2010-11-29 /Springer

【3-6周达】Toyota Methods and Operating Models: Achieve Business 【全球购】进口原版图书，一般3-6周左右到国内

¥2004

书之源外文图书

Cortiglioni, Stefano; Salcerini, Leonard /2020-04-28 /Kogan Page

海外直订The Methods of Ethics 伦理学的方法

¥975.00

中华商务进口图书旗舰店

Sidgwick, Henry /2023-02-16 /Outlook Verlag