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

¥490.00

中华商务进口图书旗舰店

Bernardo, Marco /2015-05-18 /Springer

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

¥553.00

中华商务进口图书旗舰店

Krabs, Werner /1992-03-10 /Springer

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

¥2190

中国进口图书旗舰店

International Conference on Formal Metho /2000-08-31 /Springer

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

¥1033

中华商务进口图书旗舰店

Ralchenko, Yuri /2018-04-06 /Springer

【3-6周达】Methods in Biological Oxidative Stress [ISBN:97816173 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Hensley, Kenneth /2010-11-09 /Humana

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

¥516.00

书之源外文图书

Conrad,Victor /2008-11-04 /Kirk Press

3-6周达 Select Methods in Chemical Analysis: Third Edition [IS 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥688.00

书之源外文图书

Crookes, William /2017-05-28 /Hansebooks

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

¥916.00

书之源外文图书

Alireza Alinezhad; Javad Khalili /2020-09-01 /Springer

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

¥585.00

书之源外文图书

Salaun, Gwen /2011-09-19 /Springer

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

Product Details 基本信息 ISBN-13 书号 9789811500978 Author 作者 Kolade M. Owolabi Format 版本 精装 Pages Number 页数 328页 Publisher 出版社 Springer Singapore Publication Date 出版日期 2019-10-24 Language 语种 英语 Book Contents 内容简介 This book discusses numerical methods for solving partial differential and integral equations, as well as ordinary differential and integral equations, involving fractional differential and integral operators. Differential and integral operators presented in the book include those with exponential decay law, known as Caputo–Fabrizio differential and integral operators, those with power law, known as Riemann–Liouville fractional operators, and those for the generalized Mittag–Leffler function, known as the Atangana–Baleanu fractional operators.The book reviews existing numerical schemes associated with fractional operators including those with power law, while also

¥1424

中国进口图书旗舰店

Kolade M. Owolabi /2019-10-24 /Springer Singapore

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

¥548.00

中国进口图书旗舰店

Ahues /2003-12-19 /Birkhaeuser Verlag Basel

【预订】Laboratory Methods for the Detection of Mutations and Po 美国库房发货，通常付款后3-5周到货！

¥2605

中国进口图书旗舰店

Gary, Auguste /1997-01-24 /CRC Press

海外直订Mtor: Methods and Protocols 方法和协议

¥1672

中华商务进口图书旗舰店

Weichhart, Thomas /2011-12-01 /Humana

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

¥494.00

中华商务进口图书旗舰店

Dierkes, Michael /2013-09-12 /Springer

海外直订Mixed Methods: Interviews, Surveys, and Cross-Cultural C

¥1438

中华商务进口图书旗舰店

Schrauf, Robert W. /2016-12-07 /Cambridge University Press

【预售 按需印刷】Methods of Soil and Plant Analysis

¥473.45

中图图书旗舰店

ABC ABC ABC /2019-07-05 /NIPA GENX Electronic Resources and Solns Pvt Ltd.

【预售 按需印刷】Modular Methods in the Supervisory Contro

¥996.20

中图图书旗舰店

Richard Hill /2010-03-03 /KS OmniScriptum Publishing

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

Product Details 基本信息 ISBN-13 书号 9781482248197 Author 作者 Lyle D. Broemeling Format 版本 精装 Pages Number 页数 568页 Publication Date 出版日期 2015-08-04 Shipping Weight 商品重量 929g Language 语种 英语 Book Contents 内容简介 This practical book presents the main ideas for the analysis of repeated measures and associated designs from a Bayesian viewpoint. It describes many inferential methods for analyzing repeated measures in various scientific areas, especially biostatistics. The author bases all the computing and analysis on the WinBUGS package, which provides readers with a platform that efficiently uses prior information. The book includes the WinBUGS code needed to implement posterior analysis and offers the code for download online.

¥1628

中国进口图书旗舰店

Lyle D. Broemeling /2015-08-04 /暂无出版社信息

【3-6周达】Lie Methods in Optics II: Proceedings of the Se [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

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

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

¥1395

书之源外文图书

Luque-Garcia,Jose L. /2023-11-14 /Humana

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

¥1105

书之源外文图书

Kuhn, Ralf /2016-08-23 /Humana

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

¥1202

书之源外文图书

McGuckin Michael A. /2016-08-23 /Humana

预订Research Methods: Designing and Conducting Research with a 【全球购】进口原版图书，约3-6周到达国内后发出

¥544.00

书之源外文图书

2013-10-09 /Sage Publications, Inc

3-6周达 Kras: Methods and Protocols [ISBN:9781071638217] 【全球购】进口原版图书，预计3-6周左右到国内

¥2276

书之源外文图书

Stephen,Andrew G.;Esposito,Dominic /2024-04-04 /Humana

【3-6周达】Cast Methods in Modelling: Computer Aided Systems The 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Pichler,Franz /2012-02-12 /Springer

【3-6周达】Formal Methods for Discrete-Time Dynamical Systems [I 【全球购】进口原版图书，一般3-6周左右到国内

¥1974

书之源外文图书

Belta, Calin /2018-07-21 /Springer

3-6周达 Survey Methods In Multinational, Multiregional, And Mu 【全球购】进口原版图书，预计3-6周左右到国内

¥1091

书之源外文图书

Janet Harkness /2010-04-14 /John Wiley & Sons

【预售 按需印刷】Research Methods for Operations and Supply Chain Ma 北京直发，付款后10日内发货

¥611.15

中图图书旗舰店

Karlsson, Christer /2023-11-15 /taylor

【预售 按需印刷】Empirical Methods in Climate Modeling

¥898.45

中图图书旗舰店

Raymond Mooring /2010-06-24 /KS OmniScriptum Publishing

Spectral Methods 现货图书

Product Details 基本信息 ISBN-13 书号 9783540710400 Author 作者 Shen Format 版本 精装 Pages Number 页数 472页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-08-25 Shipping Weight 商品重量 889g Language 语种 英语 Book Contents 内容简介 Along with finite differences and finite elements, spectral methods are one of the three main methodologies for solving partial differential equations on computers. This book provides a detailed presentation of basic spectral algorithms, as well as a systematical presentation of? basic convergence theory and error analysis for spectral methods. Readers of this book will be exposed to a unified framework for designing and analyzing spectral algorithms for a variety of problems, including in particular high-order differential equations and problems in unbounded domains. The book contains a large number of figures which are designed to illu

¥1237

中国进口图书旗舰店

2条评论

Shen /2011-08-25 /Springer Berlin Heidelberg

【预订】Newton Methods for Nonlinear Problems 9783642059278 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783642059278 Author 作者 Deuflhard Format 版本 平装-胶订 Pages Number 页数 424页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-12-01 Language 语种 英语 Book Contents 内容简介 This book deals with the efficient numerical solution of challenging nonlinear problems in science and engineering, both in finite dimension (algebraic systems) and in infinite dimension (ordinary and partial differential equations). Its focus is on local and global Newton methods for direct problems or Gauss-Newton methods for inverse problems. The term ’affine invariance’ means that the presented algorithms and their convergence analysis are invariant under one out of four subclasses of affine transformations of the problem to be solved. Compared to traditional textbooks, the distinguishing affine invariance approach leads to shorter theorems and proofs and p

¥1205

中国进口图书旗舰店

Deuflhard /2010-12-01 /Springer Berlin Heidelberg

【预订】Separation Methods in Proteomics 9780367391577 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367391577 Format 版本 平装-胶订 Pages Number 页数 536页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 6.1 x 1.2 cm Shipping Weight 商品重量 1600g Language 语种 英语

¥813.00

中国进口图书旗舰店

暂无作者信息 /CRC Press

【预订】Numerical Methods for Stochastic Control Problems in Con 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780387951393 Author 作者 Kushner Format 版本 精装 Pages Number 页数 476页 Publisher 出版社 Springer New York Publication Date 出版日期 2000-12-15 Language 语种 英语 Book Contents 内容简介 Changes in the second edition. The second edition differs from the first in that there is a full development of problems where the variance of the diffusion term and the jump distribution can be controlled. Also, a great deal of new material concerning deterministic problems has been added, including very efficient algorithms for a class of problems of wide current interest. This book is concerned with numerical methods for stochastic control and optimal stochastic control problems. The random process models of the controlled or uncontrolled stochastic systems are either diffusions or jump diffusions. Stochastic control is a very active area of research and new problem formulations

¥1424

中国进口图书旗舰店

Kushner /2000-12-15 /Springer New York

预订 Meshfree Methods: Moving Beyond the Finite Element Method 【全球购】进口原版图书，一般5-8周左右到国内

¥2589

书之源外文图书

Liu, G. R. /2009-10-01 /CRC Press

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

¥722.00

书之源外文图书

Carvalho, Gustavo ; Stolz, Volker /2021-01-23 /Springer

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

¥1684

书之源外文图书

Lawry, Jonathan /2006-09-01 /Springer

【3-6周达】Lie Methods in Deformation Theory [ISBN:9789811911873 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Manetti,Marco; /2023-08-03 /Springer

【3-6周达】Rapid Methods in Clinical Microbiology: Present Statu 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Kleger, Bruce ,Jungkind, Donald /2011-09-30 /Springer

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

¥1096

书之源外文图书

Marshall Nissim /2010-12-01 /Springer

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

¥1105

书之源外文图书

Klump, G. M. /2012-11-26 /Birkhauser

海外直订Direct Methods for Solving Macromolecular Structures 求解大

¥2067

中华商务进口图书旗舰店

Fortier, S. /2010-12-15 /Springer

海外直订Formal Methods for Distributed Processing: A Survey of O

¥656.00

中华商务进口图书旗舰店

Bowman, Howard /2010-12-02 /Cambridge University Press

海外直订New Methods for Mining Sequential and Time Series Data 序

¥922.00

中华商务进口图书旗舰店

Al-Naymat Ghazi /2010-05-06 /VDM Verlag

【预订】Analytic Methods of Sound Field Synthesis 美国库房发货，通常付款后3-5周到货！

¥1753

中国进口图书旗舰店

Jens Ahrens /1988-08-08 /Springer-Verlag Berlin andHeidelberg GmbH Co

【预订】Vortex Methods: Selected Papers of the First 美国库房发货，通常付款后3-5周到货！

¥1121

中国进口图书旗舰店

Kyoji Kamemoto,MichihisaTsutahara /1988-08-08 /World ScientificPublishing Co Pte Ltd

【预订】Numerical Methods for the Life Scientist: Binding 美国库房发货，通常付款后3-5周到货！

¥1643

中国进口图书旗舰店

Heino Prinz /1988-08-08 /Springer-Verlag Berlin andHeidelberg GmbH Co

预订Research Methods In Psychology: A Guide For Students and P 【全球购】进口原版图书，约3-6周到达国内后发出

¥834.00

书之源外文图书

2017-01-01 /Think Doctor Publications

【预订】Formal Methods for Industrial Critical Systems 978303085 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030852474 Author 作者 Alberto Lluch Lafuente Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-08-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.55 Shipping Weight 商品重量 0.82 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Va

¥548.00

中国进口图书旗舰店

Alberto Lluch Lafuente /2021-08-27 /Springer Berlin Heidelberg

【3-6周达】Serpins: Methods and Protocols (Softcover Reprint of 【全球购】进口原版图书，一般3-6周左右到国内

¥1781

书之源外文图书

Muna, F /2019-12-10 /Humana

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

¥1684

书之源外文图书

Weichhart, Thomas /2011-12-02 /Humana

预订 New Methods in Cognitive Psychology [ISBN:9781848726307] 【全球购】进口原版图书，一般5-8周左右到国内

¥1977

书之源外文图书

Spieler,Daniel /2018-03-01 /Routledge

3-6周达 Formal Methods for Distributed Processing: A Survey of 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥563.00

书之源外文图书

2010-12-02 /Cambridge University Press

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

¥585.00

书之源外文图书

2007-11-07 /Springer

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

¥1105

书之源外文图书

Dong, Jin Song /2003-10-27 /Springer

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

¥585.00

书之源外文图书

Boerner,Wolfgang-M /2013-11-20 /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周达】New Methods in Fixed Income Modeling: Fixed Income Mo 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

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

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

¥1684

书之源外文图书

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

【预订】Physical Methods in Plant Sciences 9783642836138 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Linskens /2011-12-05 /暂无出版社信息