海外直订String Methods for Beginners 面向初学者的字符串方法

¥686.00

中华商务进口图书旗舰店

Giray, Selim /2020-03-29 /Routledge

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

Product Details 基本信息 ISBN-13 书号 9783319254227 Author 作者 Butler Format 版本 平装-胶订 Pages Number 页数 436页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-12-02 Shipping Weight 商品重量 706g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

¥548.00

中国进口图书旗舰店

Butler /2015-12-02 /Springer International Publishing

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

¥1131

书之源外文图书

Routledge /2012-07-31 /Sage Publications Ltd

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

¥1111.8

中图图书旗舰店

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

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

Product Details 基本信息 ISBN-13 书号 9780821846940 Author 作者 Stuart P. Hastings Format 版本 精装 Pages Number 页数 373页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2011-12-15 Language 语种 英语 Book Contents 内容简介 This text emphasizes rigorous mathematical techniques for the analysis of boundary value problems for ODEs arising in applications. The emphasis is on proving existence of solutions, but there is also a substantial chapter on uniqueness and multiplicity questions and several chapters which deal with the asymptotic behavior of solutions with respect to either the independent variable or some parameter. These equations may give special solutions of important PDEs, such as steady state or traveling wave solutions. Often two, or even three, approaches to the same problem are described. The advantages and disadvantages of different methods are discu

¥1118

中国进口图书旗舰店

Stuart P. Hastings /2011-12-15 /American Mathematical Society (AMS)

【预售 按需印刷】Research Methods and Techniques

¥802.40

中图图书旗舰店

Meniga Muthyalu /2012-07-02 /KS OmniScriptum Publishing

【预订】Difference Methods for Singular Perturbation Problems 97 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367386825 Author 作者 Grigory I. Shishkin and Lidia P. Shishkina Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-08-30 Language 语种 英语 Book Contents 内容简介 This book presents a systematic, detailed development of approaches to construct uniformly convergent finite difference schemes for wide classes of singularly perturbed boundary value problems. The first part of the book explores boundary value problems for elliptic and parabolic reaction-diffusion and convection-diffusion equations in n-dimensional domains with smooth and piecewise-smooth boundaries. Containing material published mainly in the last four years, the second section focuses on problems with boundary layers and additional singularities generated by nonsmooth data, unboundedness of the domain, and the perturbation vector par

¥1001

中国进口图书旗舰店

Grigory I. Shishkin and Lidia P. Shis... /2019-08-30 /Chapman and Hall/CRC

预订 Mixed-Methods Research in Wellbeing and Health [ISBN:9780 【全球购】进口原版图书，一般5-8周左右到国内

¥1977

书之源外文图书

Rachel Locke (Editor) ?; Rachel Locke(E /2021-08-01 /Routledge

预订 Formal Methods for Open Object-Based Distributed Systems: 【全球购】进口原版图书，一般5-8周左右到达国内后发出

¥2122

书之源外文图书

Ciancarini, Paolo, Fantechi, Alessandro, /2013-01-17 /Springer

【3-6周达】Formal Methods and Testing: An Outcome of the Fortest 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

2008-06-01 /Springer

【3-6周达】Methods for laparoscopic instrument tracking and moti 【全球购】进口原版图书，一般3-6周左右到国内

¥1261

书之源外文图书

Sanchez-Margallo, Juan a. /2015-03-20 /Grin Publishing

【3-6周达】Research Methods in Neurochemistry: Volume 2 (Softcov 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Marks, Neville /2012-08-08 /Springer

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

¥585.00

书之源外文图书

Groves, Lindsay /2013-09-11 /Springer

【3-6周达】Unified Methods for Censored Longitudinal Data and Ca 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Laan, Mark J Van Der; Robins, James M(Au /2011-05-26 /Springer New York

预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内

¥2609

书之源外文图书

Bilan,Stepan Mykolayovych ; Bilan,Mykola /2020-09-20 /Engineering Science Reference

【3-6周达】Mixed Methods and Cross Disciplinary Research [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥1588

书之源外文图书

Janet McIntyre-Mills; Norma R. A. Romm /2019-07-24 /Springer International Publishing

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

¥2569

中国进口图书旗舰店

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

¥1974

书之源外文图书

Dacorogna,Bernard /2007-11-29 /Springer

预售 按需印刷Methods and Studies for Preservation of the

¥516.00

中图图书旗舰店

Luiz Gustavo Batista Ferreira /2020-03-18 /KS OmniScriptum Publishing

【3-6周达】Lie Methods in Deformation Theory [ISBN:9789811911842 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Manetti, Marco /2022-06-26 /Springer

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

¥1272

中国进口图书旗舰店

Zhu Hua /2015-11-24 /Wiley-Blackwell

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

¥732.00

书之源外文图书

Tappia, Paramjit S ; Blewett, Heather /2020-05-27 /Mdpi AG

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

¥1643

中国进口图书旗舰店

Gefen, Amit /2017-08-31 /Springer

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

¥1643

中国进口图书旗舰店

Lawson, Victoria A. /2017-10-02 /Humana Press

【3-6周达】Key Methods in Geography [ISBN:9781446298589] 【全球购】进口原版图书，一般3-6周左右到国内

¥3062

书之源外文图书

Clifford,Nicholas;Cope,Meghan;Gillespie, /2016-08-29 /Sage Publications Ltd

【3-6周达】Lie Methods in Optics: Proceedings of the Cifmo-CIO W 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Sanchez Mondragon, Javier, Wolf, Kurt B. /2014-08-23 /Springer

预订 Research Methods for Health Care Practice [ISBN:978141293 【全球购】进口原版图书，一般10-12周左右到国内

¥2150

书之源外文图书

Griffiths, Frances /2009-06-03 /Sage Publications Ltd

预订 Modern Methods for Quality Control and Improvement [ISBN: 【全球购】进口原版图书，预计10-12周左右到国内

¥2784

书之源外文图书

2001-11-20 /Wiley

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

¥876.00

书之源外文图书

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

【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

按需印刷Robust Methods for Data Reduction 预订，预计下单后2-3周左右发货！

¥1197

上海外文书店旗舰店

Farcomeni, Alessio,Greco, Luca /2015-04-16 /Taylor & Francis Inc

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

¥1212

书之源外文图书

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

预订 Mixed Methods in Ethnographic Research: Historical Perspe 【全球购】进口原版图书，一般5-8周左右到国内

¥663.00

书之源外文图书

Pelto,Pertti J. /2017-03-05 /Routledge

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

¥1013

书之源外文图书

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

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

Product Details 基本信息 ISBN-13 书号 9781315896007 Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-12-13 Language 语种 英语

¥3548

中国进口图书旗舰店

暂无作者信息 /2017-12-13 /CRC Press

Numerical Methods in Economics

¥681.70

中图图书旗舰店

Kenneth L. Judd /2023-04-04 /MIT Press

预售 按需印刷 Methods of wound healing assessment 北京发货，付款后10天内发货

¥837.00

中图图书旗舰店

Patricia Louise Danielsen /2011-01-21 /KS OmniScriptum Publishing

按需印刷Mixed Methods Perspectives on Communication and Social M 预订，预计下单后2-3周左右发货！

¥567.00

上海外文书店旗舰店

* /2022-07-29 /Taylor & Francis Ltd

海外直订Coring Methods and Systems 取心方法和系统

¥1070

中华商务进口图书旗舰店

Ashena, Rahman /2019-01-10 /Springer

预订 按需印刷 Methods of Heuristics

¥2269.5

中图图书旗舰店

R. Groner; M. Groner; W. F. Bischof /2013-10-01 /taylor

【3-6周达】Physical Methods in Chemistry and Nano Science. Volum 【全球购】进口原版图书，一般3-6周左右到国内

¥607.00

书之源外文图书

Barron, Andrew, Anand, Adrish /2020-05-31 /Midas Green Innovation, Ltd

【3-6周达】Krylov Methods for Nonsymmetric Linear Systems: From 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Meurant, Gérard ; Duintjer Tebbens, Jurj /2021-10-16 /Springer

3-6周达 Copula Methods in Finance [ISBN:9780470863442] 【全球购】进口原版图书，预计3-6周左右到国内

¥1615

书之源外文图书

Cherubini, Umberto; Luciano, Elisa; Vecc /2004-07-01 /Wiley

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

¥585.00

书之源外文图书

De Boer, Frank S. /2007-12-18 /Springer

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

¥1105

书之源外文图书

Kuhn, Ralf /2015-10-07 /Humana

【3-6周达】Formal Methods for Executable Software Models: 14th I 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Bernardo, Marco /2014-05-21 /Springer

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

¥530.00

中华商务进口图书旗舰店

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

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

¥1300

中华商务进口图书旗舰店

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

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

¥662.00

中华商务进口图书旗舰店

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

【预订】Numerical Methods and Analysis of Multiscale Problems 97 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319508641 Author 作者 Madureira Format 版本 平装-胶订 Pages Number 页数 123页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-23 Shipping Weight 商品重量 263g Language 语种 英语 Book Contents 内容简介 This book is about numerical modeling of multiscale problems, and introduces several asymptotic analysis and numerical techniques which are necessary for a proper approximation of equations that depend on different physical scales. ?Aimed at advanced undergraduate and graduate students in mathematics, engineering and physics – or researchers seeking a no-nonsense approach –, it discusses ?examples in their simplest possible settings, removing mathematical hurdles that might hinder a clear understanding of the methods.The problems considered are given by singular perturbed reaction advection diffusion equations in o

¥548.00

中国进口图书旗舰店

Madureira /2017-02-23 /Springer International Publishing

【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

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

¥1862

上海外文书店旗舰店

Vladimir E. Nazaikinskii /De Gruyter

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

¥1298

书之源外文图书

Nanda, Manju /2017-11-22 /Springer

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

¥1750

书之源外文图书

Dacorogna, Bernard /2010-11-29 /Springer

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

¥2004

书之源外文图书

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

【预订】Effective Methods for Software Engineering 9780367458386 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367458386 Author 作者 Boyd L. Summers Format 版本 精装 Pages Number 页数 166页 Publisher 出版社 Auerbach Publications Publication Date 出版日期 2020-06-03 Language 语种 英语 Book Contents 内容简介 Software is important because it is used by a great many people in companies and institutions. This book presents engineering methods for designing and building software. Based on the author’s experience in software engineering as a programmer in the defense and aerospace industries, this book explains how to ensure a software that is programmed operates according to its requirements. It also shows how to develop, operate, and maintain software engineering capabilities by instilling an engineering discipline to support programming, design, builds, and delivery to customers. This book helps software engineers to:Understand the basic concepts, standards, and requirements

¥1430

中国进口图书旗舰店

Boyd L. Summers /2020-06-03 /Auerbach Publications

【3-6周达】英文原版 Methods for Preclinical Research in Addiction (N 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Aguilar, María A. /2021-03-01 /Humana

海外直订Research Methods for Science 科学研究方法

¥559.00

中华商务进口图书旗舰店

Marder, Michael P. /2011-03-01 /Cambridge University Press