海外直订Direct Methods for Limit State of Materials and Structur

¥1872

中华商务进口图书旗舰店

Garcea, Giovanni /2023-08-23 /Springer

海外直订Lie Methods in Optics II: Proceedings of the Second Work

¥662.00

中华商务进口图书旗舰店

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

【3-6周达】Formal Methods: 22nd International Symposium, FM 2018 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

Havelund, Klaus /2018-08-20 /Springer

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

¥662.00

中华商务进口图书旗舰店

Salaün, Gwen /2011-09-18 /Springer

海外直订New Methods in Quantum Theory 量子理论的新方法

¥1325

中华商务进口图书旗舰店

Tsipis, C. a. /2011-09-25 /Springer

【预订】Numerical Methods for Diffusion Phenomena in Building Ph 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030315764 Author 作者 Mendes Nathan Format 版本 平装-胶订 Pages Number 页数 245页 Publisher 出版社 Springer Nature Switzerland AG Publication Date 出版日期 2021-01-10 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 820g Language 语种 英语 Book Contents 内容简介 This book is the second edition of Numerical methods for diffusion phenomena in building physics: a practical introduction originally published by PUCPRESS (2016). It intends to stimulate research in simulation of diffusion problems in building physics, by providing an overview of mathematical models and numerical techniques such as the finite difference and finite-element methods traditionally used in building simulation tools. Nonconventional methods such as reduced order models, boundary integral approaches and spectral methods are presented, which might be

¥548.00

中国进口图书旗舰店

Mendes Nathan /2021-01-10 /Springer Nature Switzerland AG

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

Product Details 基本信息 ISBN-13 书号 9783030019587 Author 作者 Falcone Format 版本 精装 Pages Number 页数 240页 Publication Date 出版日期 2019-01-20 Language 语种 英语 Book Contents 内容简介 This work presents recent mathematical methods in the area of optimal control with a particular emphasis on the computational aspects and applications. Optimal control theory concerns the determination of control strategies for complex dynamical systems, in order to optimize some measure of their performance. Started in the 60’s under the pressure of the "space race" between the US and the former USSR, the field now has a far wider scope, and embraces a variety of areas ranging from process control to traffic flow optimization, renewable resources exploitation and management of financial markets. These emerging applications require more and more efficient numerical methods for their solution, a very difficult task due the h

¥1205

中国进口图书旗舰店

Falcone /2019-01-20 /暂无出版社信息

【预订】Interval Methods for Solving Nonlinear Constraint Satisf 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030137946 Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2019-03-19 Language 语种 英语 Book Contents 内容简介 This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals’ endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.

¥1095

中国进口图书旗舰店

暂无作者信息 /2019-03-19 /Springer

【3-6周达】Methods of Applied Fourier Analysis [ISBN:97814612726 【全球购】进口原版图书，一般3-6周左右到国内

¥769.00

书之源外文图书

Ramanathan, Jayakumar(Author) /2012-10-23 /Birkhauser Boston

Elementary Methods of Graph Ramsey Theory 9783031127618

Product Details 基本信息 ISBN-13 书号 9783031127618 Author 作者 Li Yusheng Format 版本 精装 Pages Number 页数 346页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.81 Shipping Weight 商品重量 1.50 Language 语种 其它（含多语）

¥1156

中国进口图书旗舰店

Li Yusheng /Springer

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

Product Details 基本信息 ISBN-13 书号 9789819975839 Author 作者 Yi Li Format 版本 平装-胶订 Pages Number 页数 288页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-23 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

¥711.00

中国进口图书旗舰店

Yi Li /2023-11-23 /Springer Berlin Heidelberg

按需印刷Research Methods for Public Administrators:Third Edition 预订，预计下单后3-4周左右发货！

¥668.00

上海外文书店旗舰店

Johnson, Gail (Independent Researcher, U /2014-03-30 /Taylor & Francis Ltd

海外直订Modern Methods in Orchid Conservation 兰花保护的现代方法

¥1773

中华商务进口图书旗舰店

Pritchard, H. W. /1990-01-25 /Cambridge University Press

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

¥1202

书之源外文图书

Deuflhard, Peter /2010-12-01 /Springer

【3-6周达】Field Methods for Petroleum Geologists: A Guide to Co 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Assaad,Fakhry A. /2008-10-23 /Springer

3-6周达 Research Methods: Concepts, Methodologies, Tools, and 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥6018

书之源外文图书

Irma /2015-02-18 /Information Science Reference

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

¥1052

书之源外文图书

Wang, Jiacun /2019-07-05 /CRC Press

预订 Mucins: Methods and Protocols 粘蛋白：方法与协议: 9781071636725 国外库房发货，通常付款后3-5周到货

¥1533

中国进口图书旗舰店

Akihiko Kameyama /2025-02-14 /Humana Press

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

¥585.00

书之源外文图书

Satir Peter /2018-06-09 /Humana

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

¥1739

中华商务进口图书旗舰店

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

海外直订Ramsey Methods in Analysis 分析中的Ramsey方法

¥492.00

中华商务进口图书旗舰店

Argyros, Spiros A. /2005-05-18 /Birkhauser

海外直订Modern Methods in Analytical Morphology 现代分析形态学方法

¥662.00

中华商务进口图书旗舰店

Gu, J. /2012-10-23 /Springer

预售 按需印刷 Methods for Analyzing and Leveraging Onlin分析和利用在线学习数 北京发货，付款后10天内发货

¥1074

中图图书旗舰店

Hai-Jew, Shalin /2018-10-05 /IGI出版社

海外直订Formal Methods for Safety and Security 安全与保安的正式方法

¥1337

中华商务进口图书旗舰店

2019-01-03 /Springer Verlag, Singapore

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

¥1850

中华商务进口图书旗舰店

Weichhart, Thomas /2011-12-01 /Humana

预订 Hplc Methods for Recently Approved Pharmaceuticals *批准*的高 国外库房发货，通常付款后3-5周到货

¥3407

中国进口图书旗舰店

2005-04-04 /Wiley-Interscience

海外直订Modern Methods in Operator Theory and Harmonic Analysis:

¥1739

中华商务进口图书旗舰店

Karapetyants, Alexey /2019-08-28 /Springer

海外直订Pade Methods for Painleve Equations 疼痛级方程的分页方法

¥735.00

中华商务进口图书旗舰店

Nagao, Hidehito /2021-09-01 /Springer Verlag, Singapore

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

¥1559.88

中图图书旗舰店

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

【3-6周达】Fusion Methods for Time-Series Classification [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥865.00

书之源外文图书

Buza, Krisztian /2000-01-01 /Peter Lang Gmbh, Internationaler Verlag Der W

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

¥1974

书之源外文图书

Inadomi, John M ; Bhattacharya, Renuka ; /2019-12-10 /Humana

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

中国进口图书旗舰店

Ezio Bartocci /2021-09-28 /Springer Berlin Heidelberg

【预订】Formal Methods: Foundations and Applications [ISBN:97830 【全球购】进口原版图书，一般10-12周左右到国内

¥674.00

书之源外文图书

C. Nogueira /2024-11-29 /Springer

海外直订New Methods of Food Preservation 食品保鲜新方法

¥1988

中华商务进口图书旗舰店

Gould, Grahame W. /1995-12-31 /Springer

海外直订Formal Methods in Databases and Software Engineering: Pr

¥662.00

中华商务进口图书旗舰店

1993-02-23 /Springer

海外直订New Methods of Geostatistical Analysis and Graphical Pre

¥1988

中华商务进口图书旗舰店

Bachi, Roberto /1999-10-30 /Springer

海外直订Direct Methods of Solving Crystal Structures 直接求解晶体结构的方法

¥2651

中华商务进口图书旗舰店

Schenk, Henk /2014-01-08 /Springer

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

¥802.00

中华商务进口图书旗舰店

Groote, Jan Friso /2022-08-11 /Springer

预订 Wavelet Methods for Time Series Analysis 时间序列分析的小波方法 9780 国外库房发货, 通常付款后12-16周到货

¥879.00

中国进口图书旗舰店

Donald B. Percival /2006-06-01 /Cambridge University Press

预订 Current Methods in Forensic Gunshot Residue Analysis [ISB 【全球购】进口原版图书，一般5-8周左右到国内

¥2181

书之源外文图书

Schwoeble,A. J.;Exline,David L. /2000-06-27 /CRC Press

【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367579401 Author 作者 James K. Hallenburg Format 版本 平装-胶订 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.89 Language 语种 其它（含多语） Book Contents 内容简介 These three works cover the entire field of formation evaluation, from basic concepts and theories, through standard methods used by the petroleum industry, on to new and exciting applications in environmental science and engineering, hydrogeology, and other fields. Designed to be used individually or as a set, these volumes represent the first comprehensive assessment of all exploration methodologies. No other books offer the breadth of information and range of applications available in this set.

¥794.00

中国进口图书旗舰店

James K. Hallenburg /2020-06-30 /CRC Press

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

¥662.00

中华商务进口图书旗舰店

Gorrieri, Roberto /2006-06-08 /Springer

海外直订医药图书Methods in Asthmology 方法在Asthmology

¥662.00

中华商务进口图书旗舰店

Allegra, Luigi /2012-05-06 /Springer

海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法

¥1988

中华商务进口图书旗舰店

Ogawa, Hiroto /2013-07-23 /Springer

预售 按需印刷 Methods for Diseases Diagnostic with Appli 北京发货，付款后10天内发货

¥638.00

中图图书旗舰店

Chesca Antonella /2014-02-10 /KS OmniScriptum Publishing

【预订】New Methods of Polymer Synthesis: Volume 2 [ISBN:9789401 【全球购】进口原版图书，一般10-12周左右到国内

¥2156

书之源外文图书

Sànchez,NormaG.;Eastmond,G.C. /2012-10-21 /Springer

海外直订Sumo: Methods and Protocols 相扑：方法和协议

¥1850

中华商务进口图书旗舰店

Rodriguez, Manuel S. /2016-07-31 /Humana

海外直订Smart Methods for Environmental Externalities 环境外部性的智能方法

¥1422

中华商务进口图书旗舰店

Roo, Gert de /2011-12-27 /Taylor & Francis Ltd

海外直订Formal Methods and Software Engineering: 5th Internation

¥1325

中华商务进口图书旗舰店

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

预售 按需印刷 Methods and Algorithms for Molecular Docki分子对接的药物设计和 北京发货，付款后10天内发货

¥1802.25

中图图书旗舰店

Dastmalchi, Siavoush /2016-05-03 /IGI出版社

海外直订Novel Methods and Technologies for Enterprise Informatio

¥1203

中华商务进口图书旗舰店

Piazolo, Felix /2014-07-17 /Springer

【预售 按需印刷】Kernel Methods in Analysis of Genetic Mar 北京发货，付款后10天内发货

¥1400

中图图书旗舰店

Young Sylvia /2014-11-28 /KS OmniScriptum Publishing

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

¥1974

书之源外文图书

Lundgren, Magnus /2015-05-20 /Humana

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

¥1385

书之源外文图书

Padmanabhan, Radhakrishnan /2016-08-23 /Humana

【预订】Numerical Methods for Fractal-Fractional Differential Eq 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781032415222 Author 作者 Muhammad Altaf Khan and Abdon Atangana Format 版本 精装 Pages Number 页数 432页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-05-04 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 This book is about the simulation and modeling of novel chaotic systems within the frame of fractal-fractional operators. The methods used, their convergence, stability, and error analysis are given, and this is the first book to offer mathematical modeling and simulations of chaotic problems with a wide range of fractal-fractional operators, to find solutions.Numerical Methods for Fractal-Fractional Differential Equations and Engineering: Simulations and Modeling provides details for stability, convergence, and analysis along with numerical methods and their solution procedures for

¥2485

中国进口图书旗舰店

Muhammad Altaf Khan and Abdon Atangana /2023-05-04 /CRC Press

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

¥1753

中国进口图书旗舰店

1条评论

Kawakami, Koichi /2017-01-31 /Springer

【预订】Asymptotic Methods in Mechanics of Solids 9783319386829 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Smirnov, Andrei L. /Birkhauser

【预订】New Methods and Applications for UAVs [ISBN:978372585023 【全球购】进口原版图书，约10-12周到达国内后发出

¥805.00

书之源外文图书

2025-09-08 /Mdpi AG

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

¥2020

中国进口图书旗舰店

Rose, Mandy /2016-04-19 /Wiley-ISTE

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

¥1095

中国进口图书旗舰店

Easter, Faith /2015-09-15 /Birkhaeuser Verlag Basel