![【3-6周达】Barley: Methods and Protocols [ISBN:9781493989423]](http://img3m0.ddimg.cn/59/23/11743497770-1_b_1713956264.jpg)
【3-6周达】Barley: Methods and Protocols [ISBN:9781493989423] 【全球购】进口原版图书,一般3-6周左右到国内
¥2156

海外直订Ford Methods and the Ford Shops 福特方法和福特商店
¥584.00

海外直订Formal Methods: 25th International Symposium, FM 2023, L
¥1203

预售 按需印刷 Methods for Diseases Diagnostic with Appli 北京发货,付款后10天内发货
¥638.00

【预订】Thermal Methods of Analysis: Principles, Applications an 美国库房发货,通常付款后3-5周到货!
¥1095

【3-6周达】Research Methods for Criminology and Criminal Justice 【全球购】进口原版图书,一般3-6周左右到国内
¥1821

【3-6周达】Design Methods and Applications for Distributed Embed 【全球购】进口原版图书,一般3-6周左右到国内
¥1254

3-6周达 Formal Methods for Protocol Engineering and Distribute 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥2767

【预订】Formal Methods and Software Engineering 9783642245589 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642245589 Author 作者 Qin Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-10-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
¥548.00

【预订】Formal Methods for Components and Objects 9783540291312 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540291312 Author 作者 de Boer Format 版本 平装-胶订 Pages Number 页数 328页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-19 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a co
¥548.00

海外直订Formal Methods in Databases and Software Engineering: Pr
¥662.00

【3-6周达】Formal Methods for an Informal World [ISBN:9783031436 【全球购】进口原版图书,一般3-6周左右到国内
¥623.00

海外直订Key Methods in Geography 地理学关键方法
¥2387

【3-6周达】Research Methods in the Social Sciences [ISBN:9781429 【全球购】进口原版图书,一般3-6周左右到国内
¥4758
![预订 String Methods for Beginners [ISBN:9780367226862]](images/model/guan/url_none.png)
预订 String Methods for Beginners [ISBN:9780367226862] 【全球购】进口原版图书,一般5-8周左右到国内
¥600.00

【3-6周达】Research Methods in Criminal Justice and Criminology: 【全球购】进口原版图书,一般3-6周左右到国内
¥2534

【预订】Clinical Methods in Medical Family Therapy 9783030098537 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030098537 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-12-19 Language 语种 英语
¥932.00

海外直订Novel Methods for Monitoring and Managing Land and Water
¥1988

【预售 按需印刷】PRACTICAL METHODS FOR SUCCESSFUL CLASSROO 北京发货,付款后10天内发货
¥905.00

海外直订Direct Methods in the Calculus of Variations 变分法中的直接法
¥2253

海外直订Hybrid Methods of Molecular Modeling 分子模型的混合方法
¥5169

【预订】Numerical Methods for Conservation Laws 9781611975093 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781611975093 Author 作者 Jan S. Hesthaven Format 版本 平装-胶订 Pages Number 页数 576页 Publisher 出版社 Society for Industrial and Applied Mathematics Publication Date 出版日期 2018-02-28 Language 语种 其它(含多语) Book Contents 内容简介 Conservation laws are the mathematical expression of the principles of conservation and provide effective and accurate predictive models of our physical world. Although intense research activity during the last decades has led to substantial advances in the development of powerful computational methods for conservation laws, their solution remains a challenge and many questions are left open; thus it is an active and fruitful area of research. Numerical Methods for Conservation Laws: From Analysis to Algorithms:offers the first comprehensive introduction to modern computational methods and their analysis for hyperbolic cons
¥1040

【预订】Research Methods for Health and Social Care 978023050078 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780230500785 Author 作者 Joanne Neale Format 版本 平装-胶订 Pages Number 页数 336页 Publisher 出版社 Red Globe Press Publication Date 出版日期 2008-11-12 Shipping Weight 商品重量 587g Language 语种 英语 Book Contents 内容简介 This accessible and clearly structured book, written by experienced researchers and practitioners, provides a one-stop introduction to the most common qualitative, quantitative and desk-based research designs and methods in health and social care.
¥567.00

【预订】Ultrasonic Methods in Evaluation of Inhomogeneous Materi 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Optical Methods in Mechanics of Solids: Held at the Univ 美国库房发货,通常付款后3-5周到货!
¥1095

【3-6周达】Exact Methods in the Study of Language and Text: Dedi 【全球购】进口原版图书,一般3-6周左右到国内
¥3787

预订 Formal Methods and Software Engineering: 25th Internation 国外库房发货,通常付款后3-5周到货
¥723.00

【预订】Formal Methods: Foundations and Applications 97836424107 美国库房发货,通常付款后3-5周到货!
¥504.00

【预订】Microlocal Methods in Mathematical Physics and Global An 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Numerical Methods in Matrix Computations 9783319050881 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Formal Methods for Dynamical Systems 9783642388736 美国库房发货,通常付款后3-5周到货!
¥504.00

【预订】Sampling Methods and Taxon Analysis in Vegetation 美国库房发货,通常付款后3-5周到货!
¥1643

预订 Control Methods in PDE-Dynamical Systems [ISBN:9780821837 【全球购】进口原版图书,约3-6周到达国内后发出
¥932.00

预订 Ordinal Methods for Behavioral Data Analysis [ISBN:978113 【全球购】进口原版图书,一般5-8周左右到国内
¥706.00

海外直订New Methods for Polymer Synthesis 高分子合成的新方法
¥1988

【预订】Biomedical Methods 9783110640595 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783110640595 Format 版本 平装-胶订 Pages Number 页数 261页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2023-02-20 Product Dimensions 商品尺寸 24,0 x 17,0 Language 语种 其它(含多语) Book Contents 内容简介 The mechanical properties of cells can be used to distinguish pathological from normal cells and tissues in many diseases. This book will outline the physics behind cell and tissue mechanics, describe the methods which can be used to determine their mechanical properties, and present various diseases in which a mechanical fingerprint could be established. The book is designed to not require a background in either Physics or Life Sciences.
¥1033

预订 Numerical Methods for Delay Differential Equations 国外库房发货,通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9780199671373 Author 作者 Alfredo Bellen,Marino Zennaro Format 版本 平装 Pages Number 页数 410页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2013年4月1日 Product Dimensions 商品尺寸 15.6 x 2.2 x 23.2 cm Shipping Weight 商品重量 621 g Language 语种 英语 Book Description 内容简介 The main purpose of the book is to introduce the readers to the numerical integration of the Cauchy problem for delay differential equations (DDEs). Peculiarities and differences that DDEs exhibit with respect to ordinary differential equations are preliminarily outlined by numerous examples illustrating some unexpected, and often surprising, behaviours of the analytical and numerical solutions. The effect of various kinds of delays on the regularity of the solution is
¥1005

【预订】Thermal Methods 9780128219331 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780128219331 Format 版本 平装-胶订 Pages Number 页数 460页 Publisher 出版社 Gulf Professional Publishing Publication Date 出版日期 2023-04-28 Product Dimensions 商品尺寸 9.25 x 7.50 x 0.93 Shipping Weight 商品重量 1.74 Language 语种 其它(含多语)
¥2132

【预订】Advanced Methods of Joint Inversion and Fusion of Multip 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789819967216 Author 作者 Michael Zhdanov Format 版本 精装 Pages Number 页数 360页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-12-04 Language 语种 其它(含多语) Book Contents 内容简介 Different physical or geophysical methods provide information about distinctive physical properties of the objects, e.g., rock formations and mineralization. In many cases, this information is mutually complementary, which makes it natural for consideration in a joint inversion of the multiphysics data. Inversion of the observed data for a particular experiment is subject to considerable uncertainty and ambiguity. One productive approach to reducing uncertainty is to invert several types of data jointly. Nonuniqueness can also be reduced by incorporating additional information derived from available a priori knowledge about the target to reduce the se
¥548.00

海外直订Delphi Methods in the Social and Health Sciences: Concep
¥1203

海外直订Krylov Methods for Nonsymmetric Linear Systems: From The
¥1739

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

【预订】Modern Methods in Mathematical Physics 9789811949142 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811949142 Author 作者 Vladimir Ryzhov Format 版本 平装-胶订 Pages Number 页数 148页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-28 Language 语种 其它(含多语) Book Contents 内容简介 This book provides ideas for implementing Wolfram Mathematica to solve linear integral equations. The book introduces necessary theoretical information about exact and numerical methods of solving integral equations. Every method is supplied with a large number of detailed solutions in Wolfram Mathematica. In addition, the book includes tasks for individual study.This book is a supplement for students studying “Integral Equations”. In addition, the structure of the book with individual assignments allows to use it as a base for various courses.
¥547.00

【预订】Survey Methods for Medical and Health Professions Educat 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780323695916 Author 作者 Phillips Andrew W. Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Elsevier Publication Date 出版日期 2021-06-30 Product Dimensions 商品尺寸 9.00 x 5.90 x 0.30 Shipping Weight 商品重量 0.52 Language 语种 其它(含多语)
¥532.00

【预订】Ultrasonic Methods for Measurement of Small Motion and D 美国库房发货,通常付款后3-5周到货!
¥1220

【预订】Numerical Methods in Chemical Engineering Using Python? 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781032419466 Author 作者 Ghasem Format 版本 精装 Pages Number 页数 370页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-07-17 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.84kg Language 语种 其它(含多语) Book Contents 内容简介 Numerical methods are vital to the practice of chemical engineering, allowing for the solution of real-world problems. Written in a concise and practical format, this textbook introduces readers to the numerical methods required in the discipline of chemical engineering and enables them to validate their solutions using both Python and Simulink.Introduces numerical methods, followed by the solution of linear and nonlinear algebraic equations. Deals with the numerical integration of a definite function and solves initial and boundary value ordinary differential equations wi
¥1017

【预订】Research Methods in Human Resource Management 9780749483 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780749483876 Author 作者 Anderson Format 版本 平装-胶订 Pages Number 页数 456页 Publisher 出版社 *KNV Publication Date 出版日期 2019-11-25 Product Dimensions 商品尺寸 189 x 246 mm Language 语种 其它(含多语) Book Contents 内容简介 Research Methods in Human Resource Management is a key resource for anyone undertaking a research report or dissertation. It covers the planning and execution of HRM research projects, from investigating and researching HR issues to designing and implementing research and then evaluating and reviewing the results.Filled with international examples to provide a global perspective, this fully updated 4th edition of Research Methods in Human Resource Management balances theoretical frameworks and practical guidance. Fully updated throughout, this edition now includes increased discussion of methodological issues, more real-li
¥833.00

【预订】Advanced Methods Of Biomedical Signal Processing 美国库房发货,通常付款后3-5周到货!
¥1623

【预订】Modern Methods Of Polymer Characterization 美国库房发货,通常付款后3-5周到货!
¥4994

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

【预订】Iterative Methods and Preconditioners for Systems of Lin 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781611976892 Author 作者 Gabriele Ciaramella Format 版本 平装-胶订 Pages Number 页数 271页 Publisher 出版社 Society for Industrial and Applied Mathematics Publication Date 出版日期 2022-01-30 Language 语种 其它(含多语) Book Contents 内容简介 Iterative methods use successive approximations to obtain more accurate solutions. presents historical background, derives complete convergence estimates for all methods, illustrates and provides Matlab codes for all methods, and studies and tests all preconditioners first as stationary iterative solvers. This textbook is appropriate for undergraduate and graduate students in need of an overview or of deeper knowledge about iterative methods. It can be used in courses on Advanced Numerical Analysis, Special Topics on Numerical Analysis, Topics on Data Science, Topics on Numerical Optimization, and Topics on App
¥799.00

【3-6周达】Methods for Adapting Virtual Environments to the Chal 【全球购】进口原版图书,一般3-6周左右到国内
¥1037

预订 Spectral Methods Using Multivariate Polynomials on the Un 【全球购】进口原版图书,一般5-8周左右到国内
¥2181

【预订】Numerical Methods for Solving Discrete Event Systems 978 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031100819 Author 作者 Winfried Grassmann Format 版本 精装 Pages Number 页数 360页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-07 Language 语种 其它(含多语) Book Contents 内容简介 This graduate textbook provides an alternative to discrete event simulation. It describes how to formulate discrete event systems, how to convert them into Markov chains, and how to calculate their transient and equilibrium probabilities. The most appropriate methods for finding these probabilities are described in some detail, and templates for efficient algorithms are provided. These algorithms can be executed on any laptop, even in cases where the Markov chain has hundreds of thousands of states. This book features the probabilistic interpretation of Gaussian elimination, a concept that unifies many of the topics covered, such as embedded Marko
¥932.00

【预订】Numerical Methods in Sensitivity Analysis and Shape 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Physical Methods to Characterize Pharmaceutical 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Formal Methods for Distributed Processing: A Survey 美国库房发货,通常付款后3-5周到货!
¥1783

【预订】Relational Methods in Computer Science 9783540003151 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540003151 Author 作者 de Swart Format 版本 平装-胶订 Pages Number 页数 318页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-12-11 Language 语种 英语
¥548.00

【预订】Homotopy Methods in Topological Fixed and Periodic Point 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789048169986 Author 作者 Jezierski Format 版本 平装-胶订 Pages Number 页数 320页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-11-18 Language 语种 英语 Book Contents 内容简介 The notion of a xed point plays a crucial role in numerous branches of mat- maticsand its applications. Informationabout the existence of such pointsis often the crucial argument in solving a problem. In particular, topological methods of ?xed point theory have been an increasing focus of interest over the last century. These topological methods of ?xed point theory are divided, roughly speaking, into two types. The ?rst type includes such as the Banach Contraction Principle where the assumptions on the space can be very mild but a small change of the map can remove the ?xed point. The second type, on the other hand, such as the Brouwer and Lefschetz Fixed Point Theorems
¥1095

【预订】Visual Methods of Inquiry: Images as Research 9780367250 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367250485 Author 作者 Freedman Kerry Format 版本 平装-胶订 Pages Number 页数 218页 Publisher 出版社 Routledge Publication Date 出版日期 1800-01-01 Language 语种 其它(含多语)
¥527.00