【预订】Spectral Methods in Geodesy and Geophysics 9781482245257 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781482245257 Author 作者 Christopher Jekeli Format 版本 精装 Pages Number 页数 200页 Publication Date 出版日期 2017-09-28 Language 语种 英语 Book Contents 内容简介 This book is a fundamental text covering the general spatial signals on the spatial signals on the plane and sphere. It includes information on spectral methods in geophysics and geodesy, but serves as more of a wider, introductory text with a unique perspective for students in the geosciences fields.
¥2441
【预订】Data-Based Methods for Materials Design and Discovery: B 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781681737379 Author 作者 Pilania Ghanshyam Format 版本 平装-胶订 Pages Number 页数 188页 Publisher 出版社 Morgan & Claypool Publishers Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 7.5 x 0.4 cm Shipping Weight 商品重量 740g Language 语种 英语
¥987.00
【预订】Algebraic Methods for Nonlinear Control Systems 97818462 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781846285943 Author 作者 Giuseppe Conte Università Politecnica Marche Dipto. Ingegne Format 版本 精装 Pages Number 页数 178页 Publisher 出版社 Springer London Publication Date 出版日期 2006-12-01 Language 语种 英语 Book Contents 内容简介 A self-contained introduction to algebraic control for nonlinear systems suitable for researchers and graduate students. ’Algebraic Methods for Nonlinear Control Systems’ develops a linear-algebraic alternative to the usual differential-geometric approach to nonlinear control, using vector spaces over suitable fields of nonlinear functions. It describes a range of results, some of which can be derived using differential geometry but many of which cannot. They include: classical and generalized realization in the nonlinear context; accessibility and observability recast for the linear-algebraic setting; discussion and solution o
¥1095
【预订】Direct Methods for Solving the Boltzmann Equation and St 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781402003882 Author 作者 Aristov Format 版本 平装-胶订 Pages Number 页数 302页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2001-11-30 Language 语种 英语 Book Contents 内容简介 This book is concerned with the methods of solving the nonlinear Boltz? mann equation and of investigating its possibilities for describing some aerodynamic and physical problems. This monograph is a sequel to the book ’Numerical direct solutions of the kinetic Boltzmann equation’ (in Russian) which was written with F. G. Tcheremissine and published by the Computing Center of the Russian Academy of Sciences some years ago. The main purposes of these two books are almost similar, namely, the study of nonequilibrium gas flows on the basis of direct integration of the kinetic equations. Nevertheless, there are some new aspects in the way this topic is treated in the prese
¥1205
【3-6周达】Schwarz Methods and Multilevel Preconditioners for Bo 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【预订】Meshless Methods and Their Numerical Properties 97814665 美国库房发货，通常付款后3-5周到货！
¥2577
【预订】Formal Methods in Systems Engineering 9783540197515 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Multiscale Methods for Fredholm Integral Equations 97811 美国库房发货，通常付款后3-5周到货！
¥2181
【预订】Advanced Methods for Computational Collective Intelligen 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Bayesian Methods in Reliability 9789401055390 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Advancing Methods for Biomolecular Crystallography 97894 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Spectral Methods in Chemistry and Physics 9789401794534 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Advanced Methods of Continuum Mechanics for Materials an 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Theory and Methods of Metallurgical Process Integration 美国库房发货，通常付款后3-5周到货！
¥2132
【预订】Numerical Methods: Design, Analysis, and Computer Implem 美国库房发货，通常付款后3-5周到货！
¥1066
【预订】Multigrid Methods III 9783034857147 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Formal Methods for Components and Objects 9783642406140 美国库房发货，通常付款后3-5周到货！
¥504.00
【预订】Advanced Methods for Satellite and Deep Space Communicat 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Numerical Methods for Differential Equations, Optimizati 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Models, Methods, and Tools for Complex Chip Design 97833 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Formal Methods Applied to Industrial Complex Systems 978 美国库房发货，通常付款后3-5周到货！
¥2441
【预订】Parametric Methods for Beginners 9781032136004 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032136004 Author 作者 Umut Toker Format 版本 精装 Pages Number 页数 216页 Publisher 出版社 Routledge Publication Date 出版日期 2022-12-30 Product Dimensions 商品尺寸 280 x 210 mm (8.25 x 11) Language 语种 其它（含多语） Book Contents 内容简介 This book introduces architectural applications of parametric methods in design, drawing direct connections between each phase of the architectural design process with relevant parametric approaches.Readers will find applications of parametric methods with straightforward explanations of concepts, commands as well as applicable examples for each phase of the architectural design process. In addition to learning about the historical and conceptual background of parametric design, readers can use this book as a go-to source during their day-to-day design practice. Chapters are organized according to different pha
¥1809
预订 Krylov Methods for Nonsymmetric Linear Systems 国外库房发货，通常付款后3-5周到货
¥1643
【预订】Analytic Methods of Sound Field Synthesis 9783642432866 美国库房发货，通常付款后3-5周到货！
¥1753
【预订】Numerical Methods in Engineering with MATLAB? 9781107120 美国库房发货，通常付款后3-5周到货！
¥1163
【预订】Crispr: Methods and Protocols (2015) 9781493926862 美国库房发货，通常付款后3-5周到货！
¥1972
【预订】Numerical Methods for Grid Equations: Volume II Iterativ 美国库房发货，通常付款后3-5周到货！
¥548.00
现货Research Methods for Business Students
¥2720
【3-6周达】Research Methods for Community Change: A Project-Base 【全球购】进口原版图书，预计3-6周左右到国内
¥519.00
【3-6周达】Research Methods for Social Work: Being Producers and 【全球购】进口原版图书，一般3-6周左右到国内
¥2804
3-6周达 高被引Methods in Consumer Research, Volume 2: Alternative 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥2269
【3-6周达】Formal Methods in the Methodology of Empirical Scienc 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
海外直订Agile Methods: 9th Brazilian Workshop, Wbma 2018, Campin
¥662.00
海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法
¥2651
海外直订Formal Methods and Models for System Design: A System Le
¥2120
海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的
¥1324
海外直订Modern Methods for Musicology 现代音乐学方法
¥856.00
【预订】Modern Methods in Phytomedicine 美国库房发货，通常付款后3-5周到货！
¥1594
【预售 按需印刷】Taguchi Methods for Robust Design 北京发货，付款后10天内发货
¥655.94
【预售 按需印刷】Numerical Methods for Solving Two-Point Boundary Va 北京发货，付款后10天内发货
¥1070.76
【预订】Models and Methods in Social Network Analysis 9780521600 美国库房发货，通常付款后3-5周到货！
¥581.00
【预订】Research Methods for Studying Groups and Teams: A Guide 美国库房发货，通常付款后3-5周到货！
¥1958
【预订】Modern Methods in Orchid Conservation 9780521372947 美国库房发货，通常付款后3-5周到货！
¥1454
【预订】Numerical Methods in Finance with C++ 9780521177160 美国库房发货，通常付款后3-5周到货！
¥502.00
【预订】Research Methods for Education 9780273775102 美国库房发货，通常付款后3-5周到货！
¥783.00
【预订】Integral Methods in Science and Engineering 978303134098 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031340987 Author 作者 Christian Constanda Format 版本 精装 Pages Number 页数 390页 Publisher 出版社 Birkh?user Publication Date 出版日期 2023-09-07 Language 语种 其它（含多语） Book Contents 内容简介 This volume contains a collection of articles on state-of-the-art developments in the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Seventeenth International Conference on Integral Methods in Science and Engineering, held virtually in July 2022, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical, electrical, and petroleum engineering, as well as graduate students in these disciplines and other professionals for whom integration is an
¥2409
【预订】Numerical Methods for Scientists and Engineers 978999498 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789994988327 Author 作者 Sharma Format 版本 平装-胶订 Pages Number 页数 110页 Publisher 出版社 Eliva Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.23 Shipping Weight 商品重量 0.35磅 Language 语种 其它（含多语）
¥551.00
【预订】Formal Methods: Foundations and Applications 97830314934 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031493416 Author 作者 Haniel Barbosa Format 版本 平装-胶订 Pages Number 页数 153页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-12-19 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.38 Shipping Weight 商品重量 0.56磅 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
¥603.00
【预订】Research Methods for Sports Performance Analysis 9780415 美国库房发货，通常付款后3-5周到货！
¥2637
【预订】Applied Methods in Design and Construction of Bridges, H 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781803555553 Author 作者 Khaled Ghaedi Format 版本 精装 Pages Number 页数 164页 Publisher 出版社 Intech Publication Date 出版日期 2022-12-07 Language 语种 其它（含多语） Book Contents 内容简介 This book presents a comprehensive overview of bridge and road engineering. Apart from bridge structures, roads and highways are integral to the advancement of cities. The lack of quantifiable, sustainable construction methods creates gaps in sustainability knowledge, leading to public, environmental, and financial dissatisfaction with completed highways and urban roads. This book discusses the key points in the design and construction assessment of bridges, highways, and roads. Chapters discuss such topics as bridge optimization techniques, risk assessment of roads, highway management systems, and challenges in highway construction. The book provides detailed insight into
¥1571
【预订】Formal Methods for Software Engineering 9783030387990 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030387990 Author 作者 Markus Roggenbach Format 版本 精装 Pages Number 页数 528页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-16 Language 语种 其它（含多语） Book Contents 内容简介 Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the
¥821.00
【预订】Research Methods for Nursing and Healthcare 美国库房发货，通常付款后3-5周到货！
¥603.00
【预订】Practical Methods for Biocatalysis and Biotransformation 美国库房发货，通常付款后3-5周到货！
¥2100
【预订】Tools and Methods of Program Analysis 9783030714710 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030714710 Format 版本 平装-胶订 Pages Number 页数 209页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-17 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 690g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 5thInternational Conference onTools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and
¥548.00
预订 Modern Methods of Plant Analysis / Moderne Methoden der P 国外库房发货，通常付款后3-5周到货
¥548.00
【预订】Inclusion Methods for Nonlinear Problems 9783211838525 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783211838525 Author 作者 Herzberger Format 版本 平装-胶订 Pages Number 页数 244页 Publisher 出版社 Springer Wien Publication Date 出版日期 2002-12-10 Language 语种 英语 Book Contents 内容简介 This workshop was organized with the support of GAMM, the International Association of Applied Mathematics and Mechanics, on the occasion of J. Herzberger’s 60th birthday. GAMM is thankful to him for all the time and work he spent in the preparation and holding of the meeting. The talks presented during the workshop and the papers published in this volume are part of the field of Verification Numerics. The important subject is fostered by GAMM already since a number of years, especially also by the GAMM? FachausschuB (special interest group) ’Rechnerarithmetik und Wissenschaft? liches Rechnen’. GiHz Alefeld Karlsruhe, Dezember 2001 (President of GAMM) Preface At the end
¥1095
【预订】Formal Methods: Foundations and Applications 97836421982 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642198281 Author 作者 Davies Format 版本 平装-胶订 Pages Number 页数 291页 Publication Date 出版日期 2011-03-23 Shipping Weight 商品重量 433g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.
¥548.00
【预订】Molecular Methods for Evolutionary Genetics 978161779227 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617792274 Author 作者 Orgogozo Format 版本 精装 Pages Number 页数 503页 Publication Date 出版日期 2011-09-29 Shipping Weight 商品重量 1160g Language 语种 英语 Book Contents 内容简介 We are entering a particularly fruitful period in evolutionary genetics, as rapid technological progress transforms the investigation of genetic variation within and between species. Molecular Methods for Evolutionary Genetics is a collection of advanced molecular biology protocols and general overviews intended to represent the essential methods currently bringing evolutionary genetics to fruition. Divided into six thematic sections, this volume covers methods for characterizing genomes, diverse approaches to enrich DNA for subsets of the genome prior to sequencing, and state-of-the-art protocols for sampling genetic variation for genetic mapping studies and population genetic studie
¥1643
【预订】Research Methods and Statistics in Psychology 9781444170 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781444170115 Author 作者 Hugh Coolican Format 版本 平装-胶订 Pages Number 页数 788页 Publication Date 出版日期 2014-04-04 Shipping Weight 商品重量 1678g Language 语种 英语 Book Contents 内容简介 The sixth edition of this bestselling text has been thoroughly revised and updated, providing students with the most readable and comprehensive survey of research methods, statistical concepts and procedures in psychology today.
¥987.00
【预订】Analytical Methods in Marine Hydrodynamics 9781107179691 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781107179691 Author 作者 Ioannis K. Chatjigeorgiou Format 版本 精装 Pages Number 页数 528页 Publication Date 出版日期 2018-09-01 Language 语种 英语 Book Contents 内容简介 The value of analytical solutions relies on the rigorous formulation, and a strong mathematical background. This comprehensive volume unifies the most important geometries, which allow for the development of analytical solutions for hydrodynamic boundary value problems. It offers detailed explanations of the Laplance domain and numerical results associated with such problems, providing deep insight into the theory of hydrodynamics. Extended numerical calculations are provided and discussed, allowing the reader to use them as benchmarks for their own computations and making this an invaluable resource for specialists in in various disciplines, including hydrodynamics, acoustics, optics, electrostatics, and br
¥2326
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车