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

【3-6周达】Formal Methods for the Analysis of Biomedical Ontolog 【全球购】进口原版图书，一般3-6周左右到国内

¥722.00

书之源外文图书

Guo-Qiang Zhang; Rashmie Abeysinghe; Lic /2022-11-09 /Springer International Publishing

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

¥585.00

书之源外文图书

Aoki, Toshiaki /2012-09-19 /Springer

【3-6周达】Test Methods for Explosives [ISBN:9781461269045] 【全球购】进口原版图书，一般3-6周左右到国内

¥3011

书之源外文图书

Muhamed Suceska /2012-01-01 /Springer New York

海外直订Robust Methods for Data Reduction 数据约简的鲁棒方法

¥1710

中华商务进口图书旗舰店

Farcomeni, Alessio /2015-04-15 /CRC Press

【预订】The Methods and Materials of Demography [ISBN:9780126419 【全球购】进口原版图书，一般10-12周左右到国内

¥2464

书之源外文图书

Jacob S. Siegel;David a. Swanson /2004-03-17 /Academic Press

【3-6周达】Methods in Biological Oxidative Stress [ISBN:97816173 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Hensley, Kenneth /2010-11-09 /Humana

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

¥516.00

书之源外文图书

Conrad,Victor /2008-11-04 /Kirk Press

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

¥585.00

书之源外文图书

Salaun, Gwen /2011-09-19 /Springer

【预订】Advanced Methods for Geometric Modeling and Numerical Si 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030273330 Author 作者 Giannelli Format 版本 平装-胶订 Pages Number 页数 238页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-09-30 Language 语种 英语 Book Contents 内容简介 This book gathers selected contributions presented at the INdAM Workshop “DREAMS”, held in Rome, Italy on January 2226, 2018. Addressing cutting-edge research topics and advances in computer aided geometric design and isogeometric analysis, it covers distinguishing curve/surface constructions and spline models, with a special focus on emerging adaptive spline constructions, fundamental spline theory and related algorithms, as well as various aspects of isogeometric methods, e.g. efficient quadrature rules and spectral analysis for isogeometric B-spline discretizations. Applications in finite element and boundary element methods are also discussed. Given its sco

¥1533

中国进口图书旗舰店

Giannelli /2020-09-30 /Springer Berlin Heidelberg

【3-6周达】Digital Methods in Developing Textile Products for Pe 【全球购】进口原版图书，一般3-6周左右到国内

¥797.00

书之源外文图书

Aluculesei,Bianca ;Krzywinski,Sybille ;C /2021-10-05 /Materials Research Forum LLC

预订 Fuzzy Methods for Customer Relationship Management and Ma 【全球购】进口原版图书，一般5-8周左右到国内

¥2259

书之源外文图书

Meier, Andreas; Donze, Laurent /2011-12-09 /Business Science Reference

【3-6周达】Kernel Methods in Analysis of Genetic Markers and DNA 【全球购】进口原版图书，一般3-6周左右到国内

¥1192

书之源外文图书

Young Sylvia /2014-11-28 /Scholars' Press

【3-6周达】New Methods of Concurrent Checking [ISBN:978904817876 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Gossel,Michael /2010-10-28 /Springer

【3-6周达】Applied Methods of Cost-Effectiveness Analysis in Hea 【全球购】进口原版图书，一般3-6周左右到国内

¥884.00

书之源外文图书

Gray, Alistair M.; Clarke, Philip M.; Wo /2010-12-09 /Oxford University Press, USA

3-6周达 Select Methods in Chemical Analysis: Third Edition [IS 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥688.00

书之源外文图书

Crookes, William /2017-05-28 /Hansebooks

【3-6周达】New Methods and Applications in Multiple Attribute De 【全球购】进口原版图书，一般3-6周左右到国内

¥916.00

书之源外文图书

Alireza Alinezhad; Javad Khalili /2020-09-01 /Springer

预订 蓝藻研究方法 Methods in Cyanobacterial Research [ISBN:978103249 【全球购】进口原版图书，一般5-8周左右到国内

¥1569

书之源外文图书

Singh,Shailendra Pratap,Sinha,Rajeshwar /2024-06-14 /CRC Press

【3-6周达】Novel Methods for the Visualization of Gene Expressio 【全球购】进口原版图书，一般3-6周左右到国内

¥903.00

书之源外文图书

Oyolu, Chuba /2011-08-18 /LAP Lambert Academic Publishing

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

¥1781

书之源外文图书

Domingues Lucilia /2017-05-25 /Springer

【3-6周达】Formal Methods for Eternal Networked Software Systems 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Bernardo Marco /2011-06-03 /Springer

海外直订医药图书Methods of Nursing Care in Respiratory Diseases 呼吸系统

¥544.00

中华商务进口图书旗舰店

Ciumărnean, Lorena /2022-10-18 /LAP Lambert Academic Publishing

【3-6周达】Mixed Methods Research Pgswrm P [ISBN:9780199747450] 【全球购】进口原版图书，一般3-6周左右到国内

¥644.00

书之源外文图书

Watkins /2016-01-27 /OUP Us

【预订】Numerical Methods for Energy Applications 9783030621902 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030621902 Format 版本 精装 Pages Number 页数 1082页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-07 Language 语种 英语 Book Contents 内容简介 This book provides a thorough guide to the use of numerical methods in energy systems and applications. It presents methods for analysing engineering applications for energy systems, discussing finite difference, finite element, and other advanced numerical methods. Solutions to technical problems relating the application of these methods to energy systems are also thoroughly explored.Readers will discover diverse perspectives of the contributing authors and extensive discussions of issues including:?a wide variety of numerical methods concepts and related energy systems applications;?systems equations and optimization, partial differential equations, and finite difference method;?methods for solving

¥1643

中国进口图书旗舰店

暂无作者信息 /2021-02-07 /Springer Berlin Heidelberg

海外直订Modern Methods of Reflector Antenna Analysis and Design

¥1622.85

中华商务进口图书旗舰店

Scott, Craig R. /1990-03-18 /Artech House Publishers

海外直订Mixed-Methods Research in Wellbeing and Health 幸福与健康的混合方

¥715.00

中华商务进口图书旗舰店

Locke, Rachel /2021-09-05 /Routledge

[预定]Ensemble Methods: Foundations and Algorithms 海外预定商品，预计60-90天发货，非质量问题不支持退货

.

¥1037.4

中图上海进口图书旗舰店

Zhou, Zhi-Hua /未知

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

¥916.00

书之源外文图书

Barker Philip /2010-10-13 /Springer

按需印刷Mixing Methods in Social Research 预订，预计下单后2-3周左右发货！

¥540.00

上海外文书店旗舰店

Ralph Hall /Sage Publications

【3-6周达】Some Methods For Estimation Of Small Area Statistics 【全球购】进口原版图书，一般3-6周左右到国内

¥821.00

书之源外文图书

Sharma,Manoj Kumar;Sisodia,B. V. S. /2013-10-11 /LAP Lambert Academic Publishing

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

¥2156

书之源外文图书

Agusti,Javier /2023-10-29 /Humana

Practical Methods of Optimization 2E 优化的实用方法 第2版 97804714946

¥1454

中国进口图书旗舰店

Roger Fletcher /2000-05-23 /Wiley

【预订】Nonlinear Methods in Riemannian and Kahlerian Geometry: 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Jost, Jurgen /1988-08-08 /Birkhauser

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

¥1003

中华商务进口图书旗舰店

Schlechta, Karl /2018-11-13 /Springer

海外直订The Methods of Ethics 伦理学的方法

¥1219

中华商务进口图书旗舰店

Sidgwick, Henry /2023-02-16 /Outlook Verlag

【预订】Physical Methods for Materials Characterisation, Third E 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781482245233 Author 作者 Peter E. J. Flewitt and Robert K. Wild Format 版本 平装-胶订 Pages Number 页数 750页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-02-01 Language 语种 英语 Book Contents 内容简介 This completely revised and expanded new edition covers the full range of techniques now available for the investigation of materials structure and accurate quantitative determination of microstructural features within materials. It continues to provide the best introductory resource for understanding the interrelationship between microstructure and physical, mechanical, and chemical properties, as well as selection and application of techniques for both basic and applied studies. In particular, changes have been made to reflect developments in analysis of nanoscale and biological materials.

¥1861

中国进口图书旗舰店

Peter E. J. Flewitt and Robert K. Wild /2017-02-01 /CRC Press

【3-6周达】Methods of Celestial Mechanics: Volume II: Appl [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Beutler,Gerhard /2014-11-30 /Springer

预订 Computer Methods and Recent Advances in Geomechanics [ISB 【全球购】进口原版图书，一般5-8周左右到国内

¥5446

书之源外文图书

Oka, Fusao /2014-10-01 /CRC Press

海外直订Basic Methods and Protocols on Sourdough Basic Methods a

¥1872

中华商务进口图书旗舰店

Gobbetti, Marco /2024-02-19 /Humana

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

¥722.00

书之源外文图书

Simao, Adenilso /2011-10-28 /Springer

预订 Modern Methods in Mathematical Physics and their Applicat 国外库房发货，通常付款后3-5周到货

¥2528

中国进口图书旗舰店

2026-02-19 /Birkh?user Science

【预订】Numerical Methods for Pdes: State of the Art Techniques 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030068967 Format 版本 平装-胶订 Publisher 出版社 Wiley Publication Date 出版日期 2019-01-01 Language 语种 英语

¥1095

中国进口图书旗舰店

暂无作者信息 /2019-01-01 /Wiley

【预订】Semigroup Methods for Evolution Equations on Networks 97 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Mugnolo, Delio /Springer

【预订】Splitting Methods in Communication and Imaging, Science, 美国库房发货，通常付款后3-5周到货！

¥1972

中国进口图书旗舰店

Glowinski /2016-09-15 /Springer International Publishing

【预订】Formal Methods for Mining Structured Objects 97836424306 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Toplak, Maggie E. /2011-12-17 /暂无出版社信息

【预订】Meshless Methods in Biomechanics: Bone Tissue Remodellin 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Belinha, Jorge /Springer

海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法

¥616.00

中华商务进口图书旗舰店

Palanque, Philippe /1997-10-28 /Springer

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

¥585.00

书之源外文图书

Liu, Shaoying /2008-10-08 /Springer

3-6周达 Kernel Methods and Machine Learning [ISBN:978110702496 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥1016

书之源外文图书

Kung, S Y /2014-06-23 /Cambridge University Press

海外直订Formal Methods: 24th International Symposium, FM 2021, V

¥1337

中华商务进口图书旗舰店

Huisman, Marieke /2021-12-10 /Springer

海外直订Formal Methods. FM 2019 International Workshops: Porto,

¥662.00

中华商务进口图书旗舰店

Sekerinski, Emil /2020-11-02 /Springer

海外直订Direct Methods for Solving the Boltzmann Equation and St

¥1458

中华商务进口图书旗舰店

Aristov, V. V. /2001-11-29 /Springer

海外直订Energy Methods for Free Boundary Problems: Applications

¥1988

中华商务进口图书旗舰店

Antontsev, S. N. /2001-10-25 /Birkhauser

海外直订Modern Methods in Forest Genetics 森林遗传学的现代方法

¥1988

中华商务进口图书旗舰店

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

海外直订Fusion Methods for Unsupervised Learning Ensembles 无监督学习

¥1458

中华商务进口图书旗舰店

Baruque, Bruno /2010-11-22 /Springer

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

¥585.00

书之源外文图书

Frank S. de Boer; Marcello M. Bonsangue; /2011-01-04 /Springer Berlin Heidelberg

【3-6周达】Passive Methods as a Solution for Improving Indoor En 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Orosa, Jose A. /2014-01-25 /Springer

预订 Modern Methods in Orchid Conservation 兰花保护的现代方法 978052106 国外库房发货, 通常付款后12-16周到货

¥482.00

中国进口图书旗舰店

H. W. Pritchard /2008-05-01 /Cambridge University Press

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

Product Details 基本信息 ISBN-13 书号 9781138351813 Author 作者 Abhaya Indrayan Format 版本 精装 Pages Number 页数 304页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-11-01 Language 语种 英语 Book Contents 内容简介 This book discusses the why and how of each step of data-based medical research that can provide basic information to emerging researchers, medical graduate students who write thesis or publish articles. The chapters are arranged in the sequence of steps for data-based research. Comprehensive coverage of all research steps.

¥2870

中国进口图书旗舰店

Abhaya Indrayan /2019-11-01 /CRC Press

预订 Formal Methods Teaching 7th Formal Methods Teaching Works 国外库房发货，通常付款后3-5周到货

¥575.00

中国进口图书旗舰店

Gustavo Carvalho /2026-06-04 /Springer Berlin Heidelberg