【预订】Geometric Methods in Physics 9783319317557 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Apoptosis Methods in Toxicology 9781493935864 美国库房发货，通常付款后3-5周到货！
¥1533
【预订】Research Methods for Postgraduates 3E 9781118341469 美国库房发货，通常付款后3-5周到货！
¥748.00
【预订】Formal Methods for Multicore Programming 9783319189406 美国库房发货，通常付款后3-5周到货！
¥525.00
【预订】In Silico Methods for Predicting Drug Toxicity 978149393 美国库房发货，通常付款后3-5周到货！
¥1643
Analytical Methods in Economics 经济学分析方法: 9780472081356
¥613.00
【预订】Tensorial Methods and Renormalization in Group Field The 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Many-Body Methods for Atoms and Molecules 9781482211900 美国库房发货，通常付款后3-5周到货！
¥2852
【预订】Operator Methods in Mathematical Physics 9783034807876 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Galectins: Methods and Protocols 9781493952960 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Predictive Methods in Percutaneous Absorption 9783662473 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Bayesian Methods for the Physical Sciences 9783319152868 美国库房发货，通常付款后3-5周到货！
¥1424
【预订】Antiviral Methods and Protocols 9781493960354 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Analytic Methods in Arithmetic Geometry 9781470437848 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781470437848 Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2020-02-28 Product Dimensions 商品尺寸 17.78 x 1.27 x 24.77 cm ( Language 语种 其它（含多语） Book Contents 内容简介 This volume contains the proceedings of the Arizona Winter School 2016, which was held from March 12-16, 2016, at The University of Arizona, Tucson, AZ. In the last decade or so, analytic methods have had great success in answering questions in arithmetic geometry and number theory. The School provided a unique opportunity to introduce graduate students to analytic methods in arithmetic geometry. The book contains four articles. Alina C. Cojocaru’s article introduces sieving techniques to study the group structure of points of the reduction of an elliptic curve modulo a rational prime via its division fiel
¥1614
预订 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
¥1172
【预订】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.
¥2380
预订 【】cryoEM: Methods and Protocols 9781071609682 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781071609682 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2021-12-28 Language 语种 其它（含多语）
¥1150
【3-6周达】Agile Methods: 7th Brazilian Workshop, Wbma 2016, Cur 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】New Methods and Applications in Multiple Attribute De 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【预订】Formal Methods and Software Engineering 9783031172434 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031172434 Author 作者 Adrian Riesco Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-10-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.92 Shipping Weight 商品重量 1.40 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
¥548.00
【3-6周达】Maize: Methods and Protocols [ISBN:9781493973149 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Methods for Uncertainty Evaluation in Measurement [IS 【全球购】进口原版图书，一般3-6周左右到国内
¥782.00
【3-6周达】Formal Methods for Computational Systems Biology: 8th 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Tracer Methods in Hormone Research, 普通生物学 [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Formal Methods: Foundations and Applications: 19th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Mixed Methods Research For Nursing And The Health Scie 【全球购】进口原版图书，预计3-6周左右到国内
¥842.00
3-6周达 Vortex Methods: Theory and Practice [ISBN:978052106170 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥551.00
预售 按需印刷 Methods of Fundamental Solutions in Solid
¥1235
海外直订Direct Methods in the Theory of Elliptic Equations 椭圆方程理
¥1590
【预订】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.
¥2574
海外直订Formal Methods for Dynamical Systems: 13th International
¥559.00
海外直订医药图书Methods in Biological Oxidative Stress 生物氧化应激的研究方法
¥1325
【预订】Integral Methods in Science and Engineering 978303016076 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030160760 Author 作者 Christian Constanda Format 版本 精装 Pages Number 页数 432页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2019-07-12 Language 语种 英语 Book Contents 内容简介 This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. The chapters in this book are based on talks given at the Fifteenth International Conference on Integral Methods in Science and Engineering, held July 16-20, 2018 at the University of Brighton, UK, and are written by internationally recognized researchers. The topics addressed are wide ranging, and include:Asymptotic analysisBoundary-domain integral equationsViscoplastic fluid flowStationary wavesInterior Neumann shape optimizationSelf-configuring neu
¥1314
【预订】Numerical Methods for Flows 9783030307042 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030307042 Author 作者 van Brummelen Format 版本 精装 Pages Number 页数 300页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-02-08 Language 语种 英语 Book Contents 内容简介 This book includes selected contributions on applied mathematics, numerical analysis, numerical simulation and scientific computing related to fluid mechanics problems, presented at the FEF-“Finite Element for Flows” conference, held in Rome in spring 2017. Written by leading international experts and covering state-of-the-art topics in numerical simulation for flows, it provides fascinating insights into and perspectives on current and future methodological and numerical developments in computational science. As such, the book is a valuable resource for researchers, as well as Masters and Ph.D students.
¥1095
【预订】Structural Methods in the Study of Complex Systems 97830 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030185749 Author 作者 Zattoni Format 版本 平装-胶订 Pages Number 页数 279页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-07-13 Language 语种 英语 Book Contents 内容简介 Structural Methods in the Study of Complex Systems helps the reader respond to the challenge of mastering complexity in systems and control. The book details the fundamental control problems arising from complex dynamical systems and shows how they can be tackled effectively by means of methods developed from graph theory, differential algebra and geometric approaches. These “structural methods” produce abstractions that fit a wide variety of applications by taking advantage of their intrinsic focus on the essential characteristics of dynamical systems, their geometric perspective and visual representation, and their algebraic formalization and ability to generat
¥1095
【预订】Computer Methods in Biomechanics and Biomedical Engineer 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319866963 Author 作者 Amit Gefen Tel Aviv University Tel Aviv Israel Format 版本 平装-胶订 Pages Number 页数 263页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-08-03 Language 语种 英语 Book Contents 内容简介 This edited volume collects the research results presented at the 14th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, Tel Aviv, Israel, 2016. The topical focus includes, but is not limited to, cardiovascular fluid dynamics, computer modeling of tissue engineering, skin and spine biomechanics, as well as biomedical image analysis and processing. The target audience primarily comprises research experts in the field of bioengineering, but the book may also be beneficial for graduate students alike.
¥1643
预订Mixed Methods Research Design for the Built Environment[97 预订，预计下单后4-6周左右发货
¥911.00
海外直订Simple Methods to Study Pedology and Edaphology of India
¥1233
【预订】Integral Methods in Science and Engineering, Volume 2 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319593869 Author 作者 Constanda Format 版本 精装 Pages Number 页数 312页 Publication Date 出版日期 2017-09-18 Shipping Weight 商品重量 666g Language 语种 英语 Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. The second of two volumes, this work focuses on the applications of integral methods to specific problems in science and engineering. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Boundary elements ? Transport problems ? Option pricing ? Gas reservoirs ? Electromagnetic scattering This collection will be of interest to researchers in ap
¥1095
【预售 按需印刷】H Methods for Control and State Estimation of Nonli
¥820.25
【预订】Computer Methods in Chemical Engineering 9780367765248 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367765248 Author 作者 Ghasem Format 版本 平装-胶订 Pages Number 页数 490页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-11-24 Language 语种 其它（含多语） Book Contents 内容简介 While various software packages have become essential for performing unit operations and other kinds of processes in chemical engineering, the fundamental theory and methods of calculation must also be understood to effectively test the validity of these packages and verify the results. Computer Methods in Chemical Engineering, Second Edition presents the most used simulation software along with the theory involved. It covers chemical engineering thermodynamics, fluid mechanics, material and energy balances, mass transfer operations, reactor design, and computer applications in chemical engineering. The highly anticipated Second Edition is thoroughly updated to reflect
¥1024
预订 【】Numerical Methods in Turbulence Simulation 978032391144 国外库房发货, 通常付款后12-16周到货
Product Details 基本信息 ISBN-13 书号 9780323911443 Format 版本 平装-胶订 Pages Number 页数 512页 Publisher 出版社 Academic Press Publication Date 出版日期 2022-12-01 Language 语种 其它（含多语） Book Contents 内容简介 Numerical Methods in Turbulence Simulation provides detailed specifications of the numerical methods needed to solve important problems in turbulence simulation. Numerical simulation of turbulent fluid flows is challenging because of the range of space and time scales that must be represented. This book provides explanations of the numerical error and stability characteristics of numerical techniques, along with treatments of the additional numerical challenges that arise in large eddy simulations. Chapters are written as tutorials by experts in the field, covering specific both contexts and applications. Three classes of turbulent flow are addressed, including incompressible, compressible a
¥2452
【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货
¥570.00
【预订】Numerical Methods for Engineers and Scientists 美国库房发货，通常付款后3-5周到货！
¥2926
【预订】Concepts, Methods and Applications of Quantum Systems in 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319745817 Author 作者 Wang Format 版本 精装 Pages Number 页数 446页 Publication Date 出版日期 2018-05-05 Language 语种 英语 Book Contents 内容简介 This edited, multi-author volume contains selected, peerreviewed contributions based on the presentations given at the 21th International Workshop on Quantum Systems in Chemistry, Physics, and Biology (QSCP-XXI), held in?Vancouver, Canada, in July 2016.?This book is primarily aimed at scholars, researchers and graduate students working at universities and scientific laboratories and interested in the structure, properties, dynamics and spectroscopy of atoms, molecules, biological systems and condensed matter.
¥1643
英文原版 Sieve Methods Exponential Sums and their Applications i
¥939.00
海外直订医药图书Methods in Comparative Effectiveness Research 比较有效性研
¥1710
3-6周达 Modern Methods for Analysing Archaeological and Histor 【全球购】进口原版图书，预计3-6周左右到国内
¥3227
预订 DNA Methods in Clinical Microbiology [ISBN:9780792363071] 【全球购】进口原版图书，一般5-8周左右到国内
¥1267
【预订】Tools and Methods of Program Analysis: 4th International 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319717333 Author 作者 Zakharov, Victor Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-01-14 Language 语种 英语
¥548.00
【3-6周达】Visual Methods in Social Research [ISBN:9781446269756 【全球购】进口原版图书，预计3-6周左右到国内
¥669.00
【3-6周达】Formal Methods for Components and Objects: 9th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Merged Methods: A Rationale for Full Integration [ISBN:97 【全球购】进口原版图书，约10-12周到达国内后发出
¥2170
【3-6周达】Formal Methods for Autonomous Systems [ISBN:978163828 【全球购】进口原版图书，一般3-6周左右到国内
¥1214
3-6周达 New Methods, Reflections and Application Domains in Tr 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥2019
【预订】Advanced Methods in Structural Biology 9784431567585 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9784431567585 Author 作者 Toshiya Senda High Energy Accelerator Research Organization Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-06-07 Language 语种 英语 Book Contents 内容简介 This book provides practical information on a whole set of protein experiments for advanced structural biology, such as X-ray crystallography, NMR, electron microscopy, advanced mass spectroscopy, and surface plasmon resonance, as well as a wide variety of expression systems including eukaryotic and in vitro expression. In the past decade, structural genomics studies have pushed forward the development of automated methods in the field of structural biology, however there is an increasing need for the structural analysis of difficult targets, such as large protein complexes and membrane proteins, which are hard to achieve using conventional automa
¥1095
预售 按需印刷 Methods of Mathematical Modelling 北京发货，付款后10天内发货
¥1635
【预订】Integral Methods in Science and Engineering 978303107173 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031071737 Author 作者 Christian Constanda Format 版本 平装-胶订 Pages Number 页数 360页 Publisher 出版社 Birkh?user Science Publication Date 出版日期 2023-10-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.78 Shipping Weight 商品重量 568 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on state-of-the-art developments on 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 Symposium on the Theory and Applications of Integral Methods in Science and Engineering, held virtually in July 2021, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical and electri
¥1753
【预订】Advanced Methods of Structural Analysis 9783030443962 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030443962 Author 作者 Igor A. Karnovsky Format 版本 平装-胶订 Pages Number 页数 795页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-17 Product Dimensions 商品尺寸 11.00 x 8.25 x 1.67 Shipping Weight 商品重量 4.08 Language 语种 其它（含多语） Book Contents 内容简介 This revised and significantly expanded edition contains a rigorous examination of key concepts, new chapters and discussions within existing chapters, and added reference materials in the appendix, while retaining its classroom-tested approach to helping readers navigate through the deep ideas, vast collection of the fundamental methods of structural analysis. The authors show how to undertake the numerous analytical methods used in structural analysis by focusing on the principal concepts, detailed procedures and results, as well as taking into
¥2190
【预售 按需印刷】Numerical methods for Volatility Estimati 北京发货，付款后10天内发货
¥754.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车