【3-6周达】Design Methods in Architecture & Planning. "Design is 【全球购】进口原版图书，一般3-6周左右到国内

¥530.00

书之源外文图书

Glover Riba,B. C. /2018-10-26 /Outskirts Press

【3-6周达】Advanced Methods and Technologies in Metallurgy in Ru 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Keser, Beth ; Kroehnert, Steffen /2019-06-04 /Springer

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

¥1105

书之源外文图书

Chechik,Marsha;Katoen,Joost-Pieter;Leuck /2023-03-03 /Springer

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

¥1105

书之源外文图书

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

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

¥1204

中国进口图书旗舰店

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

【3-6周达】高被引NMR Methods for the Investigation of Structure and 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Hardy, Edme H /2013-11-30 /Springer

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

【预订】Physical Methods of Chemistry, Investigations of Surface 美国库房发货，通常付款后3-5周到货！

¥6438

中国进口图书旗舰店

Rossiter /1988-08-08 /Wiley-Interscience

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

¥1505

中国进口图书旗舰店

Laing, Carlo /1988-08-08 /Oxford UniversityPress

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

¥1003

中华商务进口图书旗舰店

Schlechta, Karl /2018-11-13 /Springer

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

¥1110

中国进口图书旗舰店

Lap Chi Lau /2011-04-30 /Cambridge University Press

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

¥662.00

中华商务进口图书旗舰店

Sekerinski, Emil /2020-11-03 /Springer

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

¥662.00

中华商务进口图书旗舰店

Merz, Stephan /2014-09-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

【预订】Fuzzy Methods for Assessment and Decision Making [ISBN:9 【全球购】进口原版图书，约10-12周到达国内后发出

¥1614

书之源外文图书

Voskoglou,Michael Gr. /2024-10-08 /Morgan Kaufmann

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

Product Details 基本信息 ISBN-13 书号 9781138470385 Author 作者 J.L. Meek Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-08-22 Language 语种 其它（含多语）

¥2033

中国进口图书旗舰店

J.L. Meek /2017-08-22 /CRC Press

【预订】Formal Methods for Safety and Security 9789811041204 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789811041204 Author 作者 Jeppu, Yogananda Format 版本 精装 Publisher 出版社 Springer Singapore Publication Date 出版日期 2017-05-01 Language 语种 英语 Book Contents 内容简介 This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

¥1314

中国进口图书旗舰店

Jeppu, Yogananda /2017-05-01 /Springer Singapore

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

¥662.00

中华商务进口图书旗舰店

Butler, Michael /2015-12-01 /Springer

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

¥585.00

书之源外文图书

Sun, Jing /2018-10-11 /Springer

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

¥585.00

书之源外文图书

Howar, Falk /2018-08-30 /Springer

预订 Wavelet Methods for Dynamical Problems: With Application 【全球购】进口原版图书，一般5-8周左右到国内

¥786.00

书之源外文图书

Gopalakrishnan,S. /2010-03-12 /CRC Press

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

¥2315

中国进口图书旗舰店

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

3-6周达 Hplc Methods For Clinical Pharmaceutical Analysis - A 【全球购】进口原版图书，预计3-6周左右到国内

¥771.00

书之源外文图书

Hermann Mascher /2012-01-11 /John Wiley & Sons

【预订】Direct Methods for Limit and Shakedown Analysis of Struc 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319357966 Author 作者 Paolo Fuschi Università Mediterranea di Reggio Calabria Re Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-10-14 Shipping Weight 商品重量 589g Language 语种 英语 Book Contents 内容简介 Articles in this book examine various materials and how to determine directly the limit state of a structure, in the sense of limit analysis and shakedown analysis. Apart from classical applications in mechanical and civil engineering contexts, the book reports on the emerging field of material design beyond the elastic limit, which has further industrial design and technological applications. Readers will discover that “Direct Methods” and the techniques presented here can in fact be used to numerically estimate the strength of structured materials such as composites or

¥1095

中国进口图书旗舰店

Paolo Fuschi Università Mediterranea... /2016-10-14 /Springer Berlin Heidelberg

【预订】Numerical Methods in Finance and Economics: A MATLAB-Bas 美国库房发货，通常付款后3-5周到货！

¥2213

中国进口图书旗舰店

1条评论

Brandimarte, Paolo /2006-11-01 /Wiley-Interscience

【预订】Scientific Methods and Cultural Heritage: An Introductio 美国库房发货，通常付款后3-5周到货！

¥1854

中国进口图书旗舰店

Artioli, Gilberto /2010-09-03 /Oxford University Press

【预订】Interval Methods for Systems of Equations 9780521331968 美国库房发货，通常付款后3-5周到货！

¥1520

中国进口图书旗舰店

A. Neumaier /2004-02-20 /Cambridge University Press

【预订】Digital Methods In The Humanities: Challenges, Ideas, Pe 【全球购】进口原版图书，一般10-12周左右到国内

¥699.00

书之源外文图书

Edited by Silke Schwandt /2021-01-01 /Bielefeld University Press

【3-6周达】Lattice Methods for Multiple Integration [ISBN:978019 【全球购】进口原版图书，一般3-6周左右到国内

¥1414

书之源外文图书

Sloan,I H;Joe,S /1994-11-17 /OUP Oxford

海外直订Modern Methods of Development 现代发展方法

¥754.00

中华商务进口图书旗舰店

Sharifov, Gulomzhon /2022-11-25 /Our Knowledge Publishing

海外直订Mobile Methods 移动方法

¥2353

中华商务进口图书旗舰店

No /2010-08-02 /Taylor & Francis Ltd

海外直订Simple Methods to Study Pedology and Edaphology of India

¥986.00

中华商务进口图书旗舰店

Pal, D. K. /2019-01-08 /Springer

【预订】Zebrafish: Methods for Assessing Drug Safety and Toxicit 美国库房发货，通常付款后3-5周到货！

¥1555

中国进口图书旗舰店

1条评论

McGrath /2012-01-24 /Wiley

【预订】Detection Methods for Algae, Protozoa & Helminths in Fre 美国库房发货，通常付款后3-5周到货！

¥3609

中国进口图书旗舰店

Palumbo /1988-08-08 /Wiley

【预订】Empirical Methods in Short-Term Climate Prediction 美国库房发货，通常付款后3-5周到货！

¥1888

中国进口图书旗舰店

短期天气预报中的经验性方法 /2007-02-08 /Oxford University Press

【预订】Catalytic Methods in Asymmetric Synthesis: Advanced Mate 美国库房发货，通常付款后3-5周到货！

¥2179

中国进口图书旗舰店

Gruttadauria /2011-09-27 /Wiley

【预订】Algebraic Methods and \(q\)-Special Functions 9780821820 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780821820261 Author 作者 Jan Felipe van Diejen Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1999-08-16 Language 语种 英语 Book Contents 内容简介 There has been revived interest in recent years in the study of special functions. Many of the latest advances in the field were inspired by the works of R. A. Askey and colleagues on basic hypergeometric series and I. G. Macdonald on orthogonal polynomials related to root systems. Significant progress was made by the use of algebraic techniques involving quantum groups, Hecke algebras, and combinatorial methods. The CRM organized a workshop for key researchers in the field to present an overview of current trends. This volume consists of the contributions to that workshop. Topics include basic hypergeometric functions, algebraic and

¥1219

中国进口图书旗舰店

Jan Felipe van Diejen /1999-08-16 /American Mathematical Society (AMS)

海外直订Kernel Methods and Hybrid Evolutionary Algorithms in Ene

¥576.00

中华商务进口图书旗舰店

Hong, Wei-Chiang /2018-10-17 /Mdpi AG

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

¥585.00

书之源外文图书

Aoki, Toshiaki /2012-09-19 /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

海外直订医药图书Methods in Chemosensory Research 化学感觉研究方法

¥2873

中华商务进口图书旗舰店

No /2001-09-25 /Taylor & Francis Inc

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

¥486.00

书之源外文图书

Braga Christiano /2015-01-27 /Springer

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

Product Details 基本信息 ISBN-13 书号 9781138372702 Format 版本 平装-胶订 Pages Number 页数 792页 Publisher 出版社 CRC Press Publication Date 出版日期 2018-09-28 Language 语种 其它（含多语） Book Contents 内容简介 With 70 percent new material, this second edition reflects significant advances made in the field since the publication of its predecessor. It continues to systematically cover the most widely used meshfree methods. This edition includes enhanced focus on fundamental concepts and theories, more detailed discussion on error estimation and adaptive analysis using meshfree methods, developments on combined meshfree/FEM models, and comparison studies using meshfree and FEM. It also contains a new discussion on special properties of meshfree methods, including stability, convergence, accurate, efficiency, and bound property. The latest version of MFree2Dc is freely available for download online.

¥1033

中国进口图书旗舰店

暂无作者信息 /2018-09-28 /CRC Press

【预订】Research Methods in Language Policy and Planning 9781118 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781118308387 Author 作者 Francis Hult Format 版本 精装 Pages Number 页数 280页 Publisher 出版社 Wiley-Blackwell Publication Date 出版日期 2015-05-11 Shipping Weight 商品重量 590g Language 语种 英语 Book Contents 内容简介 Language policy and planning (LPP) is one of the fastest growing sub-disciplines of applied linguistics. This book is the first volume that is exclusively devoted to research methods in language policy and planning. As in other areas of applied linguistic

¥1342

中国进口图书旗舰店

Francis Hult /2015-05-11 /Wiley-Blackwell

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

Product Details 基本信息 ISBN-13 书号 9783030431945 Author 作者 Ateshian Format 版本 精装 Pages Number 页数 657页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-01 Language 语种 英语 Book Contents 内容简介 This book gathers selected, extended and revised contributions to the 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, and the 4th Conference on Imaging and Visualization (CMBBE 2019), held on August 14-16, 2019, in New York City, USA. It reports on cutting-edge models and algorithms for studying various tissues and organs in normal and pathological conditions; innovative imaging and visualization techniques; and the latest diagnostic tools. Further topics addressed include: numerical methods, machine learning approaches, FEM models, and high-resolution imaging and real-time visualization methods applied for biomedical purposes.

¥1643

中国进口图书旗舰店

Ateshian /2020-04-01 /Springer Berlin Heidelberg

按需印刷Formal Methods in Manufacturing Systems 预订，预计下单后2-3周左右发货！

¥2485

上海外文书店旗舰店

Po Li /IGI Global

按需印刷Mesh Methods:Numerical Analysis and Experiments 预订，预计下单后2-3周左右发货！

¥496.00

上海外文书店旗舰店

* /2021-03-29 /Mdpi AG

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

¥3011

书之源外文图书

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

【3-6周达】Adaptive Methods For Variational Inequalities [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥1047

书之源外文图书

Zhang, Chen-Song /2010-07-19 /LAP Lambert Academic Publishing

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

¥2002

书之源外文图书

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

预订 Formal Methods and Software Engineering [ISBN:97835400002 【全球购】进口原版图书，一般5-8周左右到国内

¥1282

书之源外文图书

Chris George; Huaikou Miao /2002-10-09 /Springer Berlin Heidelberg

海外直订Key Methods and Concepts in Condensed Matter Physics: Gr

¥1146

中华商务进口图书旗舰店

Continentino, Mucio A. /2021-04-26 /IOP Publishing Ltd

海外直订Formal Methods in Programming and Their Applications: In

¥662.00

中华商务进口图书旗舰店

Bj?rner, Dines /1993-10-04 /Springer

海外直订Cilia: Methods and Protocols 纤毛：方法和协议

¥591.00

中华商务进口图书旗舰店

Satir, Peter /2018-06-08 /Humana

海外直订Formal Methods in Computer-Aided Design: Second Internat

¥662.00

中华商务进口图书旗舰店

1998-10-20 /Springer

【预订】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周到货！

¥2023

中国进口图书旗舰店

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