【预订】Formal Methods – The Next 30 Years 9783030309411 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030309411 Author 作者 Maurice H. ter Beek Format 版本 平装-胶订 Pages Number 页数 774页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-09-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2420g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations werecarefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling La

¥548.00

中国进口图书旗舰店

Maurice H. ter Beek /2019-09-15 /Springer Berlin Heidelberg

【预订】Likelihood Methods In Biology And Ecology 9781584887881 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781584887881 Author 作者 Michael Brimacombe Format 版本 精装 Pages Number 页数 306页 Publication Date 出版日期 2018-12-24 Language 语种 英语 Book Contents 内容简介 Bayesian Likelihood Methods in Ecology and Biology provides a clear guide to the development, application, and interpretation of Bayesian statistical methods to real-world scientific problems in ecology and biology. The book presents an overview of likelihood-based statistical models and offers a modern Bayesian interpretation.

¥800.00

中国进口图书旗舰店

Michael Brimacombe /2018-12-24 /暂无出版社信息

【预订】Numerical Methods for Processes in Fractured Porous Medi 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030269401 Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-08-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1170g Language 语种 英语 Book Contents 内容简介 This volume collects state-of-the-art contributions on the numerical simulation of fractured porous media, focusing on flow and geomechanics. First appearing in issues of the International Journal on Geomathematics, these articles are now conveniently packaged in one volume. Of particular interest to readers will be the potential applications of modern numerical methods to the problem of processes in fractured porous media. This book is ideal for computational scientists and numerical analysts interested in recent developments of numerical discretization techniques for underground flow and g

¥932.00

中国进口图书旗舰店

暂无作者信息 /2019-08-21 /Springer International Publishing

【预订】Computer Methods and Advances in Geomechanics, Volume 2 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789061911913 Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 1991-01-01 Shipping Weight 商品重量 1655g Language 语种 其它（含多语） Book Contents 内容简介 .

¥3583

中国进口图书旗舰店

暂无作者信息 /1991-01-01 /CRC Press

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

Product Details 基本信息 ISBN-13 书号 9781138143029 Author 作者 Peter Dunn-Rankin Format 版本 精装 Pages Number 页数 254页 Publisher 出版社 Psychology Press Publication Date 出版日期 2016-04-11 Shipping Weight 商品重量 370g Language 语种 英语 Book Contents 内容简介 This is a comprehensive collection of scaling methods appropriate for either self-guided study or references.

¥1958

中国进口图书旗舰店

Peter Dunn-Rankin /2016-04-11 /Psychology Press

【预订】Molecular Methods for Microbial Identification and Typin 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Towner /1993-09-30 /Springer

【预订】Advanced Methods of Physiological System Modeling: Volum 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Marmarelis /2013-04-29 /Springer

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

¥1095

中国进口图书旗舰店

Boca /2009-12-01 /Springer London

【预订】Advanced Methods in Distance Education: Applications and 美国库房发货，通常付款后3-5周到货！

¥727.00

中国进口图书旗舰店

Dooley, Kim E. /2010-11-02 /暂无出版社信息

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

¥1273

中国进口图书旗舰店

Barton, Keith C. /2006-01-01 /暂无出版社信息

【预订】Numerical Methods in Engineering & Science 97804124 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

暂无作者信息 /1986-11-20 /Springer

【预订】Models & Methods for Project Selection: Concepts from Ma 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

B. Graves, Samuel /2012-12-22 /Springer

【预订】Efficient Methods for Pyran-Heterocycles Via Domino Reac 美国库房发货，通常付款后3-5周到货！

¥941.00

中国进口图书旗舰店

Parmar Narsidas /2014-06-17 /暂无出版社信息

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

¥865.00

书之源外文图书

Donley,Amy M.;Amy M Donley /2012-06-01 /Facts on File

预订Research Methods in Criminal Justice and Criminology [ISBN 【全球购】进口原版图书，约3-6周到达国内后发出

¥3246

书之源外文图书

2019-11-01 /Society Publishing

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

书之源外文图书

2012-10-30 /Birkhauser

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

¥645.00

书之源外文图书

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

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

¥1013

书之源外文图书

Falb, Peter /2020-02-06 /Birkhauser

【3-6周达】Formal Methods for Mobile Computing: 5th Internationa 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Bernardo, Marco /2005-04-13 /Springer

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

¥564.00

书之源外文图书

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

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

¥1105

书之源外文图书

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

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

¥518.00

书之源外文图书

Jeffreys, Harold /2007-03-15 /Koebel Press

海外直订Formal Methods for Open Object-Based Distributed Systems

¥553.00

中华商务进口图书旗舰店

Steffen, Martin /2005-06-02 /Springer

海外直订医药图书Methods In Research And Development Of Biomedical De

¥916.00

中华商务进口图书旗舰店

Wong, Kelvin Kian Loong /2013-03-17 /World Scientific Publishing Co Pte Ltd

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

¥1988

中华商务进口图书旗舰店

Nielsen, Henrik /2010-12-09 /Humana

预订 Nuclear Methods in Science and Technology [ISBN:978036745 【全球购】进口原版图书，一般5-8周左右到国内

¥622.00

书之源外文图书

Tsipenyuk,YuriM. /2019-11-26 /CRC Press

预订 Energy Methods for Free Boundary Problems: Applications t 【全球购】进口原版图书，约3-6周到达国内后发出

¥1363

书之源外文图书

2001-10-26 /Birkhauser

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

[预定]Ensemble Methods: Foundations and Algorithms 海外预定商品，预计60-90天发货，非质量问题不支持退货

.

¥1037.4

中图上海进口图书旗舰店

Zhou, Zhi-Hua /未知

预订 Mixing Methods in Psychology: The Integration of Qualitat 【全球购】进口原版图书，一般5-8周左右到国内

¥1841

书之源外文图书

Todd,Zazie;Nerlich,Brigitte;McKeown,Suza /2004-09-01 /Psychology Press

预订 Research Methods for Medical Graduates [ISBN:978103208725 【全球购】进口原版图书，一般5-8周左右到国内

¥663.00

书之源外文图书

Abhaya Indrayan /2021-06-01 /CRC Press

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

¥748.00

中国进口图书旗舰店

Ahlborn, George H. /2012-08-01 /Biblioscholar

【预订】Modern Methods in Operator Theory and Harmonic Analysis 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030267476 Author 作者 Karapetyants Format 版本 精装 Pages Number 页数 419页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-11-01 Language 语种 其它（含多语） Book Contents 内容简介 This proceedings volume gathers selected, peer-reviewed papers from the "Modern Methods, Problems and Applications of Operator Theory and Harmonic Analysis VIII" (OTHA 2018) conference, which was held in Rostov-on-Don, Russia, in April 2018.The book covers a diverse range of topics in advanced mathematics, including harmonic analysis, functional analysis, operator theory, function theory, differential equations and fractional analysis – all fields that have been intensively developed in recent decades. Direct and inverse problems arising in mathematical physics are studied and new methods for solving them are presented. Complex multiparameter objects t

¥1643

中国进口图书旗舰店

Karapetyants /2019-11-01 /Springer Berlin Heidelberg

预订 New Methods of Market Research and Analysis 市场研究与分析新方法: 9 国外库房发货，通常付款后3-5周到货

¥1417

中国进口图书旗舰店

Erickson, G.S. /2017-10-27 /Edward Elgar Publishing

【3-6周达】Research Methods for Cultural Studies [ISBN:978074862 【全球购】进口原版图书，预计3-6周左右到国内

¥1019

书之源外文图书

Pickering,Michael /2008-06-01 /Edinburgh University Press

预订 Research Methods and Global Online Communities: A Case St 【全球购】进口原版图书，一般5-8周左右到国内

¥1977

书之源外文图书

Maddox,Alexia /2016-04-21 /Routledge

【预订】Operator Methods in Quantum Mechanics 9780198539612 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780198539612 Author 作者 de Lange O. L. Format 版本 精装 Pages Number 页数 390页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1991-11-28 Shipping Weight 商品重量 738g Language 语种 英语 Book Contents 内容简介 The purpose of this volume is two-fold; to provide an introduction to the use of operator methods in quantum mechanics and to serve as a reference work on this topic. Although there has been much research on this, many of these results have remained scattered in the literature and therefore somewhat inaccessible to the non-specialist until now.

¥1301

中国进口图书旗舰店

de Lange O. L. /1991-11-28 /Oxford University Press

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

Product Details 基本信息 ISBN-13 书号 9780821843796 Author 作者 James Abello Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2007-06-07 Language 语种 英语 Book Contents 内容简介 Studies of the spread and containment of disease rely at heart on a variety of mathematical and computational techniques. This collection aims to introduce the fundamentals of epidemiology and to showcase contemporary work using discrete mathematical techniques. Introductory chapters explain the fundamental concepts of epidemiology, the basic tools provided by mathematics and computer science, and some of the outstanding open problems in the area. Contributed articles then highlight particular problems in monitoring disease outbreaks, vaccination strategies, and modelling disease survival factors, and successfully apply techniques such as for

¥1231

中国进口图书旗舰店

James Abello /2007-06-07 /American Mathematical Society (AMS)

【预订】Standard Methods for the Examination of Water and Wastew 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780875532875 Format 版本 平装-胶订 Publication Date 出版日期 2017-07-31 Language 语种 英语

¥5008

中国进口图书旗舰店

4条评论

暂无作者信息 /2017-07-31 /暂无出版社信息

【3-6周达】Novel Methods and Technologies for Enterprise Informa 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Piazolo, Felix; Felderer, Michael /2014-07-18 /Springer

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

Product Details 基本信息 ISBN-13 书号 9780821846940 Author 作者 Stuart P. Hastings Format 版本 精装 Pages Number 页数 373页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2011-12-15 Language 语种 英语 Book Contents 内容简介 This text emphasizes rigorous mathematical techniques for the analysis of boundary value problems for ODEs arising in applications. The emphasis is on proving existence of solutions, but there is also a substantial chapter on uniqueness and multiplicity questions and several chapters which deal with the asymptotic behavior of solutions with respect to either the independent variable or some parameter. These equations may give special solutions of important PDEs, such as steady state or traveling wave solutions. Often two, or even three, approaches to the same problem are described. The advantages and disadvantages of different methods are discu

¥1118

中国进口图书旗舰店

Stuart P. Hastings /2011-12-15 /American Mathematical Society (AMS)

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

Product Details 基本信息 ISBN-13 书号 9780821826218 Author 作者 J. P. C. Greenlees Format 版本 平装-胶订 Pages Number 页数 321页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2001-04-25 Language 语种 英语 Book Contents 内容简介 This volume presents the proceedings from the AMS-IMS-SIAM Summer Research Conference on Homotopy Methods in Algebraic Topology held at the University of Colorado (Boulder). The conference coincided with the sixtieth birthday of J. Peter May. An article is included reflecting his wide-ranging and influential contributions to the subject area. Other articles in the book discuss the ordinary, elliptic and real-oriented Adams spectral sequences, mapping class groups, configuration spaces, extended powers, operads, the telescope conjecture, \(p\)-compact groups, algebraic K theory, stable and unstable splittings, the calculus of functors, t

¥1314

中国进口图书旗舰店

J. P. C. Greenlees /2001-04-25 /American Mathematical Society (AMS)

3-6周达 Kernel Methods in Computer Vision [ISBN:9781601982681] 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥679.00

书之源外文图书

Christoph H Lampert /2009-09-30 /Now Publishers

【3-6周达】Exact Methods in Low-Dimensional Statistical Physics 【全球购】进口原版图书，一般3-6周左右到国内

¥716.00

书之源外文图书

Jacobsen,Jesper /2010-06-18 /Oxford University Press, USA

【3-6周达】Methods for Risk Assessment of Transgenic Plants: III 【全球购】进口原版图书，一般3-6周左右到国内

¥1517

书之源外文图书

Ammann, Klaus /2013-10-03 /Birkhauser

【3-6周达】Some Methods for ECG Signal Analysis for Arrhythmia D 【全球购】进口原版图书，一般3-6周左右到国内

¥598.00

书之源外文图书

Vallem, Sharmila, Komalla, Ashoka Reddy /2017-06-19 /LAP Lambert Academic Publishing

【3-6周达】Simple Methods for Identification of Plastics [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥593.00

书之源外文图书

Dietrich Braun /2013-04-30 /Hanser Publishers

海外直订Latest Methods of Construction Design 建筑设计的最新方法

¥1739

中华商务进口图书旗舰店

No /2019-03-27 /Springer International Publishing AG

Analytical methods for food safety by mass spectrometry 庞国芳

¥710.70定价：¥788.00 (9.02折)

辽宁新华书店旗舰店

2019-11-01 /化学工业出版社

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

¥3285

中国进口图书旗舰店

C. Mothersill,BrianAustin /1988-08-08 /Springer-Verlag Berlin andHeidelberg GmbH Co

预订 按需印刷 Methods in Comparative Effectiveness Research

¥509.15

中图图书旗舰店

2017-02-10 /taylor

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

¥585.00

书之源外文图书

Gorrieri, Roberto /2006-06-09 /Springer

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

¥2561

中国进口图书旗舰店

Xinzhi Liu,DavidSiegel,Xinzhi Liu /1988-08-08 /Marcel Dekker Inc

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

¥1929

中国进口图书旗舰店

Umberto Cherubini,ElisaLuciano,Walter Ve /1988-08-08 /John Wiley SonsLtd

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

¥1460

中国进口图书旗舰店

Pablo Fernandez /1988-08-08 /Academic Press Inc

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

¥726.00

中国进口图书旗舰店

Richard Bagozzi /1988-08-08 /Blackwell Publishers