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

¥1105

书之源外文图书

Milewski, Jaroslaw /2013-04-21 /Springer

【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

海外直订Linear Methods: A General Education Course 线性方法:通识教育课程

¥1282

中华商务进口图书旗舰店

Hecker, David /2018-08-08 /CRC Press

海外直订Data, Methods and Theory in the Organizational Sciences:

¥699.00

中华商务进口图书旗舰店

Murphy, Kevin R. /2022-03-14 /Routledge

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

¥1385

书之源外文图书

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

海外直订Formal Methods for Computational Systems Biology: 8th In

¥662.00

中华商务进口图书旗舰店

Bernardo, Marco /2008-07-31 /Springer

海外直订医药图书Methods in Epidemiology: Population Size Estimation

¥1739

中华商务进口图书旗舰店

Rutherford, George /2022-08-03 /Springer

海外直订Kernel Methods for Machine Learning with Math and R: 100

¥554.00

中华商务进口图书旗舰店

Suzuki, Joe /2022-05-03 /Springer

海外直订Formal Methods for Trustworthy Computer Systems (Fm89):

¥662.00

中华商务进口图书旗舰店

Craigen, Dan /1990-11-18 /Springer

海外直订Kernel Methods for Machine Learning with Math and Python

¥616.00

中华商务进口图书旗舰店

Suzuki, Joe /2022-05-14 /Springer

【预售 按需印刷】BIOLOGICAL METHODS OF WASTE TREATMENT AND 北京发货，付款后10天内发货

¥1123

中图图书旗舰店

John Tharakan /2011-05-01 /KS OmniScriptum Publishing

【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030549930 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 523页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-13 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2

¥548.00

中国进口图书旗舰店

Sekerinski /2020-08-13 /Springer Berlin Heidelberg

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

¥585.00

书之源外文图书

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

【3-6周达】Hedonic Methods in Housing Markets: Pricing Environme 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Baranzini, Andrea; Ramirez, José; Schaer /2010-10-29 /Springer

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

¥919.00

书之源外文图书

Clifford,Nicholas;Cope,Meghan;Gillespie, /2023-06-12 /Sage Publications Ltd

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

¥1202

书之源外文图书

Huisman, Marieke ; P?s?reanu, Corina ; Z /2021-12-11 /Springer

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

¥1432

书之源外文图书

Andrew F. Bennett /1993-01-14 /Cambridge University Press

【3-6周达】Rapid Methods in Clinical Microbiology: Present Statu 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Kleger, Bruce ,Jungkind, Donald /2011-09-30 /Springer

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

¥1096

书之源外文图书

Marshall Nissim /2010-12-01 /Springer

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

¥1105

书之源外文图书

Klump, G. M. /2012-11-26 /Birkhauser

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

¥1684

书之源外文图书

Manetti,Marco; /2023-08-03 /Springer

预订 Meshfree Methods: Moving Beyond the Finite Element Method 【全球购】进口原版图书，一般5-8周左右到国内

¥2589

书之源外文图书

Liu, G. R. /2009-10-01 /CRC Press

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

¥722.00

书之源外文图书

Carvalho, Gustavo ; Stolz, Volker /2021-01-23 /Springer

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

Product Details 基本信息 ISBN-13 书号 9781138053816 Author 作者 Santanu Saha Ray and Arun Kumar Gupta Format 版本 精装 Pages Number 页数 272页 Publication Date 出版日期 2018-01-24 Language 语种 英语 Book Contents 内容简介 The main focus of the book is to implement wavelet based transform methods for solving problems of fractional order partial differential equations arising in modelling real physical phenomena. It explores analytical and numerical approximate solution obtained by wavelet methods for both classical and fractional order partial differential equations.

¥2229

中国进口图书旗舰店

Santanu Saha Ray and Arun Kumar Gupta /2018-01-24 /暂无出版社信息

Spectral Methods 现货图书

Product Details 基本信息 ISBN-13 书号 9783540710400 Author 作者 Shen Format 版本 精装 Pages Number 页数 472页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-08-25 Shipping Weight 商品重量 889g Language 语种 英语 Book Contents 内容简介 Along with finite differences and finite elements, spectral methods are one of the three main methodologies for solving partial differential equations on computers. This book provides a detailed presentation of basic spectral algorithms, as well as a systematical presentation of? basic convergence theory and error analysis for spectral methods. Readers of this book will be exposed to a unified framework for designing and analyzing spectral algorithms for a variety of problems, including in particular high-order differential equations and problems in unbounded domains. The book contains a large number of figures which are designed to illu

¥1237

中国进口图书旗舰店

2条评论

Shen /2011-08-25 /Springer Berlin Heidelberg

【预订】Separation Methods in Proteomics 9780367391577 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367391577 Format 版本 平装-胶订 Pages Number 页数 536页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 6.1 x 1.2 cm Shipping Weight 商品重量 1600g Language 语种 英语

¥922.00

中国进口图书旗舰店

暂无作者信息 /CRC Press

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

¥1988

中华商务进口图书旗舰店

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

【3-6周达】The Methods and Materials of Demography [ISBN:9780126 【全球购】进口原版图书，一般3-6周左右到国内

¥2464

书之源外文图书

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

海外直订Design Methods and Practices for Research of Pro... 项目管理

¥539.00

中华商务进口图书旗舰店

No /2024-05-22 /Taylor & Francis Ltd

【预订】Formal Methods for Industrial Critical Systems: A 美国库房发货，通常付款后3-5周到货！

¥1204

中国进口图书旗舰店

Stefania Gnesi,TizianaMargaria /1988-08-08 /Wiley-Blackwell

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

¥662.00

中华商务进口图书旗舰店

Butler, Michael /2015-12-01 /Springer

海外直订The Methods of Plane Projective Geometry Based on the Us

¥607.00

中华商务进口图书旗舰店

Maxwell /Cambridge University Press

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

¥722.00

书之源外文图书

Simao, Adenilso /2011-10-28 /Springer

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

¥1105

书之源外文图书

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

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

Product Details 基本信息 ISBN-13 书号 9780367225704 Author 作者 Jiacun Wang and William Tepfenhart Format 版本 精装 Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-06-25 Language 语种 英语 Book Contents 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

¥2306

中国进口图书旗舰店

Jiacun Wang and William Tepfenhart /2019-06-25 /Chapman and Hall/CRC

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

¥2315

中国进口图书旗舰店

Roger L. Easton Jr. /1988-08-08 /Wiley; 2

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

¥585.00

书之源外文图书

2011-01-04 /Springer Berlin Heidelberg

海外直订New Methods of Computing Radial Distribution Functions o

¥859.00

中华商务进口图书旗舰店

Lado, Fred /2019-12-07 /Dissertation Discovery Company

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

Product Details 基本信息 ISBN-13 书号 9781498772655 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 376页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-09-02 Language 语种 英语 Book Contents 内容简介 The bookprovides 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-02 /Chapman and Hall/CRC

海外直订Mixed Methods 混合的方法

¥11217

中华商务进口图书旗舰店

No /2006-07-19 /SAGE Publications Inc

海外直订Formal Methods and Software Engineering 形式化方法与软件工程

¥662.00

中华商务进口图书旗舰店

No /2016-10-14 /Springer International Publishing AG

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

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

¥3151

中国进口图书旗舰店

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

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

¥2651

中华商务进口图书旗舰店

Schenk, Henk /2014-01-08 /Springer

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

¥735.00

中华商务进口图书旗舰店

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

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

¥1739

中华商务进口图书旗舰店

Karapetyants, Alexey /2019-08-28 /Springer

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

¥1988

中华商务进口图书旗舰店

Bachi, Roberto /1999-10-30 /Springer

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

¥802.00

中华商务进口图书旗舰店

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

【预售 按需印刷】Modern Methods of Teaching

¥981.75

中图图书旗舰店

Tolera Negassa /2012-03-28 /KS OmniScriptum Publishing

【预售 按需印刷】INVERSE METHODS FOR ATMOSPHERIC SOUNDING

¥1173

中图图书旗舰店

Clive D Rodgers /2000-07-17 /World Scientific Publishing Co Pte Ltd

【预售 按需印刷】Data-Based Methods for Materials Design a

¥950.30

中图图书旗舰店

Ghanshyam Pilania /2020-03-06 /Morgan and Claypool Publishers

3-6周达 Training Methods to Improve Sports Performance and Hea 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥559.00

书之源外文图书

Goncalves, Bruno, Bravo, Jorge, Folgado, /2022-01-26 /Mdpi AG

【3-6周达】Modern Methods in Forest Genetics, 普通生物学 [ISBN:978366 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

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

【3-6周达】Formal Methods in Architecture: Proceedings of the 6t 【全球购】进口原版图书，一般3-6周左右到国内

¥2444

书之源外文图书

Mora,Plácido Lizancos;Viana,David Leite; /2023-08-02 /Springer

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

¥674.00

书之源外文图书

Massoni, Tiago /2018-10-24 /Springer

预订 Formal Methods in Computer Science 国外库房发货，通常付款后3-5周到货

Product Details 基本信息 ISBN-13 书号 9781498775328 Author 作者 Jiacun Wang and William Tepfenhart Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 20190702 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-lev

¥1076

中国进口图书旗舰店

Jiacun Wang and William Tepfenhart /2019-07-02 /Chapman and Hall/CRC

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

Product Details 基本信息 ISBN-13 书号 9780367136727 Author 作者 Karan S. Surana Format 版本 精装 Pages Number 页数 498页 Publication Date 出版日期 2018-11-02 Language 语种 英语 Book Contents 内容简介 This unique textbook focuses on building a theoretical foundation for understanding and applying numerical methods in engineering. Readers will learn to structure sequences of operations into programs in any language; this approach builds a deep understanding of the methods and how best to apply them, backed by numerous examples and problems.

¥2152

中国进口图书旗舰店

Karan S. Surana /2018-11-02 /暂无出版社信息

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

¥662.00

中华商务进口图书旗舰店

Najm, Elie /2003-11-09 /Springer