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

¥662.00

中华商务进口图书旗舰店

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

按需印刷100 Methods for Total Quality Management 预订，预计下单后2-3周左右发货！

¥740.00

上海外文书店旗舰店

Gopal K. Kanji /Sage Publications

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

¥621.00

中国进口图书旗舰店

1条评论

Lap-Chi Lau,R. Ravi,MohitSingh /1988-08-08 /Cambridge UniversityPress

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

¥1768

中国进口图书旗舰店

John Lindsay Meek /1988-08-08 /Spon Press

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

¥661.00

中国进口图书旗舰店

Gary A. Sod /1988-08-08 /Cambridge UniversityPress

【预订】Modern Methods & Applications In Analysis Of 美国库房发货，通常付款后3-5周到货！

¥3792

中国进口图书旗舰店

Jehuda Yinon,ShmuelZitrin /1988-08-08 /John Wiley SonsLtd

【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

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

【预订】Spectral Methods Using Multivariate Polynomials On The U 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367345471 Author 作者 Kendall Atkinson Format 版本 精装 Pages Number 页数 262页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-11-08 Language 语种 英语 Book Contents 内容简介 Spectral Methods Using Multivariate Polynomials on the Unit Ball is a research level text on a numerical method for the solution of partial differential equations. The authors introduce, illustrate with examples, and analyze ’spectral methods’ that are based on multivariate polynomial approximations.

¥2306

中国进口图书旗舰店

Kendall Atkinson /2019-11-08 /Chapman and Hall/CRC

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

Product Details 基本信息 ISBN-13 书号 9783030638818 Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic S

¥711.00

中国进口图书旗舰店

暂无作者信息 /2020-11-20 /Springer Berlin Heidelberg

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

¥1588

书之源外文图书

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

预订 Numerical Methods for Fluid Dynamics 9781441964113 国外库房发货，通常付款后3-5周到货

Product Details 基本信息 ISBN-13 书号 9781441964113 Author 作者 Durran Format 版本 精装 Pages Number 页数 516页 Publication Date 出版日期 2010-09-23 Shipping Weight 商品重量 955g Language 语种 英语

¥1034

中国进口图书旗舰店

Durran /2010-09-23 /暂无出版社信息

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

¥963.00

中华商务进口图书旗舰店

Gu, Jiong /1994-11-29 /Kluwer Academic Publishers

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

¥1988

中华商务进口图书旗舰店

Nielsen, Henrik /2017-04-29 /Humana

海外直订Proof Methods for Modal and Intuitionistic Logics 模态逻辑与直

¥2651

中华商务进口图书旗舰店

Fitting, M. /1983-04-29 /Springer

海外直订Kernel Methods for Remote Sensing Data Analysis 遥感数据分析的核

¥1590

中华商务进口图书旗舰店

No /2009-10-22 /John Wiley & Sons Inc

【预订】Numerical Methods For Solving Partial Differential Equat 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781119316114 Author 作者 George Pinder Format 版本 精装 Pages Number 页数 320页 Publication Date 出版日期 2017-12-22 Language 语种 英语

¥1706

中国进口图书旗舰店

George Pinder /2017-12-22 /暂无出版社信息

按需印刷Formal Methods in Computer Science 预订，预计下单后3-4周左右发货！

¥1764

上海外文书店旗舰店

Wang, Jiacun,Tepfenhart, William /2019-06-25 /Taylor & Francis Ltd

海外直订Ford Methods and the Ford Shops 福特方法和福特商店

¥584.00

中华商务进口图书旗舰店

Arnold, Horace Lucien /2014-08-06 /Literary Licensing, LLC

【3-6周达】Seismic Methods in Uranium Exploration [ISBN:97838433 【全球购】进口原版图书，一般3-6周左右到国内

¥1048

书之源外文图书

Gyrfi, Istvn, Hajnal, Zoltan, Gyorfi, Is /2010-09-26 /LAP Lambert Academic Publishing

【3-6周达】Bilevel Methods for Image Reconstruction [ISBN:978163 【全球购】进口原版图书，一般3-6周左右到国内

¥1212

书之源外文图书

Crockett, Caroline, Fessler, Jeffrey A. /2022-05-05 /Now Publishers

【3-6周达】Payment Methods and Finance for International Trade ( 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

Kim, Sang Man /2020-10-01 /Springer

海外直订Research Methods for Engineers 工程师的研究方法

¥607.00

中华商务进口图书旗舰店

Thiel, David V. /2014-11-09 /Cambridge University Press

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

Product Details 基本信息 ISBN-13 书号 9780367886257 Author 作者 Ken Chong Format 版本 平装-胶订 Pages Number 页数 296页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-03-31 Language 语种 英语 Book Contents 内容简介 In the dynamic digital age, the widespread use of computers has transformed engineering and science. A realistic and successful solution of an engineering problem usually begins with an accurate physical model of the problem and a proper understanding of the assumptions employed. With computers and appropriate software we can model and analyze complex physical systems and problems.However, efficient and accurate use of numerical results obtained from computer programs requires considerable background and advanced working knowledge to avoid blunders and the blind acceptance of computer results. This book provides the background and knowledge necessary to avoid these pitfalls, especi

¥599.00

中国进口图书旗舰店

Ken Chong /2020-03-31 /CRC Press

预售 按需印刷 Methods and Paradigms in Education Researc教育研究方法与范式 北京发货，付款后10天内发货

¥1457.25

中图图书旗舰店

Ling, Lorraine /2016-10-31 /IGI出版社

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

¥2004

书之源外文图书

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

【预售 按需印刷】Narrative Methods for Organizational & Co

¥816.00

中图图书旗舰店

David M. Boje /2000-09-05 /Sage Publications

【预售 按需印刷】Research Methods in Accounting

¥1882.75

中图图书旗舰店

Malcolm Smith /2019-11-08 /Sage Publications

预订 Fourier Methods in Science and Engineering 科学与工程中的傅立叶方法: 国外库房发货，通常付款后3-5周到货

¥769.00

中国进口图书旗舰店

Wen Li| Weiming Sun /2025-09-28 /CRC Press

海外直订Golgi: Methods and Protocols Golgi: Methods and Protocol

¥2701

中华商务进口图书旗舰店

2023-12-13 /Humana

海外直订Novel Methods for Monitoring and Managing Land and Water

¥1988

中华商务进口图书旗舰店

Mueller, Lothar /2015-11-22 /Springer

【预售 按需印刷】PRACTICAL METHODS FOR SUCCESSFUL CLASSROO 北京发货，付款后10天内发货

¥905.00

中图图书旗舰店

DR. NANA ADU-PIPIM BOADUO /2011-04-05 /KS OmniScriptum Publishing

海外直订Direct Methods in the Calculus of Variations 变分法中的直接法

¥2253

中华商务进口图书旗舰店

Dacorogna, Bernard /2007-11-28 /Springer

海外直订Hybrid Methods of Molecular Modeling 分子模型的混合方法

¥6628

中华商务进口图书旗舰店

Tchougréeff, Andrei L. /2010-11-21 /Springer

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

¥1325

中华商务进口图书旗舰店

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

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

¥3407

中国进口图书旗舰店

2005-04-04 /Wiley-Interscience

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

¥585.00

书之源外文图书

Dongol, Brijesh, Petre, Luigia, Smith, G /2019-10-16 /Springer

【3-6周达】Methods and Materials for Remote Sensing: Infrared Ph 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Abrahamian, Yuri /2012-11-21 /Springer

【3-6周达】Direct Methods in the Calculus of Variations [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内

¥1750

书之源外文图书

Dacorogna, Bernard /2010-11-29 /Springer

【3-6周达】Formal Methods for Safety and Security: Case Studies 【全球购】进口原版图书，一般3-6周左右到国内

¥1298

书之源外文图书

Nanda, Manju /2017-11-22 /Springer

【预订】Bayesian Methods for Management and Business: Pragmatic 美国库房发货，通常付款后3-5周到货！

¥1840

中国进口图书旗舰店

Hahn, Eugene D. /1988-08-08 /John Wiley & Sons

【预订】Advanced Methods for Processing and Visualizing the Rene 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789811586088 Format 版本 平装-胶订 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-10-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.3 cm Shipping Weight 商品重量 540g Language 语种 其它（含多语） Book Contents 内容简介 This book is a collection of research work conducted by researchers at Centre for Smart Grid Energy Research (CSMER), Institute of Autonomous System, Universiti Teknologi PETRONAS (UTP), and Seismic Modelling and Inversion Group, King Abdullah University of Science and Technology (KAUST), Saudi Arabia. The book covers topics in the field of renewable energy where visualization, artificial neural network and deep learning techniques have been applied to optimize the performance of various applications in energy-related industries. These examples include a natural gas vehicle (NGV), a s

¥1753

中国进口图书旗舰店

暂无作者信息 /2021-10-22 /Springer Berlin Heidelberg

预订 Formal Methods for Nonmonotonic and Related Logics Vol. I 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥876.00

书之源外文图书

Karl Schlechta /2018-11-15 /Springer International Publishing

预订 Formal Methods 26th International Symposium, FM 2024, Mil 国外库房发货，通常付款后3-5周到货

¥1724

中国进口图书旗舰店

2024-10-14 /Springer Berlin Heidelberg

【预售 按需印刷】 Bispectral Methods of Signal Processing 北京直发，付款后10日内发货

¥2004

中图图书旗舰店

Totsky, Alexander V. /2014-11-26 /DeGruyter德古意特出版社

预售 按需印刷 Methods and Applications for Advancing Dis推进远程教育技术的方 北京发货，付款后10天内发货

¥1495.5

中图图书旗舰店

Syed, Mahbubur /2009-04-30 /IGI出版社

按需印刷Fuzzy Methods for Customer Relationship Management and M 预订，预计下单后2-3周左右发货！

¥2355

上海外文书店旗舰店

Andreas Meier /IGI Global

海外直订Formal Methods and Stochastic Models for Performance Eva

¥662.00

中华商务进口图书旗舰店

Wolter, Katinka /2007-09-30 /Springer

按需印刷DGYT Methods of Noncommutative Analysis 预订，预计下单后3-6周左右发货！

¥1862

上海外文书店旗舰店

Vladimir E. Nazaikinskii /De Gruyter

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

Product Details 基本信息 ISBN-13 书号 9781138413177 Author 作者 Wolfgang Boehm Format 版本 精装 Pages Number 页数 196页 Publisher 出版社 A K Peters/CRC Press Publication Date 出版日期 2020-12-18 Language 语种 英语 Book Contents 内容简介 This book is written for engineers and other practitioners using numerical methods in their work and serves as a textbook for courses in applied mathematics and numerical analysis.

¥2613

中国进口图书旗舰店

Wolfgang Boehm /2020-12-18 /A K Peters/CRC Press

海外直订Formal Methods for Nonmonotonic and Related Logics: Vol

¥1233

中华商务进口图书旗舰店

Schlechta, Karl /2018-11-11 /Springer

海外直订Formal Methods: Applications and Technology: 11th Intern

¥662.00

中华商务进口图书旗舰店

Brim, Lubos /2007-02-28 /Springer

海外直订Formal Methods and Object Technology 形式化方法与对象技术

¥1325

中华商务进口图书旗舰店

Goldsack, Stephen J. /1996-04-25 /Springer

海外直订医药图书Methods for Meta-Analysis in Medical Research 医学研究中的

¥1547

中华商务进口图书旗舰店

Sutton, Alexander J. /2000-01-01 /Wiley

海外直订Formal Methods for Distributed System Development: Forte

¥2651

中华商务进口图书旗舰店

Bolognesi, Tommaso /2000-01-01 /Springer

【3-6周达】On Methods, Volume 2: Books III-IV. on Regressus [ISB 【全球购】进口原版图书，一般3-6周左右到国内

¥553.00

书之源外文图书

1条评论

Zabarella,Jacopo /2014-04-14 /Harvard University Press

3-6周达 Advanced Methods and Mathematical Modeling of Biofilms 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥1518

书之源外文图书

Delavar, Mojtaba Aghajani, Wang, Junye /2022-05-18 /Academic Press

【3-6周达】Powerful Methods for Solving Nonlinear evolution Equa 【全球购】进口原版图书，一般3-6周左右到国内

¥820.00

书之源外文图书

Arnous, A. H. /2014-11-10 /LAP Lambert Academic Publishing