【预订】Linear Methods for the Liberal Arts 9781138049215 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138049215 Author 作者 HECKER Format 版本 平装-胶订 Pages Number 页数 450页 Publication Date 出版日期 2018-07-20 Language 语种 英语 Book Contents 内容简介 The Linear Methods textbook covers elementary topics in linear algebra with freshman liberal arts majors as the target audience. Although the textbook includes some theoretical topics, these are covered at an elementary level. In this way, students can have some flavor of the abstract nature of linear algebra without the rigorous approach that would be expected of mathematics majors. We also include proofs of several interesting theorems and properties to give students a justification for some of the results that are presented. However, only selected statements are proved.

¥1307

中国进口图书旗舰店

HECKER /2018-07-20 /暂无出版社信息

海外直订Formal Methods and Software Engineering: 11th Internatio

¥1325

中华商务进口图书旗舰店

Breitman, Karin /2009-11-16 /Springer

预订 按需印刷 Methods in Comparative Effectiveness Research

¥509.15

中图图书旗舰店

2017-02-10 /taylor

海外直订Formal Methods at the Crossroads: From Panacea to Founda

¥662.00

中华商务进口图书旗舰店

Aichernig, Bernhard K. /2003-11-17 /Springer

【预订】Design Methods and Applications for Distributed Embedded 【全球购】进口原版图书，一般10-12周左右到国内

¥585.00

书之源外文图书

Kleinjohann,Bernd;Gao,GuangR.;Kopetz,Her /2013-04-30 /Springer

【预订】Formal Methods: 26th International Symposium, FM 2024, M 【全球购】进口原版图书，一般10-12周左右到国内

¥535.00

书之源外文图书

Platzer,André;Rozier,KristinYvonne;Prade /2024-09-11 /Springer

【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367235482 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 322页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-09-20 Language 语种 英语 Book Contents 内容简介 The book provides an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.

¥2306

中国进口图书旗舰店

Jacek Banasiak /2019-09-20 /CRC Press

【预订】Applied Methods of Cost-Benefit Analysis in Health Care 【全球购】进口原版图书，一般10-12周左右到国内

¥922.00

书之源外文图书

McIntosh,Emma;Clarke,Philip;Frew,Emma;Lo /2010-06-01 /Oxford University Press

【预订】Formal Methods for Dynamical Systems: 13th International 【全球购】进口原版图书，一般10-12周左右到国内

¥535.00

书之源外文图书

Bernardo Marco /2013-06-07 /Springer

【预订】Numerical Methods for Initial Value Problems in Physics 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031335556 Author 作者 Francisco S. Guzmán Format 版本 精装 Pages Number 页数 392页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-07-29 Language 语种 其它（含多语） Book Contents 内容简介 This textbook is a comprehensive overview of the construction, implementation, and application of important numerical methods for the solution of Initial Value Problems (IVPs). Beginning with IVPs involving Ordinary Differential Equations (ODEs) and progressing to problems with Partial Differential Equations (PDEs) in 1+1 and 3+1 dimensions, it provides readers with a clear and systematic progression from simple to complex concepts.The numerical methods selected in this textbook can solve a considerable variety of problems and the applications presented cover a wide range of topics, including population dynamics, chaos, celestial mechanics, geoph

¥906.00

中国进口图书旗舰店

Francisco S. Guzmán /2023-07-29 /Springer Berlin Heidelberg

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

Product Details 基本信息 ISBN-13 书号 9781071635063 Format 版本 精装 Pages Number 页数 280页 Publisher 出版社 Humana Publication Date 出版日期 2023-11-04 Language 语种 其它（含多语）

¥2190

中国进口图书旗舰店

暂无作者信息 /2023-11-04 /Humana

海外直订Formal Methods for Components and Objects: 11th Internat

¥559.00

中华商务进口图书旗舰店

Giachino, Elena /2013-08-25 /Springer

预订 New Methods in Cognitive Psychology [ISBN:9781848726307] 【全球购】进口原版图书，一般5-8周左右到国内

¥1977

书之源外文图书

Spieler,Daniel /2018-03-01 /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

【3-6周达】Modern Methods in Collisional-Radiative Modeling of P 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Ralchenko Yuri /2018-04-07 /Springer

【3-6周达】Green Methods for Wastewater Treatment (2020) [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Naushad,Mu ; Rajendran,Saravanan ; Licht /2020-08-15 /Springer

【3-6周达】Advanced Methods of Solid Oxide Fuel Cell Modeling [I 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Milewski, Jaroslaw /2013-04-21 /Springer

预订 Mixed Methods Research for Improved Scientific [ISBN:9781 【全球购】进口原版图书，一般5-8周左右到国内

¥2379

书之源外文图书

2016-03-04 /Information Science

【3-6周达】Modern Methods in Plant Physiology [ISBN:978938023501 【全球购】进口原版图书，一般3-6周左右到国内

¥937.00

书之源外文图书

Srivastava,G. C. /2010-06-15 /Nipa

【3-6周达】New Methods and Results in Non-Linear Field Equ [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Blanchard,Philippe /2014-08-23 /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

中国进口图书旗舰店

Henry H. Radamson /2023-09-10 /Springer International Publishing

【3-6周达】Methods and Applications of Crystal Structure Predict 【全球购】进口原版图书，一般3-6周左右到国内

¥3104

书之源外文图书

2018-11-15 /Royal Society of Chemistry

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

¥713.00

书之源外文图书

Sharifov, Gulomzhon; Negmatova, Komila /2022-11-26 /Our Knowledge Publishing

预订 Aging Methods and Protocols [ISBN:9781617370830] 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1424

书之源外文图书

Barnett, Yvonne A. /2010-11-09 /Humana

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

¥585.00

书之源外文图书

Ebdon, J. R. /2012-03-19 /Springer

【3-6周达】Agile Methods: 8th Brazilian Workshop, Wbma 2017, Bel 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Santos, Viviane Almeida Dos; Pinto, Gust /2018-01-14 /Springer

3-6周达 Inverse Methods in Physical Oceanography: - Inverse Me 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥661.00

书之源外文图书

Andrew F. Bennett /2008-03-20 /Cambridge University Press

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

¥1588

书之源外文图书

Gasparis Sebastian /2018-07-15 /Humana

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

¥784.00

书之源外文图书

Raj, V., Senthil Vadivu, M. /2011-09-27 /LAP Lambert Academic Publishing

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

¥1385

书之源外文图书

Rodriguez Manuel S. /2018-04-21 /Humana

【预售 按需印刷】Adaptive Methods For Variational Inequali

¥1105

中图图书旗舰店

Chen-Song Zhang /2010-07-19 /KS OmniScriptum Publishing

【3-6周达】Counting Methods for Nowhere-Zero Flows [ISBN:9783844 【全球购】进口原版图书，一般3-6周左右到国内

¥651.00

书之源外文图书

Kochol, Martin /2011-03-28 /LAP Lambert Academic Publishing

3-6周达 Modern Methods in Scientific Computing and Application 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥1213

书之源外文图书

Bourlioux, Anne, Bourlioux, Anne, Gander /2002-09-30 /Kluwer Academic Publishers

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

¥585.00

书之源外文图书

2008-08-01 /Springer

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

¥1105

书之源外文图书

Gossel, Michael /2008-05-09 /Springer

预订 Dynamic Methods and Process Advancements in Mec [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内

¥2381

书之源外文图书

Davim,J. Paulo /2012-05-18 /Engineering Science

现货 Practical Methods for Analysis and Design of HV Installat

Product Details 基本信息 ISBN-13 书号 9780128144602 Author 作者 Popovic, Ljubivoje M. Format 版本 平装-胶订 Pages Number 页数 450页 Publication Date 出版日期 2018-02-22 Language 语种 英语 Book Contents 内容简介 We now have computer programs that allow engineers to simulate, analyze, and optimize the grounding systems of distribution substations. These programs are very powerful, but, without a good understanding of the mutual relationship between the relevant parameters of a complex grounding system, the engineers using these programs can easily make serous errors in their designs procedures. This book helps to prevent these errors. It gives readers a basic understanding of the modeling characteristics of the major components of a complex grounding system. One by one, the author develops and analyses each component as a stand-alone element, then puts them all together and takes into consideration their mutual d

¥1760

中国进口图书旗舰店

Popovic, Ljubivoje M. /2018-02-22 /暂无出版社信息

【预订】Analytical Methods for the Assessment of Maillard Reacti 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319769226 Author 作者 Singla Format 版本 平装-胶订 Pages Number 页数 54页 Publication Date 出版日期 2018-03-19 Shipping Weight 商品重量 113g Language 语种 英语 Book Contents 内容简介 This Brief provides an overview of different analytical methods and techniques for the qualitative and quantitative evaluation of Maillard Reactions and their reaction products in foods during processing and storage. Reliable methodology for the investigation of Maillard Reactions and their products are of utmost importance in food analysis: since Maillard Reactions can on the one hand be desirable and advantageous, influencing the colors, flavors and odors of food products, they can on the other hand also produce detrimental compounds afflicting the consumers’ health (e.g. furfurals, furosine, or acrylamide). This Brief introduces different analytical methods, which can be

¥548.00

中国进口图书旗舰店

Singla /2018-03-19 /暂无出版社信息

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

Product Details 基本信息 ISBN-13 书号 9783030908690 Author 作者 Marieke Huisman Format 版本 平装-胶订 Pages Number 页数 800页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.6 cm Shipping Weight 商品重量 2480g Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited

¥1205

中国进口图书旗舰店

Marieke Huisman /2021-11-27 /Springer Berlin Heidelberg

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

¥1781

书之源外文图书

Muna, F /2019-12-10 /Humana

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

¥1684

书之源外文图书

Weichhart, Thomas /2011-12-02 /Humana

3-6周达 Formal Methods for Distributed Processing: A Survey of 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥563.00

书之源外文图书

2010-12-02 /Cambridge University Press

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

¥2924

书之源外文图书

Liesche, Johannes /2019-06-14 /Humana

3-6周达 Formal Methods: Industrial Use from Model to the Code 【全球购】进口原版图书，预计3-6周左右到国内

¥1708

书之源外文图书

Boulanger, Jean-Louis /2012-06-18 /Wiley-Iste

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

¥585.00

书之源外文图书

Fonseca, Irene; Leoni, Giovann /2010-11-29 /Springer New York

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

¥585.00

书之源外文图书

Bernardo, Marco /2014-05-21 /Springer

【预售 按需印刷】Decision Methods

¥504.05

中图图书旗舰店

Josinaldo Dias /2021-09-11 /KS OmniScriptum Publishing

海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用

¥662.00

中华商务进口图书旗舰店

No /2016-11-12 /Springer International Publishing AG

【预订】Advanced Methods and Technologies in Metallurgy in Russi 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319882222 Format 版本 平装-胶订 Pages Number 页数 214页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-06-04 Shipping Weight 商品重量 472g Language 语种 其它（含多语） Book Contents 内容简介 The book provides a comprehensive overview of the most recent and advanced work on metallurgy sciences and technologies--including material characterization of complicated alloys, heat and surface treatment, ferrous metals metallurgy, and energy savings in pyrometallurgy--in the important Ural industrial region of Russia. Until recently, research into scientific and engineering problems within Russia developed along different lines than those in Europe and North America, but nevertheless resulted in remarkable achievements utilizing different tools and methodologies than those used in the West. Many of these achievements - particular

¥1095

中国进口图书旗舰店

暂无作者信息 /2019-06-04 /Springer International Publishing

【3-6周达】New Methods of Computing Radial Distribution Function 【全球购】进口原版图书，一般3-6周左右到国内

¥814.00

书之源外文图书

Lado,Fred /2019-12-08 /Dissertation Discovery Company, LLC

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

¥1105

书之源外文图书

Marks, Neville /2012-12-12 /Springer

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

Product Details 基本信息 ISBN-13 书号 9783030340711 Author 作者 Kielanowski Format 版本 精装 Pages Number 页数 258页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2019-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 1250g Language 语种 英语 Book Contents 内容简介 The book consists of articles based on the XXXVII Biaowie?a Workshop on Geometric Methods in Physics, 2018. The series of Bia?owie?a workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. This edition of the workshop featured a special session dedicatedto Professor Daniel Sternheimer on the occasion of his 80thbirthday.The previously unpublished papers present cutting-edge current research, typically grounded in geometry and analysis, with applications to classical and quantum physics. For the past sev

¥1643

中国进口图书旗舰店

Kielanowski /2019-11-27 /Birkhaeuser Verlag Basel

【3-6周达】Formal Methods in Outer Space: Essays Dedicated to Kl 【全球购】进口原版图书，一般3-6周左右到国内

¥626.00

书之源外文图书

Bartocci, Ezio ; Falcone, Yliès ; Leucke /2021-09-28 /Springer

预订 General Methods in Biomarker Research and Their Applicati 【全球购】进口原版图书，一般5-8周左右到达国内后发出

¥5076

书之源外文图书

Preedy, Victor R., Patel, Vinood B. /2015-07-14 /Springer

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

¥1684

书之源外文图书

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

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

¥1105

书之源外文图书

Kuhn, Ralf /2015-10-07 /Humana

海外直订Formal Methods in Computer Science 计算机科学中的形式化方法

¥2572

中华商务进口图书旗舰店

Wang, Jiacun /2019-06-24 /Taylor & Francis Ltd