【3-6周达】Formal Methods in Macro-Biology: First International 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Fages, Fran?ois, Piazza, Carla /2014-09-12 /Springer

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

¥1105

书之源外文图书

Jim Davies; Wolfram Schulte; Mike Barnet /2004-10-28 /Springer Berlin Heidelberg

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

¥818.00

中图图书旗舰店

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

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

¥585.00

书之源外文图书

Merz, Stephan /2014-09-23 /Springer

【3-6周达】New Methods to Engineer and Seamlessly Reconfigure Ti 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Wisniewski,Lukasz /2017-03-27 /Springer Vieweg

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

¥1105

书之源外文图书

Proetzel, Gabriele ; Ebersbach, Hilmar /2012-06-23 /Humana

海外直订Simple Methods to Study Pedology and Edaphology of India

¥1233

中华商务进口图书旗舰店

Pal, D. K. /2018-06-04 /Springer

【3-6周达】Agile Methods. Large-Scale Development, Refactoring, 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Dings?yr Torgeir /2014-12-12 /Springer

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

Product Details 基本信息 ISBN-13 书号 9781138413320 Author 作者 Liu Format 版本 精装 Pages Number 页数 383页 Publication Date 出版日期 2017-08-02 Language 语种 英语 Book Contents 内容简介 Based on the International Symposium on Comparison Methods and Stability Theory held in Waterloo, Ontario, Canada, this title presents advances in comparison methods and stability theory in a wide range of nonlinear problems, covering a variety of topics such as ordinary, functional, integro-, partial, and uncertain differential equations.

¥2017

中国进口图书旗舰店

Liu /2017-08-02 /暂无出版社信息

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

¥2926

中国进口图书旗舰店

Gilat, Amos /1988-08-08 /John Wiley & Sons

【预订】Direct Methods in Control Problems 9780817647223 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780817647223 Author 作者 Peter L. Falb Format 版本 精装 Pages Number 页数 311页 Publisher 出版社 Birkh?user Publication Date 出版日期 2020-01-31 Language 语种 英语 Book Contents 内容简介 The primary focus of this book is on explicating the direct method approach. Historically, direct methods have not been fully exploited in control problems. The key is constructing convergent minimizing families. Integration methods (for example the gradient method) and representation methods (such as the Ritz-Galerkin and Finite Element methods) are examined in this text in an abstract (with concrete examples) functional analytic way. The aim is to consider direct methods from a unified general point of view and to provide a stimulus for future research. Explicitly, implicitly and by example, potential areas of research interest are indicated.The book is a suitable reference for gra

¥932.00

中国进口图书旗舰店

Peter L. Falb /2020-01-31 /Birkh?user

【预订】Numerical Methods and Modelling for Engineering 97833192 美国库房发货，通常付款后3-5周到货！

¥876.00

中国进口图书旗舰店

Khoury /2015-12-08 /暂无出版社信息

【预订】Subspace Methods for Pattern Recognition in Intelligent 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Chen, Yen-Wei /Springer

【预订】Numerical Methods and Optimization: A Consumer Guide 978 美国库房发货，通常付款后3-5周到货！

¥1643

中国进口图书旗舰店

Walter, Eric /Springer

【预订】Geometric Methods in Signal and Image Analysis 978110703 国外库房发货, 通常付款后12-16周到货

¥899.00

中国进口图书旗舰店

Novakova Iva /2015-06-18 /Cambridge University Press

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

¥1643

中国进口图书旗舰店

Kielanowski, Piotr /2016-07-15 /Birkhaeuser Verlag Basel

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

¥1533

中国进口图书旗舰店

Muganda, Perpetua M. /2016-05-15 /Humana Press

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

¥748.00

中国进口图书旗舰店

Tony Greenfield /2016-08-24 /Wiley

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

¥525.00

中国进口图书旗舰店

Bernardo /2015-05-15 /Springer International Publishing

【预订】In Silico Methods for Predicting Drug Toxicity 978149393 美国库房发货，通常付款后3-5周到货！

¥1643

中国进口图书旗舰店

Benfenati, Emilio /2016-07-15 /Humana Press

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

¥685.00

书之源外文图书

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

【预售 按需印刷】Formal Methods for Analyzing Privacy Policies

¥1111.8

中图图书旗舰店

Ali Dehghantanha /2011-12-15 /KS OmniScriptum Publishing

海外直订On Methods of Music Theory and (Ethno-) Musicology: From

¥1300

中华商务进口图书旗舰店

Schüler, Nico /2005-12-05 /Peter Lang Gmbh, Internationaler Verlag Der W

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

Product Details 基本信息 ISBN-13 书号 9783031172434 Author 作者 Adrian Riesco Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-10-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.92 Shipping Weight 商品重量 1.40 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

¥548.00

中国进口图书旗舰店

Adrian Riesco /2022-10-27 /Springer Berlin Heidelberg

【预订】Analytic Methods in Arithmetic Geometry 9781470437848 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781470437848 Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2020-02-28 Product Dimensions 商品尺寸 17.78 x 1.27 x 24.77 cm ( Language 语种 其它（含多语） Book Contents 内容简介 This volume contains the proceedings of the Arizona Winter School 2016, which was held from March 12-16, 2016, at The University of Arizona, Tucson, AZ. In the last decade or so, analytic methods have had great success in answering questions in arithmetic geometry and number theory. The School provided a unique opportunity to introduce graduate students to analytic methods in arithmetic geometry. The book contains four articles. Alina C. Cojocaru’s article introduces sieving techniques to study the group structure of points of the reduction of an elliptic curve modulo a rational prime via its division fiel

¥1614

中国进口图书旗舰店

暂无作者信息 /2020-02-28 /American Mathematical Society (AMS)

【预订】Digital Methods In The Humanities: Challenges, Ideas, Pe 【全球购】进口原版图书，一般10-12周左右到国内

¥699.00

书之源外文图书

Edited by Silke Schwandt /2021-01-01 /Bielefeld University Press

3-6周达 Hplc Methods For Clinical Pharmaceutical Analysis - A 【全球购】进口原版图书，预计3-6周左右到国内

¥771.00

书之源外文图书

Hermann Mascher /2012-01-11 /John Wiley & Sons

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

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

¥585.00

书之源外文图书

Butler, Michael /2007-11-07 /Springer

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

¥1013

书之源外文图书

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

预订 Basic Methods in Protein Purification and Analysis: A Lab 【全球购】进口原版图书，一般5-8周左右到国内

¥764.00

书之源外文图书

Richard J. Simpson;Peter D. Adams;Erica /2008-11-01 /Cold Spring Harbor Laboratory Press

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

¥2588

中国进口图书旗舰店

J.I. Ansell,M.J.Phillips /1988-08-08 /Clarendon Press

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

¥2135

中国进口图书旗舰店

Jan Modersitzki /1988-08-08 /Oxford UniversityPress

【预订】Interval Methods for Systems of Equations 国外库房发货, 通常付款后12-16周到货

¥700.00

中国进口图书旗舰店

Arnold Neumaier /1988-08-08 /Cambridge UniversityPress

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

¥637.00

中国进口图书旗舰店

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

【预订】Research Methods for Clinical Therapists: Applied 国外库房发货, 通常付款后12-16周到货

¥734.00

中国进口图书旗舰店

Carolyn M. Hicks BA MA PhDPGCE CPsychol /1988-08-08 /Churchill Livingstone;5

海外直订Modern Methods of Water Purification 水净化的现代方法

¥530.00

中华商务进口图书旗舰店

Don, John /2022-10-26 /Legare Street Press

【预订】Research Methods in Modern Urban Transportation Systems 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030717070 Format 版本 平装-胶订 Pages Number 页数 193页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-05-31 Language 语种 英语 Book Contents 内容简介 This bookpresents many valuable research methods useful in conducting research in modern urban transportation systems and networks. The knowledge base in practical examples, as well as the decision support methods described in thisbook,isof interest to people who face the challenge of searching for solutions to the problems of contemporary transport networks and systems on a daily basis. Thebookis therefore addressed to local authorities related to the planning and development of strategies for selected areas with regard to transport (both in the urban and regional dimensions) and to representatives of business and industry, as people directly involved in the implementation of urban transportat

¥1861

中国进口图书旗舰店

暂无作者信息 /2021-05-31 /Springer Berlin Heidelberg

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

¥1977

书之源外文图书

Dunn-Rankin, Peter; Knezek, Gerald A.; W /2016-04-11 /Psychology Press

预订 Energy Methods for Free Boundary Problems: Applications t 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1363

书之源外文图书

Antontsev, S. N. /2012-10-23 /Birkhauser

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

¥1151

书之源外文图书

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

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

¥2156

书之源外文图书

Kim,Kyeong Kyu;Subramani,Vinod Kumar /2023-04-11 /Humana

预订 Taguchi Methods: Benefits, Impacts, Mathematics, Statisti 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1754

书之源外文图书

Mori, Teruo; Tsai, Shih-Chung /2011-12-01 /American Society of Mechanical Engineers

【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

【预订】Linear Methods for the Liberal Arts 9781138062924 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138062924 Author 作者 HECKER, DAVID | ANDRILLI Format 版本 精装 Pages Number 页数 450页 Publication Date 出版日期 2018-07-20 Language 语种 英语 Book Contents 内容简介 The Linear Methods textbook covers elementary topics in linear algebra with freshman liberal arts majors as the target audience. Although the textbook includes some theoretical topics, these are covered at an elementary level. In this way, students can have some flavor of the abstract nature of linear algebra without the rigorous approach that would be expected of mathematics majors. We also include proofs of several interesting theorems and properties to give students a justification for some of the results that are presented. However, only selected statements are proved.

¥2882

中国进口图书旗舰店

HECKER, DAVID | ANDRILLI /2018-07-20 /暂无出版社信息

预订 Metric Methods of Finsler Spaces and in the Foundations o 国外库房发货，通常付款后3-5周到货

¥910.00

中国进口图书旗舰店

Herbert Busemann /Princeton University Press

【3-6周达】Jets Methods of Cutting Carbide and Super Hard Materi 【全球购】进口原版图书，一般3-6周左右到国内

¥531.00

书之源外文图书

Salenko Oleksandr /2014-11-13 /LAP Lambert Academic Publishing

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

¥1684

书之源外文图书

Lothar Mueller; Askhad K. Sheudshen; Fra /2016-08-23 /Springer International Publishing

【3-6周达】Current Methods of Construction Design: Proceedings o 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Medvecky, Stefan /2000-01-01 /Springer

【3-6周达】Modern Methods of Plant Analysis/Moderne Methoden der 【全球购】进口原版图书，一般3-6周左右到国内

¥1588

书之源外文图书

K. Paech; M. V. Tracey /2011-12-08 /Springer Berlin Heidelberg

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

¥2220

中华商务进口图书旗舰店

Luque-Garcia, Jose L. /2022-11-12 /Humana

海外直订Arts Methods for the Self-Representation of Undergraduat

¥2353

中华商务进口图书旗舰店

Matthews, Miranda /2023-04-06 /Routledge

按需印刷Visual Methods in Social Research 预订，预计下单后2-3周左右发货！

¥648.00

上海外文书店旗舰店

Marcus Banks /Sage Publications

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

¥3528

中国进口图书旗舰店

Bing Yan /2010-08-10 /CRC Press

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

¥761.00

中图图书旗舰店

Andrew Barron /2020-05-30 /Lulu Press

环境追踪分析方法 Methods for Environmental Trace Analysis 英文原版 John 环境科学JohnR.Dean

¥778.00

中华商务进口图书旗舰店

John R. Dean /2003-03-13 /Wiley

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

¥1184

书之源外文图书

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

【预订】Diagnostic Methods in the Cardiac Catheterization Labora 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138114111 Author 作者 || Format 版本 平装-胶订 Pages Number 页数 306页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-06-07 Language 语种 英语 Book Contents 内容简介 This premier reference guide discusses the specialized conditions that every interventional cardiologist encounters in the cardiac catheterization lab and examines advanced clinical approaches to diagnosis and treatment. It provides the tools necessary for correctly identifying complex coronary lesions and plaques as well as the information needed to accurately recognize rare disease progression and patterns. Exploring all the essential diagnostic modalities needed in the lab, the book covers intracardiac ultrasonography, multidetecter computed tomography, pre-procedure planning, guidance of stent deployment, and stent thrombosis treatment.

¥775.00

中国进口图书旗舰店

|| /2017-06-07 /CRC Press