Analytical Methods in Economics 经济学分析方法: 9780472081356

¥613.00

中国进口图书旗舰店

Akira Takayama /1993-11-30 /University of Michigan Press

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

¥1095

中国进口图书旗舰店

Packer /2010-11-19 /Humana Press

预订 Key Methods in Geography 地理方面的主要研究方法 9780761974918 国外库房发货，通常付款后3-5周到货

¥1362

中国进口图书旗舰店

Clifford, Nicholas /2003-04-18 /Sage

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

¥585.00

书之源外文图书

Larsen, Kim Guldstrand /2019-07-25 /Springer

预订 Hybrid Methods for Modeling and Optimizing Complex System 国外库房发货，通常付款后3-5周到货

¥2409

中国进口图书旗舰店

Predrag S. Stanimirovi? /2025-07-03 /Springer Basel

海外直订Formal Methods in Standards: A Report from the BCS Worki

¥662.00

中华商务进口图书旗舰店

Ruggles, Clive L. N. /1990-07-30 /Springer

【预售 按需印刷】Training Methods for Older Adults

¥754.80

中图图书旗舰店

Jennifer Wissman /2009-08-05 /KS OmniScriptum Publishing

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

¥548.00

中国进口图书旗舰店

Bell, Becky /2012-06-16 /暂无出版社信息

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

Product Details 基本信息 ISBN-13 书号 9781493993529 Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 Humana Publication Date 出版日期 1800-01-01 Language 语种 英语

¥1753

中国进口图书旗舰店

暂无作者信息 /Humana

【预订】Prediction Methods for Blood Glucose Concentration 97833 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319372983 Author 作者 Harald Kirchsteiger Johannes Kepler University Linz Linz Format 版本 平装-胶订 Pages Number 页数 265页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 433g Language 语种 英语 Book Contents 内容简介 This book tackles the problem of overshoot and undershoot in blood glucose levels caused by delay in the effects of carbohydrate consumption and insulin administration. The ideas presented here will be very important in maintaining the welfare of insulin-dependent diabetics and avoiding the damaging effects of unpredicted swings in blood glucose – accurate prediction enables the implementation of counter-measures. The glucose prediction algorithms described are also a key and critical ingredient of automated insulin delivery systems, the so-called “artificial pancr

¥1095

中国进口图书旗舰店

Harald Kirchsteiger Johannes Kepler ... /2016-08-23 /Springer International Publishing

3-6周达 Training Methods to Improve Sports Performance and Hea 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥559.00

书之源外文图书

Goncalves, Bruno, Bravo, Jorge, Folgado, /2022-01-26 /Mdpi AG

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

¥674.00

书之源外文图书

Massoni, Tiago /2018-10-24 /Springer

【3-6周达】Modern Methods in Forest Genetics, 普通生物学 [ISBN:978366 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Miksche,J. P. /2014-04-18 /Springer

【3-6周达】Formal Methods in Architecture: Proceedings of the 6t 【全球购】进口原版图书，一般3-6周左右到国内

¥2444

书之源外文图书

Mora,Plácido Lizancos;Viana,David Leite; /2023-08-02 /Springer

按需印刷Sieve Methods, Exponential Sums, and their Applications 预订，预计下单后3-4周左右发货！

¥672.00

上海外文书店旗舰店

Greaves, G. R. H. (University of Wales C /1997-01-30 /Cambridge University Press

【预订】Research Methods: A Tool for Life 9781108436236 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781108436236 Author 作者 Beins, Bernard C Format 版本 平装-胶订 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2017-09-19 Language 语种 英语

¥855.00

中国进口图书旗舰店

Beins, Bernard C /2017-09-19 /Cambridge University Press

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

¥2160

中华商务进口图书旗舰店

Bowman, Howard /2001-10-21 /Cambridge University Press

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

Product Details 基本信息 ISBN-13 书号 9783319507620 Author 作者 Gol, Ebru Aydin Format 版本 精装 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-15 Language 语种 英语 Book Contents 内容简介 This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is

¥1861

中国进口图书旗舰店

Gol, Ebru Aydin /2017-02-15 /Springer International Publishing

【3-6周达】Newton Methods for Nonlinear Problems: Affine Invaria 【全球购】进口原版图书，一般3-6周左右到国内

¥868.00

书之源外文图书

Deuflhard, Peter /2011-09-16 /Springer

【3-6周达】Formal Methods for Mining Structured Objects [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Garriga, Gemma C. /2015-03-07 /Springer

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

¥585.00

书之源外文图书

Satir Peter /2016-08-12 /Humana

【3-6周达】Formal Methods and Models for System Design: A System 【全球购】进口原版图书，一般3-6周左右到国内

¥2483

书之源外文图书

Gupta, Rajesh /2004-10-01 /Springer

Numerical Methods of Approximation Theory/Numerische Method. 现货图书

¥508.00

中国进口图书旗舰店

Collatz /2014-08-23 /暂无出版社信息

海外直订Formal Methods for Components and Objects: Second Intern

¥662.00

中华商务进口图书旗舰店

Boer, Frank S. de /2004-10-31 /Springer

【预售 按需印刷】Formal Methods for Industrial

¥1030.2

中图图书旗舰店

Gnesi /2012-12-11 /John Wiley & Sons

【预售 按需印刷】Manual of Methods for Marine Plankton

¥825.35

中图图书旗舰店

R. & Srinivasan A. & Khan S. Santhanam /2015-01-01 /Astral International Pvt. Ltd.

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

¥1095

中国进口图书旗舰店

Kogan, M.(编辑) /2011-10-21 /Springer

【预订】Formal Methods for Executable Software Models: 14th Inte 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Bernardo /2014-05-21 /暂无出版社信息

【预订】Numerical Methods for Grid Equations: Volume I Direct Me 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

暂无作者信息 /2011-11-03 /暂无出版社信息

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

¥1012

中国进口图书旗舰店

Boaduo, Nana Adu /2011-04-05 /暂无出版社信息

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

¥1643

中国进口图书旗舰店

Hillisch, Alexander /1988-08-08 /Birkhauser

【预订】Efficient Methods for Preparing Silicon Compounds 978012 美国库房发货，通常付款后3-5周到货！

¥2132

中国进口图书旗舰店

Roesky, Herbert W. /2016-05-31 /Academic Press

【预订】Production Methods: Behind the Scenes of Virtual Inhabit 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Madsen, Kim H. /1988-08-08 /Springer

【预订】Passive Methods as a Solution for Improving Indoor Envir 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Orosa, Jose a. /1988-08-08 /Springer

【预订】Advanced Methods of Solid Oxide Fuel Cell Modeling Y9781 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Milewski, Jaros Aw /1988-08-08 /Springer

【预订】Research Methods for the Behavioral Sciences Y9781412975 美国库房发货，通常付款后3-5周到货！

¥921.00

中国进口图书旗舰店

Privitera, Gregory J. /1988-08-08 /Sage Publications (CA)

【预订】Advanced Methods for Groundwater Pollution Control 97832 美国库房发货，通常付款后3-5周到货！

¥1516

中国进口图书旗舰店

Gambolati /1995-10-12 /Springer Wien

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

¥2577

中国进口图书旗舰店

Siddiqui Pk, MR Mazhar Haq /2014-02-25 /CRC Press

【预订】Geometric Methods in Bio-Medical Image Processing 978364 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Heile, Bjvrn /2012-10-04 /暂无出版社信息

【预订】Analytical Methods in Rotor Dynamics, 2/e 9789400759046 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Brage Tomas /2013-03-15 /Springer Netherlands

【预订】The Latest Methods of Construction Design 9783319227610 美国库房发货，通常付款后3-5周到货！

¥1643

中国进口图书旗舰店

Dynybyl, Vojt Ch /2015-12-15 /Springer International Publishing

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

¥1499

中国进口图书旗舰店

John C. Butcher /2016-07-04 /Wiley-Blackwell

【3-6周达】Optical Methods in Sensing and Imaging for Medical an 【全球购】进口原版图书，一般3-6周左右到国内

¥727.00

书之源外文图书

Indjin,Dragan /2019-01-23 /Mdpi AG

预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥858.00

书之源外文图书

Stegmaier,Johannes /2020-10-09 /Saint Philip Street Press

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

¥585.00

书之源外文图书

2008-08-01 /Springer

预订 Arts Methods for the Self-Representation of Undergraduate 国外库房发货，通常付款后3-5周到货

¥1809

中国进口图书旗舰店

Miranda Matthews /2023-04-07 /Routledge

预订 Vortex Methods: 9780792342762 国外库房发货，通常付款后3-5周到货

¥1011

中国进口图书旗舰店

Lung-an Ying /1997-11-30 /Springer Netherlands

【预订】Research Methods in Legal Translation and Interpreting 9 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138492103 Format 版本 精装 Pages Number 页数 218页 Publisher 出版社 Routledge Publication Date 出版日期 2019-05-03 Language 语种 英语 Book Contents 内容简介 The field of Legal translation and interpreting has strongly expanded over recent years. As it has developed into an independent branch of Translation Studies, this book advocates for a substantiated discussion of methods and methodology, as well as knowledge about the variety of approaches actually applied in the field.

¥1958

中国进口图书旗舰店

暂无作者信息 /2019-05-03 /Routledge

【3-6周达】Simple Methods to Study Pedology and Edaphology of In 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

D. K. Pal /2018-06-04 /Springer International Publishing

3-6周达 高被引Methods for Phase Diagram Determination [ISBN:97800 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥2620

书之源外文图书

Zhao, Ji-Cheng /2007-09-01 /Elsevier Science

【预订】Formal Methods for Components and Objects 9783540747918 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540747918 Author 作者 Frank S. de Boer Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-12-18 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software

¥548.00

中国进口图书旗舰店

Frank S. de Boer /2007-12-18 /Springer Berlin Heidelberg

预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103220 【全球购】进口原版图书，一般5-8周左右到国内

¥1501

书之源外文图书

Panconi,Luca;Nieves,Daniel;Makarova,Mari /2023-12-21 /CRC Press

【预售 按需印刷】Efficient methods for pyran-heterocycles 北京发货，付款后10天内发货

¥843.00

中图图书旗舰店

Narsidas Parmar /2014-06-17 /KS OmniScriptum Publishing

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

¥585.00

书之源外文图书

2012-03-22 /Springer

【3-6周达】Java Methods for Financial Engineering: Applications 【全球购】进口原版图书，一般3-6周左右到国内

¥1004

书之源外文图书

Barker, Philip /2007-05-15 /Springer

【3-6周达】Simple Methods to Study Pedology and Edaphology of In 【全球购】进口原版图书，一般3-6周左右到国内

¥916.00

书之源外文图书

Pal, D K /2019-01-08 /Springer

【预订】Ecological Methods, 4E 9781118895283 美国库房发货，通常付款后3-5周到货！

¥1000

中国进口图书旗舰店

Henderson, Peter A. /2016-02-17 /Wiley-Blackwell

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

¥1487

中国进口图书旗舰店

Ying Lung-An /2006-11-22 /WORLD SCIENTIFIC PUBLISHING

【预售 按需印刷】Numerical Methods for Solving Fredholm Eq 北京发货，付款后10天内发货

¥952.00

中图图书旗舰店

Gunawan Fergyanto E. /2015-10-19 /KS OmniScriptum Publishing

【预订】Modern Methods in Protein- and Nucleic Acid Research 978 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783110122756 Format 版本 精装 Pages Number 页数 446页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 1990-10-01 Product Dimensions 商品尺寸 24 x 17 Shipping Weight 商品重量 2.04 Language 语种 其它（含多语）

¥3493

中国进口图书旗舰店

暂无作者信息 /1990-10-01 /Walter de Gruyter