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

¥1105

书之源外文图书

Chechik,Marsha;Katoen,Joost-Pieter;Leuck /2023-03-03 /Springer

预订 Robust Methods for Data Reduction [ISBN:9780367783518] 【全球购】进口原版图书，一般5-8周左右到国内

¥675.00

书之源外文图书

Alessio Farcomeni and Luca Greco /2021-03-31 /Chapman and Hall/CRC

3-6周达 Modern Methods for Affordable Clinical Gait Analysis [ 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥1016

书之源外文图书

Nandy, Anup /2021-07-30 /Academic Press

【3-6周达】Modern Methods of Drug Discovery [ISBN:978303489397 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Hillisch, Alexander /2012-10-30 /Birkhauser

预订 Wavelet Methods in Mathematical Analysis and Engineering 【全球购】进口原版图书，一般5-8周左右到国内

¥564.00

书之源外文图书

Alain Damlamian /2010-09-22 /World Scientific Publishing Company

【3-6周达】Direct Methods in Control Problems (2019) [ISBN:97808 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

Falb, Peter /2020-02-06 /Birkhauser

海外直订医药图书Methods for Investigating Localized Clustering of Di

¥598.00

中华商务进口图书旗舰店

Alexander, F. E. /1997-06-04 /Oxford University Press, USA

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

Product Details 基本信息 ISBN-13 书号 9783034807814 Author 作者 Kielanowski Format 版本 平装-胶订 Pages Number 页数 237页 Publisher 出版社 Springer Basel Publication Date 出版日期 2015-08-08 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 385g Language 语种 英语 Book Contents 内容简介 The Biaowie?a workshops on Geometric Methods in Physics, taking place in the unique environment of the Bia?owie?a natural forest in Poland, are among the important meetings in the field. Every year some 80 to 100 participants both from mathematics and physics join to discuss new developments and to interchange ideas. The current volume was produced on the occasion of the XXXI meeting in 2012. For the first time the workshop was followed by a School on Geometry and Physics, which consisted of advanced lectures for graduate students and young researchers. Selected speakers of the w

¥548.00

中国进口图书旗舰店

Kielanowski /2015-08-08 /Springer Basel

【3-6周达】高被引NMR Methods for the Investigation of Structure and 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Hardy, Edme H /2013-11-30 /Springer

【3-6周达】Formal Methods: An Introduction to Symbolic Logic and 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Beth, E. W. /2011-10-12 /Springer

预订 Research Methods and Techniques in Architecture [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内

¥645.00

书之源外文图书

Niezabitowska, El?bieta Danuta ; Niezabi /2018-07-16 /Routledge

海外直订医药图书Methods in Pain Research 疼痛研究方法

¥2873

中华商务进口图书旗舰店

No /2001-06-21 /Taylor & Francis Inc

按需印刷Mixed Methods Research for Improved Scientific Study 预订，预计下单后2-3周左右发货！

¥2483

上海外文书店旗舰店

Mette L. Baran /IGI Global

海外直订Formal Methods for Components and Objects: 10th Internat

¥662.00

中华商务进口图书旗舰店

Beckert, Bernhard /2013-01-02 /Springer

【预售 按需印刷】 Modern Methods in Protein and Nucleic Aci 北京直发，付款后10日内发货

¥2278

中图图书旗舰店

Harald Tschesche /1990-10-01 /DeGruyter德古意特出版社

【预订】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

【预售 按需印刷】Digital Methods in Developing Textile Pro

¥744.60

中图图书旗舰店

Bianca Aluculesei /2021-10-05 /Materials Research Forum LLC

【预售按需印刷】Effective Methods of Teaching Volume of 3-

¥528.70

中图图书旗舰店

Sada Hassan Dutsinma /2014-02-19 /KS OmniScriptum Publishing

【3-6周达】Entropy Methods for the Boltzmann Equation: Lectures 【全球购】进口原版图书，一般3-6周左右到国内

¥486.00

书之源外文图书

2007-12-01 /Springer

【预订】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

【3-6周达】Robust Methods for Dense Monocular Non-Rigid 3D Recon 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

Bello, Rafael ; Miao, Duoqian ; Falcon, /2020-06-05 /Springer Vieweg

【3-6周达】Direct Methods: Methodological Progress and Engineeri 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Pisano,Aurora Angela ; Spiliopoulos,Kons /2020-07-17 /Springer

预订 Borel’s Methods of Summability Theory and Applications Bo 国外库房发货，通常付款后3-5周到货

¥1243

中国进口图书旗舰店

Shawyer, Bruce L. R.; Watson, Bruce /1994-07-14 /Oxford University Press

【预售 按需印刷】Research Methods in Accounting

¥627.30

中图图书旗舰店

Malcolm Smith /2019-11-08 /Sage Publications

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

¥1974

书之源外文图书

Gorska, Magdalena M. /2022-07-30 /Humana

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

¥768.00

书之源外文图书

Per C. Hansen; Bo H. Jacobsen; Klaus Mos /2000-06-21 /Springer Berlin Heidelberg

预订 Analytic Methods of Systems and Software Testing [ISBN:97 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1495

书之源外文图书

Kaul, Neha /2020-11-01 /Arcler Education Inc

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

Product Details 基本信息 ISBN-13 书号 9781420082098 Author 作者 G.R. Liu Format 版本 精装 Pages Number 页数 792页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-10-06 Shipping Weight 商品重量 1564g Language 语种 英语 Book Contents 内容简介 With 70 percent new material, this second edition reflects significant advances made in the field since the publication of its predecessor. It continues to systematically cover the most widely used meshfree methods. This edition includes enhanced focus on fundamental concepts and theories, more detailed discussion on error estimation and adaptive analysis using meshfree methods, developments on combined meshfree/FEM models, and comparison studies using meshfree and FEM. It also contains a new discussion on special properties of meshfree methods, including stability, convergence, accurate, efficiency, and bound property. The latest version of MFree2D

¥2950

中国进口图书旗舰店

G.R. Liu /2009-10-06 /CRC Press

海外直订Robust Methods for Data Reduction 数据约简的鲁棒方法

¥1710

中华商务进口图书旗舰店

Farcomeni, Alessio /2015-04-15 /CRC Press

预订 Formal Methods and Software Engineering 26th Internationa 国外库房发货，通常付款后3-5周到货

¥850.00

中国进口图书旗舰店

?tienne André /2025-11-12 /Springer Berlin Heidelberg

海外直订医药图书Methods for Stability Testing of Pharmaceuticals 药品稳

¥1048

中华商务进口图书旗舰店

2019-07-24 /Humana Press Inc.

预售 按需印刷 Methods and Applications of Geospatial Tec

¥1687

中图图书旗舰店

Tenedório, José /2021-04-09 /IGI出版社

【预售 按需印刷】INVERSE METHODS FOR ATMOSPHERIC SOUNDING

¥1173

中图图书旗舰店

Clive D Rodgers /2000-07-17 /World Scientific Publishing Co Pte Ltd

【预售 按需印刷】Data-Based Methods for Materials Design a

¥950.30

中图图书旗舰店

Ghanshyam Pilania /2020-03-06 /Morgan and Claypool Publishers

【预订】Integral Methods in Science and Engineering 978303016079 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030160791 Author 作者 Constanda Format 版本 平装-胶订 Pages Number 页数 478页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2020-08-14 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. The chapters in this book are based on talks given at the Fifteenth International Conference on Integral Methods in Science and Engineering, held July 16-20, 2018 at the University of Brighton, UK, and are written by internationally recognized researchers. The topics addressed are wide ranging, and include:Asymptotic analysisBoundary-domain integral equationsViscoplastic fluid flowStationary wavesInterior Neumann shape optimizationSelf-con

¥932.00

中国进口图书旗舰店

Constanda /2020-08-14 /Birkhaeuser Verlag Basel

【预订】Computer Methods in Structural Analysis 9781138470385 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138470385 Author 作者 J.L. Meek Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-08-22 Language 语种 其它（含多语）

¥2033

中国进口图书旗舰店

J.L. Meek /2017-08-22 /CRC Press

【预订】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

海外直订Formal Methods and Software Engineering: 16th Internatio

¥662.00

中华商务进口图书旗舰店

Merz, Stephan /2014-09-22 /Springer

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

¥1219

中华商务进口图书旗舰店

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

【3-6周达】New Methods of Computing Radial Distribution Function 【全球购】进口原版图书，一般3-6周左右到国内

¥814.00

书之源外文图书

Lado,Fred /2019-12-08 /Dissertation Discovery Company, LLC

【3-6周达】Research Methods in Neurochemistry: Volume 6 (Softcov 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Marks, Neville /2012-12-12 /Springer

【预订】Iterative Methods in Combinatorial Optimization 97811070 国外库房发货, 通常付款后12-16周到货

¥1110

中国进口图书旗舰店

Lap Chi Lau /2011-04-30 /Cambridge University Press

海外直订Formal Methods. FM 2019 International Workshops: Porto,

¥662.00

中华商务进口图书旗舰店

Sekerinski, Emil /2020-11-03 /Springer

海外直订Modern Methods in Scientific Computing and Applications

¥1325

中华商务进口图书旗舰店

Sabidussi, Gert /2002-09-29 /Springer

【预售 按需印刷】Numerical Methods

¥1199

中图图书旗舰店

Atem Bul /2021-03-02 /KS OmniScriptum Publishing

海外直订Formal Methods for Components and Objects

¥662.00

中华商务进口图书旗舰店

De Boer, Frank S. /2011-01-03 /Springer

【3-6周达】Formal Methods in Outer Space: Essays Dedicated to Kl 【全球购】进口原版图书，一般3-6周左右到国内

¥626.00

书之源外文图书

Bartocci, Ezio ; Falcone, Yliès ; Leucke /2021-09-28 /Springer

预订 General Methods in Biomarker Research and Their Applicati 【全球购】进口原版图书，一般5-8周左右到达国内后发出

¥5076

书之源外文图书

Preedy, Victor R., Patel, Vinood B. /2015-07-14 /Springer

按需印刷New Methods for Process Integration 预订，预计下单后2-3周左右发货！

¥767.00

上海外文书店旗舰店

Roger Nordman /KS OmniScriptum Publishing

海外直订Formal Methods in Computer-Aided Design: Third Internati

¥1325

中华商务进口图书旗舰店

Hunt, Warren A. Jr. /2000-01-01 /Springer

海外直订Modern Methods for Musicology 现代音乐学方法

¥2353

中华商务进口图书旗舰店

No /2009-07-27 /Taylor & Francis Ltd

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

¥735.00

中华商务进口图书旗舰店

Haxthausen, Anne E. /2024-08-20 /Springer

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

Product Details 基本信息 ISBN-13 书号 9780367449711 Author 作者 Bramble Format 版本 平装-胶订 Pages Number 页数 176页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Language 语种 英语

¥773.00

中国进口图书旗舰店

Bramble /CRC Press

【预售 按需印刷】Iterative Methods for Solving Nonlinear E

¥1078

中图图书旗舰店

Juan R. Torregrosa /2019-12-06 /MDPI AG

【预售 按需印刷】Topics and Methods in q-Series

¥1112

中图图书旗舰店

JAMES MC LAUGHLIN /2017-09-22 /World Scientific Publishing Co Pte Ltd

【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货

¥507.00

中图图书旗舰店

Andrew Barron /2020-05-31 /Lulu Press

海外直订Modern Methods for Business Research 商业研究的现代方法

¥1135

中华商务进口图书旗舰店

Marcoulides, George A. /1998-02-28 /Psychology Press

海外直订NMR Methods for Characterization of Synthetic an... 合成聚合

¥2736

中华商务进口图书旗舰店

No /2019-08-01 /Royal Society of Chemistry

海外直订EEG Methods for the Psychological Sciences 心理科学的脑电图方法

¥3291

中华商务进口图书旗舰店

Dickter, Cheryl L /2013-12-19 /SAGE Publications Ltd

海外直订医药图书Methods of Partial Deafness Treatment 部分耳聋的治疗方法

¥1997

中华商务进口图书旗舰店

Skarżyński, Henryk /2021-09-29 /Routledge