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

¥585.00

书之源外文图书

Cofer, Darren /2009-07-20 /Springer

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

¥2156

书之源外文图书

Harwood, Wendy A. /2018-11-20 /Humana

预订 Biomass: Methods for Volume Calculation and Energy Valori 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1515

书之源外文图书

Goldman, Nina /2022-03-01 /Murphy & Moore Publishing

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

¥630.00

书之源外文图书

Edited by Lees, Amanda /2021-09-01 /Routledge

预售 按需印刷Methods of the Policy Process

¥1401.65

中图图书旗舰店

Weible, Christopher M. , Workman, Samuel /2022-04-29 /taylor

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

¥919.00

中国进口图书旗舰店

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

【3-6周达】Mixed Methods Research Pgswrm P [ISBN:9780199747450] 【全球购】进口原版图书，一般3-6周左右到国内

¥644.00

书之源外文图书

Watkins /2016-01-27 /OUP Us

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

Product Details 基本信息 ISBN-13 书号 9783030533076 Format 版本 平装-胶订 Pages Number 页数 381页 Publisher 出版社 Birkh?user Publication Date 出版日期 2021-10-28 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 1220g Language 语种 其它（含多语） Book Contents 内容简介 The book consists of articles based on the XXXVIII Bia?owie?a Workshop on Geometric Methods in Physics, 2019. The series of Bia?owie?a workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. The works in this book, based on presentations given at the workshop, are previously unpublished, at the cutting edge of current research, typically grounded in geometry and analysis, with applications to classical and quantum physics.For the past eight years, the Bia?owie?a Workshops have been complemented by a School on Geometry and Phys

¥1753

中国进口图书旗舰店

暂无作者信息 /2021-10-28 /Birkh?user

预售 按需印刷 Methods for Detecting Alpha and Beta Conta 北京发货，付款后10天内发货

¥804.00

中图图书旗舰店

Nwosu Obinna /2015-02-02 /KS OmniScriptum Publishing

3-6周达 Matrix Methods in the Design Analysis of Mechanisms an 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥796.00

书之源外文图书

Uicker, John J. /2013-04-15 /Cambridge University Press

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

¥1684

书之源外文图书

Nielsen, Henrik /2010-12-10 /Humana

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

¥585.00

书之源外文图书

Nielson, Flemming /2019-07-25 /Springer

【预售 按需印刷】Research Methods in Usability and Interac 北京发货，付款后10天内发货

¥818.00

中图图书旗舰店

Fatih Demir /2012-01-23 /KS OmniScriptum Publishing

【预订】Standard Methods of Chemical Analysis: A Manual of Analy 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781016222143 Author 作者 Scott Format 版本 精装 Pages Number 页数 966页 Publisher 出版社 Legare Street Press Publication Date 出版日期 2022-10-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 2.00 Shipping Weight 商品重量 3.34磅 Language 语种 其它（含多语）

¥754.00

中国进口图书旗舰店

2022-10-27 /Legare Street Press

预订 Modern Methods in Scientific Computing and Applications [ 【全球购】进口原版图书，一般5-8周左右到国内

¥1279

书之源外文图书

Sabidussi, Gert /2002-09-30 /Springer

【3-6周达】Methods in Floristic and Phytosociological Study [ISB 【全球购】进口原版图书，一般3-6周左右到国内

¥996.00

书之源外文图书

Baleeshwar Reddy, A., Vijaya Bhasker Red /2018-05-29 /LAP Lambert Academic Publishing

【3-6周达】Formal Methods for Performance Evaluation: 7th Intern 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Bernardo, Marco /2007-05-18 /Springer

【3-6周达】Formal Methods for Components and Objects: Second Int 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Boer, Frank S. de /2004-11-01 /Springer

【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Bonsangue, Marcello M. /2007-05-25 /Springer

3-6周达 Matrix Methods [ISBN:9780128184196] 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥1016

书之源外文图书

Bronson,Richard /2020-02-01 /Academic Press

【3-6周达】Methods for Business Analysis and Forecasting: Text a 【全球购】进口原版图书，一般3-6周左右到国内

¥4495

书之源外文图书

Tryfos, Peter /2005-12-07 /Wiley

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

¥1202

书之源外文图书

Huisman, Marieke ; P?s?reanu, Corina ; Z /2021-12-11 /Springer

【3-6周达】New Methods of Polymer Synthesis [ISBN:9789401095549] 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Ebdon,J. R. /2012-04-19 /Springer

3-6周达 Inverse Methods in Physical Oceanography: - Inverse Me 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥1432

书之源外文图书

Andrew F. Bennett /1993-01-14 /Cambridge University Press

海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法

¥2067

中华商务进口图书旗舰店

Curry, Patricia B. /2013-05-23 /Springer

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

¥1908

中华商务进口图书旗舰店

Gupta, Rajesh /2011-12-13 /Springer

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

Product Details 基本信息 ISBN-13 书号 9783642019173 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 341页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-05-12 Shipping Weight 商品重量 539g Language 语种 英语

¥504.00

中国进口图书旗舰店

Marco Bernardo Università di Urbino ... /2009-05-12 /Springer Berlin Heidelberg

【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540729198 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 317页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-05-25 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions.

¥548.00

中国进口图书旗舰店

Marcello M. Bonsangue Leiden Univers... /2007-05-25 /Springer Berlin Heidelberg

【预订】Classical Methods of Statistics 9783540211150 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540211150 Author 作者 Kardaun Format 版本 精装 Pages Number 页数 388页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-16 Language 语种 英语 Book Contents 内容简介 Classical Methods of Statistics is a guidebook combining theory and practical methods. It is especially conceived for graduate students and scientists who are interested in the applications of statistical methods to plasma physics. Thus it provides also concise information on experimental aspects of fusion-oriented plasma physics. In view of the first three basic chapters it can be fruitfully used by students majoring in probability theory and statistics. The first part deals with the mathematical foundation and framework of the subject. Some attention is given to the historical background. Exercises are added to help readers understand the underlying concepts. In the secon

¥1095

中国进口图书旗舰店

Kardaun /2005-09-16 /Springer Berlin Heidelberg

【预订】Integral Methods in Science and Engineering, Volume 1 97 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319593838 Author 作者 Constanda Format 版本 精装 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2017-09-18 Shipping Weight 商品重量 707g Language 语种 英语 Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection will be of interest to researcher

¥1095

中国进口图书旗舰店

Constanda /2017-09-18 /Birkhaeuser Verlag Basel

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

Product Details 基本信息 ISBN-13 书号 9783030324407 Author 作者 Brijesh Dongol Format 版本 平装-胶订 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-16 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers werecarefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.

¥548.00

中国进口图书旗舰店

Brijesh Dongol /2019-10-16 /Springer Berlin Heidelberg

【预订】Algebraic Methods in Unstable Homotopy Theory 美国库房发货，通常付款后3-5周到货！

¥2181

中国进口图书旗舰店

【预订】Bioassay Methods in Natural Product Research and 美国库房发货，通常付款后3-5周到货！

¥2409

中国进口图书旗舰店

【预订】Geometric Methods for Stability of Non-Linear 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

【预订】Asymptotic Methods for Ordinary Differential 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

【预订】Formal Methods in Software and Systems Modeling 97835402 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540249368 Author 作者 Kreowski Format 版本 平装-胶订 Pages Number 页数 420页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-02-09 Language 语种 英语 Book Contents 内容简介 By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.

¥548.00

中国进口图书旗舰店

Kreowski /2005-02-09 /Springer Berlin Heidelberg

【预订】Numerical Methods for Wave Propagation 9789048150472 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789048150472 Author 作者 Toro Format 版本 平装-胶订 Pages Number 页数 390页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-10-28 Language 语种 英语 Book Contents 内容简介 In May 1995 a meeting took place at the Manchester Metropolitan Uni? versity, UK, with the title International Workshop on Numerical Methods for Wave Propagation Phenomena. The Workshop, which was attended by 60 scientists from 13 countries, was preceded by a short course enti? tled High-Resolution Numerical Methods for Wave Propagation Phenom? ena. The course participants could then join the Workshop and listen to discussions of the latest work in the field led by experts responsible for such developments. The present volume contains written versions of their contributions from the majority of the speakers at the Workshop. Professor Amiram Harten, but for his untimely death

¥1643

中国进口图书旗舰店

Toro /2010-10-28 /Springer Netherlands

【预订】Topics and Methods in Condensed Matter Theory 9783540707 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540707264 Author 作者 Michele Cini Format 版本 精装 Pages Number 页数 443页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-06-25 Language 语种 英语 Book Contents 内容简介 This book provides course material in theoretical physics intended for undergraduate and graduate students specializing in condensed matter. The book arose from teaching activity, offering readable and mathematical treatments emphasizing on physical meaning and applicability. Many worked examples are provided for illustration.

¥548.00

中国进口图书旗舰店

Michele Cini /2007-06-25 /Springer Berlin Heidelberg

【预订】Formal Methods and Stochastic Models for Performance Eva 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540353621 Author 作者 Horváth Format 版本 平装-胶订 Pages Number 页数 239页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-06-12 Language 语种 英语 Book Contents 内容简介 The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW). The rst two EPEW workshops were held in Toledo, Spain, October 1-2, 2004, and V- sailles,France,September 1-3,2005.Thisvolumecontainstheproceedingsofthe third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpap

¥548.00

中国进口图书旗舰店

Horváth /2006-06-12 /Springer Berlin Heidelberg

【预订】Meshfree Methods for Partial Differential Equations IV 9 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540799931 Author 作者 Michael Griebel Universit?t Bonn Institut für Numerische Si Format 版本 平装-胶订 Pages Number 页数 412页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-10 Shipping Weight 商品重量 640g Language 语种 英语 Book Contents 内容简介 The numerical treatment of partial differential equations with particle methods and meshfree discretization techniques is a active research field both in the mathematics and engineering community. This volume of LNCSE is a collection of the proceedings papers of the Fourth International Workshop on Meshfree Methods held in September 2007 in Bonn.

¥1095

中国进口图书旗舰店

Michael Griebel Universit?t Bonn Ins... /2008-10-10 /Springer Berlin Heidelberg

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

Product Details 基本信息 ISBN-13 书号 9783540671572 Author 作者 Dick Format 版本 平装-胶订 Pages Number 页数 292页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-08-28 Language 语种 英语

¥1643

中国进口图书旗舰店

Dick /2000-08-28 /Springer Berlin Heidelberg

Numerical Methods of Statistics 统计的数值方法 剑桥统计与概率数学系列

¥673.00

瑞雅图书专营店

John /2011-06-09 /Cambridge

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

¥661.00

中国进口图书旗舰店

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

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

¥1643

中国进口图书旗舰店

B. Morgan /1988-08-08 /Humana Press Inc.

【预订】Lattice Methods for Multiple Integration 美国库房发货，通常付款后3-5周到货！

¥1575

中国进口图书旗舰店

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

¥1134

中国进口图书旗舰店

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

¥783.00

中国进口图书旗舰店

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

【预订】Direct Methods of Solving Crystal Structures 美国库房发货，通常付款后3-5周到货！

¥2190

中国进口图书旗舰店

【预订】Research Methods for Sports Performance Analysis 美国库房发货，通常付款后3-5周到货！

¥707.00

中国进口图书旗舰店

Peter O\'Donoghue /1988-08-08 /Routledge

【预订】Physical Methods Of Chemistry Second Edition Volume 美国库房发货，通常付款后3-5周到货！

¥9378

中国进口图书旗舰店

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

¥4994

中国进口图书旗舰店

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

【预订】Numerical Methods for Linear Control Systems: Design 美国库房发货，通常付款后3-5周到货！

¥1311

中国进口图书旗舰店

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

¥965.00

中国进口图书旗舰店

Norman Herz,Ervan G.Garrison /1988-08-08 /Oxford University PressInc

【预订】Similarity Methods for Differential Equations 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

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

¥3614

中国进口图书旗舰店

【预订】Physical Methods in Agriculture: Approach to 美国库房发货，通常付款后3-5周到货！

¥1643

中国进口图书旗舰店

Jiri Blahovec,MiroslavKutilek /1988-08-08 /Plenum PublishingCo.,N.Y.

【预订】High-Order Methods for Incompressible Fluid Flow 美国库房发货，通常付款后3-5周到货！

¥2009

中国进口图书旗舰店

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

¥2903

中国进口图书旗舰店

【预订】Reliable Methods for Computer Simulation: Error 美国库房发货，通常付款后3-5周到货！

¥1260

中国进口图书旗舰店

【预订】Analytical Methods of Food Authentication 美国库房发货，通常付款后3-5周到货！

¥1643

中国进口图书旗舰店

Philip R. Ashurst,M.J.Dennis /1988-08-08 /Chapman and Hall