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

¥595.00

中国进口图书旗舰店

Michael D. Harrison,HaroldThimbleby /1988-08-08 /Cambridge UniversityPress

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

¥518.00

中国进口图书旗舰店

Jonathan A. Smith,RomHarre,Luk van Lange /1988-08-08 /SAGE Publications Ltd

【预订】Tools and Methods for Pollution Prevention Y978079235926 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Subhas K. Sikdar,UrmilaDiwekar /1988-08-08 /Kluwer AcademicPublishers; Softcover reprint of th

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

¥548.00

中国进口图书旗舰店

Frank S.de Boer,MarcelloM. Bonsangue,Sus /1988-08-08 /Springer-Verlag Berlin andHeidelberg GmbH Co

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

¥1095

中国进口图书旗舰店

Fabrice Kordon,MichelLemoine /1988-08-08 /Springer-Verlag New YorkInc.; 1st ed. Softcover of

海外直订New Methods for the Study of Biomolecular Complexes 生物分子

¥1988

中华商务进口图书旗舰店

Ens, W. /1998-02-27 /Springer

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

¥1095

中国进口图书旗舰店

Jaroslaw Milewski,KonradSwirski,Massimo /1988-08-08 /Springer London Ltd

【预售 按需印刷】Research Methods for the Social Sciences

¥1921.85

中图图书旗舰店

Jerry Wellington /2007-10-18 /Bloomsbury USA 3PL

【预订】Digital Methods for Social Science: An Interdisciplinary 美国库房发货，通常付款后3-5周到货！

¥1769

中国进口图书旗舰店

Snee, Helene /2015-10-21 /Palgrave MacMillan

海外直订Direct Methods for Limit and Shakedown Analysis of Struc

¥1325

中华商务进口图书旗舰店

Fuschi, Paolo /2015-02-13 /Springer

海外直订医药图书Methods of Clinical Epidemiology 临床流行病学方法

¥1193

中华商务进口图书旗舰店

Doi, Suhail a. R. /2015-07-09 /Springer

海外直订Field Methods in Marine Science: From Measurements to Mo

¥1060

中华商务进口图书旗舰店

Milroy, Scott /2015-10-29 /Garland Science

【预订】Numerical Methods for Solving Discrete Event Systems: Wi 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031100840 Author 作者 Grassmann Winfried Format 版本 平装-胶订 Pages Number 页数 362页 Publisher 出版社 Springer Publication Date 出版日期 2023-11-19 Language 语种 其它（含多语）

¥658.00

中国进口图书旗舰店

Grassmann Winfried /2023-11-19 /Springer

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

¥1055

中国进口图书旗舰店

Marcoulide /1988-08-08 /Psychology Press

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

¥1576

中国进口图书旗舰店

Tunick, Michael H. /1988-08-08 /American Chemical Society

【预订】Formal Methods in Outer Space 9783030873479 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030873479 Author 作者 Ezio Bartocci Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-28 Language 语种 其它（含多语） Book Contents 内容简介 This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the

¥603.00

中国进口图书旗舰店

2021-09-28 /Springer Berlin Heidelberg

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

¥1019

书之源外文图书

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

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

¥585.00

书之源外文图书

Gorrieri, Roberto /2006-06-09 /Springer

【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

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

¥1977

书之源外文图书

Maddox,Alexia /2016-04-21 /Routledge

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

¥1105

书之源外文图书

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

【预售 按需印刷】DIRECT METHODS IN THE CALCULUS OF VARIATIONS 北京发货，付款后10天内发货

¥1559.88

中图图书旗舰店

ENRICO GIUSTI /1970-08-21 /World Scientific Publishing Co Pte Ltd

预订 【】cryoEM: Methods and Protocols 9781071609682 国外库房发货，通常付款后3-5周到货

Product Details 基本信息 ISBN-13 书号 9781071609682 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2021-12-28 Language 语种 其它（含多语）

¥1150

中国进口图书旗舰店

暂无作者信息 /2021-12-28 /Springer

【预订】Advanced Methods in the Fractional Calculus of Variation 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Malinowska, Agnieszka B. /2015-03-15 /Springer International Publishing

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

¥548.00

中国进口图书旗舰店

Putnick Jr, MR Robert W. /2012-05-10 /Springer

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

¥1533

中国进口图书旗舰店

Yawas Danjuma /2014-04-15 /Springer Berlin Heidelberg

【预订】Research Methods in Physical Activity-8th Edition 978171 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781718201026 Author 作者 Thomas Format 版本 平装-胶订 Pages Number 页数 504页 Publisher 出版社 Human Kinetics Publication Date 出版日期 2022-05-03 Product Dimensions 商品尺寸 8.5 x 11 Language 语种 其它（含多语） Book Contents 内容简介 Text for upper-undergraduate or graduate students in physical activity, exercise science, fitness, physical therapy, rehabilitation, and occupational therapy programs; also a reference for professionals in those areas.

¥1287

中国进口图书旗舰店

2022-05-03 /Human Kinetics

【预订】Training Methods to Improve Sports Performance and Healt 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783036529677 Format 版本 精装 Pages Number 页数 180页 Publisher 出版社 Mdpi AG Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.61 x 6.69 x 0.63 Shipping Weight 商品重量 1.30磅 Language 语种 其它（含多语）

¥600.00

中国进口图书旗舰店

暂无作者信息 /Mdpi AG

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

¥1205

中国进口图书旗舰店

Stowell, Sean R. /Humana Press

【预订】Spectral Methods: Evolution to Complex Geometries and Ap 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Alim, Mohd Worsamin /2014-11-04 /暂无出版社信息

【预订】Predictive Methods in Percutaneous Absorption 9783662473 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Moss /2015-07-15 /Springer Berlin Heidelberg

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

¥1424

中国进口图书旗舰店

Mohr Evelyn /2015-06-15 /Springer International Publishing

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

¥548.00

中国进口图书旗舰店

Schiavone /2012-10-23 /Birkhauser

【预订】Rough Set Methods and Applications: New Developments in 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Polkowski /2012-10-08 /暂无出版社信息

【预订】Projection Methods in Constrained Optimisation and Appli 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Rustem, Berc(作者) /1981-03-01 /暂无出版社信息

【预订】Many-Body Methods for Atoms and Molecules 9781482211900 美国库房发货，通常付款后3-5周到货！

¥2305

中国进口图书旗舰店

Chaudhuri, Rajat Kumar /2016-07-15 /CRC Press

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

¥1095

中国进口图书旗舰店

Laptev, A. /2015-06-15 /Birkhaeuser Verlag Basel

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

¥2132

中国进口图书旗舰店

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

【预订】Efficient Methods for Symbolic Analysis of Complex React 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783838139708 Author 作者 Errami Hassan(作者) Format 版本 平装-胶订 Pages Number 页数 108页 Publisher 出版社 Südwestdeutscher Verlag für Hochschulschriften Publication Date 出版日期 2014-10-22 Product Dimensions 商品尺寸 9.02 x 5.98 x 0.26 Shipping Weight 商品重量 0.37 Language 语种 其它（含多语） Book Contents 内容简介 In this Book, we mainly present efficient algorithmic methods to detect Hopf bifurcation fixed points in (bio)-chemical reaction networks with symbolic rate constants, thereby yielding information about their oscillatory behavior of the networks. The methods use the representations of the systems on convex coordinates that arise from stoichiometric network analysis. One of the methods called HoCoQ reduces the problem of determining the existence of Hopf bifurcation fixed points to a first-order formula over the ordered fi

¥871.00

中国进口图书旗舰店

2014-10-22 /Südwestdeutscher Verlag für Hochschulschriften

【预订】The Survey Methods Workbook - from Design to Analysis 97 美国库房发货，通常付款后3-5周到货！

¥944.00

中国进口图书旗舰店

Buckingham, Alan /2004-02-09 /POLITY

【预订】Numerical Methods for Two-phase Incompressible Flows 978 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Winterson, Lumi /2013-07-15 /Springer Berlin Heidelberg

【预订】Semantic Methods for Knowledge Management and Communicat 美国库房发货，通常付款后3-5周到货！

¥1643

中国进口图书旗舰店

Bruderer, Herbert E. /2013-11-15 /Springer Berlin Heidelberg

【预订】Stochastic Methods and Computer Techniques in Quantum Dy 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Whitson, Angus /2012-01-03 /暂无出版社信息

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

¥1516

中国进口图书旗舰店

Blachut /2001-06-19 /Springer Wien

【预订】Stochastic Methods in Mechanics of Granular Bodies: Cour 美国库房发货，通常付款后3-5周到货！

¥758.00

中国进口图书旗舰店

Puigbo, Josep /1980-12-31 /暂无出版社信息

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

¥1095

中国进口图书旗舰店

Hove George /2014-04-15 /Springer Berlin Heidelberg

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

¥1314

中国进口图书旗舰店

Gong, Edwin Yunhao /Humana Press

【预订】Research Methods in Neurochemistry: Volume 6 97814615776 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Ingrid M?ssinger Thomas Bauer-Friedrich /2012-12-12 /Springer

【预订】Analytical Methods and Instruments for Micro- and Nanoma 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031264337 Author 作者 Henry H. Radamson Format 版本 精装 Pages Number 页数 282页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2023-09-10 Language 语种 其它（含多语） Book Contents 内容简介 This book describes analytical instruments widely used to characterize the nanostructured materials. It provides information about how to assess material quality, defects, the state of surfaces and interfaces, element distributions, strain, lattice distortion, and electro-optical properties of materials and devices. The information provided by this book can be used as a back-up for material processing, material design and debugging of device performance. The basic principles and methodology of each analysis technique is described in separate chapters, adding historic perspectives and recent developments. The data analysis, from simple to adva

¥1861

中国进口图书旗舰店

2023-09-10 /Springer International Publishing

【预订】Analytical Methods for Risk Management 9781032477763 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781032477763 Author 作者 Paul R. Garvey Format 版本 平装-胶订 Pages Number 页数 282页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-01-09 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 A Text on the Foundation Processes, Analytical Principles, and Implementation Practices of Engineering Risk Management Drawing from the author’s many years of hands-on experience in the field, Analytical Methods for Risk Management: A Systems Engineering Perspectivepresents the foundation processes and analytical practices for identifying, analyzing, measuring, and managing risk in traditional systems, systems-of-systems, and enterprise systems. Balances Risk and Decision Theory with Case Studies and Exercises After an introduction to engineering risk management, the book covers the fundamental ax

¥583.00

中国进口图书旗舰店

Paul R. Garvey /2023-01-09 /CRC Press

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

¥2027

中国进口图书旗舰店

Wellington, Jerry /2007-12-18 /Continuum

湿地生物地球化学方法 Methods In Biogeochemistry Of Wetlands 英文原版 R DeL 农业科学RDeLaune

¥2074

中华商务进口图书旗舰店

R DeLaune /2020-01-21 /Acsess

海外直订医药图书Methods in Epidemiology: Population Size Estimation

¥1739

中华商务进口图书旗舰店

Rutherford, George /2021-08-02 /Springer

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

¥476.00

中国进口图书旗舰店

Frank, Lawrence K. /2010-09-10 /Kessinger Publishing

海外直订Soft Methods for Data Science 数据科学的软方法

¥2067

中华商务进口图书旗舰店

Ferraro, Maria Brigida /2016-07-29 /Springer

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

Product Details 基本信息 ISBN-13 书号 9783030582975 Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 970g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contai

¥548.00

中国进口图书旗舰店

暂无作者信息 /2020-08-29 /Springer Berlin Heidelberg