
海外直订Formal Methods and Software Engineering: 10th Internatio
¥553.00

海外直订piRNA: Methods and Protocols 方法和协议
¥2116

海外直订Formal Methods for Hardware Verification: 6th Internatio
¥553.00

海外直订Oat: Methods and Protocols OAT:方法和协议
¥1541

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

【预订】Geometric Methods in Signal and Image Analysis 978110703 美国库房发货,通常付款后3-5周到货!
¥899.00

【预订】Geometric Methods in Physics 9783319317557 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Analytical Methods in Anisotropic Elasticity: With Symbo 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Research Methods: The Basics 9781138693982 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138693982 Author 作者 Nicholas Walliman Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Routledge Publication Date 出版日期 2017-09-12 Product Dimensions 商品尺寸 198x129mm Language 语种 其它(含多语) Book Contents 内容简介 Research Methods: The Basics is an accessible, user-friendly introduction to the different aspects of research theory, methods and practice.
¥1042

【预订】Numerical Methods and Modelling for Engineering 97833192 美国库房发货,通常付款后3-5周到货!
¥876.00

【预订】Numerical Methods using MATLAB 9781484201558 美国库房发货,通常付款后3-5周到货!
¥603.00

【预订】Nonlinear Methods of Spectral Analysis 9783540123866 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Apoptosis Methods in Toxicology 9781493935864 美国库房发货,通常付款后3-5周到货!
¥1533

【预订】Direct Methods in the Theory of Elliptic Equations 97836 美国库房发货,通常付款后3-5周到货!
¥1314

【预订】Particle Methods for Multi-Scale and Multi-Physics 97898 美国库房发货,通常付款后3-5周到货!
¥1744

【预订】Numerical Methods in Fluid Dynamics 9783642963728 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Research Methods in Public Administration and Public Man 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781032027647 Author 作者 Sandra van Thiel Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Routledge Publication Date 出版日期 2021-08-30 Language 语种 其它(含多语) Book Contents 内容简介 Research in Public Administration and Public Management has distinctive features that influence the choices and application of research methods. The standard methodologies for researching from the social sciences can be difficult to follow in the complex world of the public sector. In a dynamic political context, the focus lies on solving societal problems whilst also using methodological principles to do scientifically sound research.The second edition of Research Methods in Public Administration and Public Management represents a comprehensive guide to undertaking and using research in Public Management and Administration. It is succinct but covers a wide variety
¥2261

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

【预订】Relational Methods for Computer Science Applications 978 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Geological Methods in Mineral Exploration and Mining 978 美国库房发货,通常付款后3-5周到货!
¥1753

【预订】Research Methods for Postgraduates 3E 9781118341469 美国库房发货,通常付款后3-5周到货!
¥748.00

【预订】Spectral Methods in Transition Metal Complexes 978012809 美国库房发货,通常付款后3-5周到货!
¥746.00

【预订】Advanced Methods and Applications in Computational Intel 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Ecological Methods, 4th Edition 9781118895276 美国库房发货,通常付款后3-5周到货!
¥2206

【预订】Subspace Methods for Pattern Recognition in Intelligent 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Issues and Methods in Rorschach Research 9780805819021 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780805819021 Format 版本 精装 Pages Number 页数 338页 Publisher 出版社 Routledge Publication Date 出版日期 1995-11-01 Shipping Weight 商品重量 584g Language 语种 英语 Book Contents 内容简介 First Published in 1995. Routledge is an imprint of Taylor Francis, an informa company.
¥1958

【预订】Numerical Methods 9789389932256 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789389932256 Author 作者 Sambaiah Format 版本 平装-胶订 Pages Number 页数 888页 Publisher 出版社 White Falcon Publishing Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 8.50 x 5.50 x 1.76 Shipping Weight 商品重量 2.22磅 Language 语种 其它(含多语)
¥516.00

【预订】Stochastic Methods for Boundary Value Problems 978311047 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783110479065 Author 作者 Sabelfeld Format 版本 精装 Pages Number 页数 198页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2016-09-26 Product Dimensions 商品尺寸 24,0 x 17,0 Language 语种 其它(含多语) Book Contents 内容简介 This monograph is devoted to random walk based stochastic algorithms for solving high-dimensional boundary value problems of mathematical physics and chemistry. It includes Monte Carlo methods where the random walks live not only on the boundary, but also inside the domain. A variety of examples from capacitance calculations to electron dynamics in semiconductors are discussed to illustrate the viability of the approach.
¥1580

【预订】Analytic Methods in Interdisciplinary Applications 97833 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Formal Methods for Multicore Programming 9783319189406 美国库房发货,通常付款后3-5周到货!
¥525.00

【预订】Conformal Methods in General Relativity 9781107033894 美国库房发货,通常付款后3-5周到货!
¥1182

【预订】Adaptive Methods in Underwater Acoustics 9789401088640 美国库房发货,通常付款后3-5周到货!
¥3285

【预订】In Silico Methods for Predicting Drug Toxicity 978149393 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Numerical Methods and Optimization: A Consumer Guide 978 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Numerical Methods in Markov Chains and Bulk Queues 97835 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Meshfree Methods 9781420082098 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781420082098 Author 作者 G.R. Liu Format 版本 精装 Pages Number 页数 792页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-10-06 Shipping Weight 商品重量 1564g 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 MFree2D
¥2373

Research Methods 研究方法 精装第9版 心理学教材 英文原版
¥739.00

【预订】Geological Methods in Mineral Exploration and Mining 978 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780412800108 Author 作者 Marjoribanks Format 版本 精装 Pages Number 页数 115页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 1997-07-31 Language 语种 英语 Book Contents 内容简介 This book is written as a practical field manual to effective. Each geolOgist has to develop his/her be used by geologists engaged in mineral explo? own techniques and will ultimately be judged on ration. It is also hoped that it will serve as a text results, not the process by which these results and reference for students in Applied Geology were reached. In mineral exploration, the only courses of universities and colleges. The book ’right’ way of doing anything is the way that aims to outline some of the practical skills that locates ore in the quickest and most cost-effective turn the graduate geologist into an explo? manner. It is preferable, however, for an individ
¥1643

【预订】Numerical Methods for Nonlinear Engineering Models 美国库房发货,通常付款后3-5周到货!
¥2738

【预订】Numerical Methods for Nonsmooth Dynamical Systems: 美国库房发货,通常付款后3-5周到货!
¥3285

预订Research Methods for Social Justice and Equity in Educatio 预订,预计下单后2-3周左右发货!
¥545.00

【预订】Numerical Methods in Physics with Python 9781108488846 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781108488846 Author 作者 Alex Gezerlis Format 版本 精装 Pages Number 页数 606页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2020-08-31 Language 语种 英语 Book Contents 内容简介 Bringing together idiomatic Python programming, foundational numerical methods, and physics applications, this is an ideal standalone textbook for courses on computational physics. All the frequently used numerical methods in physics are explained, including foundational techniques and hidden gems on topics such as linear algebra, differential equations, root-finding, interpolation, and integration. Accompanying the mathematical derivations are full implementations of dozens of numerical methods in Python, as well as more than 250 end-of-chapter problems. Numerical methods and physics examples are clearly separated, allowing this introductory book to be later used as
¥1134

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

【预订】Various Methods and Novel Techniques: Rapid Molecular De 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781685077211 Author 作者 Wenli Sun PhD Format 版本 平装-胶订 Pages Number 页数 87页 Publisher 出版社 NOVA Publication Date 出版日期 2022-03-30 Language 语种 其它(含多语) Book Contents 内容简介 In this book, various methods for detection of infectious diseases in humans and other organisms are described. These include polymerase chain reaction (PCR) technology, loop-mediated isothermal amplification (LAMP), and recombinase polymerase amplification (RPA). Each method presents different strengths and weaknesses and varies by sensitivity, specificity, and rapidity, among other characteristics. These techniques can be used for the detection of pathogens like SARS-CoV, MERS-CoV, SARS-CoV-2, influenza, lymphocystis disease virus, swine acute diarrhea syndrome coronavirus, swine vesicular disease virus, classical swine fever virus, infectious bursal disease virus,
¥887.00

【预订】Mixed Methods Research: Research Methods 9781350270992 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781350270992 Author 作者 Mertens Format 版本 精装 Pages Number 页数 152页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2023-04-20 Product Dimensions 商品尺寸 8.50 x 5.50 x 0.38 Shipping Weight 商品重量 0.71磅 Language 语种 其它(含多语)
¥655.00

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

【预订】Topics and Methods in Condensed Matter Theory 9783642089 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642089640 Author 作者 Michele Cini Format 版本 平装-胶订 Pages Number 页数 443页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-10-15 Language 语种 英语
¥548.00

【预订】Formal Methods and Software Engineering 9783030024499 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030024499 Author 作者 Sun Format 版本 平装-胶订 Pages Number 页数 474页 Publication Date 出版日期 2018-10-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018,held in Gold Coast, QLD, Australia, in November 2018.The 22 revised full papers presented together with 14 short papers were carefully reviewed andselected from 66 submissions.The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
¥548.00

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

【预订】Numerical Methods for Flows 9783030307073 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030307073 Author 作者 van Brummelen Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-03 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

【预售 按需印刷】Training Methods for Older Adults
¥754.80

【预订】Research Methods in Legal Translation and Interpreting 9 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138492103 Format 版本 精装 Pages Number 页数 218页 Publisher 出版社 Routledge Publication Date 出版日期 2019-05-03 Language 语种 英语 Book Contents 内容简介 The field of Legal translation and interpreting has strongly expanded over recent years. As it has developed into an independent branch of Translation Studies, this book advocates for a substantiated discussion of methods and methodology, as well as knowledge about the variety of approaches actually applied in the field.
¥1958

社会网络分析模型与方法 英文原版 Models and Methods in Social Network Analys
¥615.00

【预订】Energy Methods for Free Boundary Problems: Applications 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】G Protein Methods and Protocols: Role of G Proteins in P 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Bayesian Methods for Statistical Analysis 9781921934254 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781921934254 Author 作者 Puza Format 版本 平装-胶订 Pages Number 页数 698页 Publisher 出版社 Anu Eview Publication Date 出版日期 2015-10-01 Product Dimensions 商品尺寸 9.84 x 6.93 x 1.90 Shipping Weight 商品重量 3.45 Language 语种 其它(含多语)
¥1178

预订 Walking Methods: Research on the Move 行走方法:移动研究: 97811381 国外库房发货,通常付款后3-5周到货
¥1958

预订 Formal Methods for Safe Autonomy: Data-Driven Verificatio 国外库房发货,通常付款后3-5周到货
¥1111

【预订】Iterative Methods for Ill-Posed Problems: An Introductio 美国库房发货,通常付款后3-5周到货!
¥1521

预订 New Methods in Dialectology: Proceedings of a Workshop he 国外库房发货,通常付款后3-5周到货
¥2323