【预订】Modern Methods of Plant Analysis / Moderne Methoden Der 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods and Constitutive Modelling in Geomecha 美国库房发货，通常付款后3-5周到货！
¥1516
【预订】Formal Methods for Industrial Critical Systems 978364241 美国库房发货，通常付款后3-5周到货！
¥504.00
【预订】Advanced Methods in Adaptive Control for Industrial Appl 美国库房发货，通常付款后3-5周到货！
¥548.00
【3-6周达】高被引New Methods of Celestial Mechanics [ISBN:978160805 【全球购】进口原版图书，一般3-6周左右到国内
¥1028
【3-6周达】Oat: Methods and Protocols [ISBN:9781493966806 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【3-6周达】Formal Methods for Components and Objects: 6th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Novel Methods in Electrical Stimulation with Surface Elec 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥743.00
海外直订Toyota Methods and Operating Models: Achieve Business Su
¥1622
【预订】Research Methods for Engineers 美国库房发货，通常付款后3-5周到货！
¥502.00
【预订】Newton Methods for Nonlinear Problems 9783642238987 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642238987 Author 作者 Peter Deuflhard Format 版本 平装-胶订 Pages Number 页数 424页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-09-16 Shipping Weight 商品重量 670g Language 语种 英语 Book Contents 内容简介 This book deals with the efficient numerical solution of challenging nonlinear problems in science and engineering, both in finite dimension (algebraic systems) and in infinite dimension (ordinary and partial differential equations). Its focus is on local and global Newton methods for direct problems or Gauss-Newton methods for inverse problems. The term ’affine invariance’ means that the presented algorithms and their convergence analysis are invariant under one out of four subclasses of affine transformations of the problem to be solved. Compared to traditional textbooks, the distinguishing affine invariance appro
¥821.00
【预订】Analytical Methods for Problems of Molecular Transport 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048174621 Author 作者 I.N. Ivchenko Format 版本 平装-胶订 Pages Number 页数 409页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-11-30 Language 语种 英语 Book Contents 内容简介 The transport of a given species (atoms, molecules, neutrons, photons, etc. ), either through its own kind or through some other host medium, is a problem of considerable interest. Practical applications may be found in many technologically and environmentally relevant areas such as the transport of neutrons in a nuclear power reactor or in a nuclear weapon, the transport of ions and electrons in plasma, the transport of photons which constitutes radiative heat transfer in various industrial, environmental and space applications, the transport of atoms or molecules of one species either through itself or as one component of a multi-component gas mixture, and the inte
¥548.00
【预订】Malaria Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Lymphoma: Methods and Protocols Y9781588291592 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Formal Methods for Performance Evaluation 9783540724827 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540724827 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 472页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-05-18 Language 语种 英语 Book Contents 内容简介 This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
¥548.00
预订 Modern Methods of Plant Analysis/Moderne Methoden der Pfl 国外库房发货，通常付款后3-5周到货
¥1533
预订 Exact Methods for Nonlinear Pdes: 9781032710518 国外库房发货，通常付款后3-5周到货
¥1560
预订Research Methods:The Essential Knowledge Base 预订，预计下单后2-3周左右发货！
¥1372
【预订】Bootstrap Methods 9783030734794 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030734794 Author 作者 Dikta Gerhard Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-08 Language 语种 其它（含多语） Book Contents 内容简介 This book provides a compact introduction to the bootstrap method. In addition to classical results on point estimation and test theory, multivariate linear regression models and generalized linear models are covered in detail. Special attention is given to the use of bootstrap procedures to perform goodness-of-fit tests to validate model or distributional assumptions. In some cases, new methods are presented here for the first time.The text is motivated by practical examples and the implementations of the corresponding algorithms are always given directly in R in a comprehensible form. Overall, R is given great importance throughout. Each chapter inc
¥1205
【预订】Numerical Methods for Elliptic Problems with Singulariti 美国库房发货，通常付款后3-5周到货！
¥765.00
【预订】Asymptotic Methods in Nonlinear Wave Phenomena 978981270 美国库房发货，通常付款后3-5周到货！
¥1357
【预订】Inverse Methods for Atmospheric Sounding 9789810227401 美国库房发货，通常付款后3-5周到货！
¥1114
【预订】Direct Methods in the Calculus of Variations 97898123804 美国库房发货，通常付款后3-5周到货！
¥1577
【3-6周达】Seismic Methods and Applications: A Guide for the Det 【全球购】进口原版图书，一般3-6周左右到国内
¥721.00
【预订】Formal Methods: Foundations and Applications 97830306388 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030638818 Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic S
¥711.00
【预订】Spectral Methods Using Multivariate Polynomials On The U 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367345471 Author 作者 Kendall Atkinson Format 版本 精装 Pages Number 页数 262页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-11-08 Language 语种 英语 Book Contents 内容简介 Spectral Methods Using Multivariate Polynomials on the Unit Ball is a research level text on a numerical method for the solution of partial differential equations. The authors introduce, illustrate with examples, and analyze ’spectral methods’ that are based on multivariate polynomial approximations.
¥2035
【预订】Modern Methods for Business Research 9780805826777 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780805826777 Format 版本 精装 Pages Number 页数 448页 Publisher 出版社 Psychology Press Publication Date 出版日期 1998-03-01 Shipping Weight 商品重量 874g Language 语种 英语 Book Contents 内容简介 The puropse of the volume is is to introduce a selection of the latest popular methods for conducting business research. The goal is to provide an understanding and working knowledge of each method.
¥1958
【预订】Research Methods in Health Promotion, Second Edition 978 美国库房发货，通常付款后3-5周到货！
¥1231
预订 Complex Methods for Partial Differential Equations [ISBN: 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1095
【3-6周达】Modern Methods of Igneous Petrology: Understanding Ma 【全球购】进口原版图书，一般3-6周左右到国内
¥689.00
【预售 按需印刷】Research Methods in Human Resource Management
¥2006
【预订】Numerical Methods 9781138413177 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138413177 Author 作者 Wolfgang Boehm Format 版本 精装 Pages Number 页数 196页 Publisher 出版社 A K Peters/CRC Press Publication Date 出版日期 2020-12-18 Language 语种 英语 Book Contents 内容简介 This book is written for engineers and other practitioners using numerical methods in their work and serves as a textbook for courses in applied mathematics and numerical analysis.
¥2305
Research Methods for Business 8th Edition Asia Edition 97811 现货图书
Product Details 基本信息 ISBN-13 书号 9781119683537 Author 作者 Uma Sekaran Format 版本 平装-胶订 Pages Number 页数 432页 Publisher 出版社 Wiley Publication Date 出版日期 2019-12-02 Language 语种 其它（含多语）
¥829.00
按需印刷Mixed Methods:Interviews, Surveys, and Cross-Cultural Co 预订，预计下单后2-3周左右发货！
¥1252
海外直订医药图书Methods for Investigating Localized Clustering of Di
¥533.00
【3-6周达】Methods for Location Privacy: A Comparative Overview 【全球购】进口原版图书，一般3-6周左右到国内
¥734.00
【3-6周达】Basic Methods Handbook for Clinical Orthopaedic Resea 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
海外直订100 Methods for Total Quality Management 全面质量管理100种方法
¥784.00
【3-6周达】New Methods of Source Reconstruction for Magnetoencep 【全球购】进口原版图书，一般3-6周左右到国内
¥1048
预订 Digital Methods and Tools to Support Healthy Ageing 英文原版 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1346
【3-6周达】Formal Methods for Software Engineering [ISBN:9783030 【全球购】进口原版图书，一般3-6周左右到国内
¥868.00
【3-6周达】Methods for recognizing multispectral images based on 【全球购】进口原版图书，一般3-6周左右到国内
¥821.00
【预订】Robust Methods In Biostatistics 美国库房发货，通常付款后3-5周到货！
¥1351
【预订】Empirical Methods for Evaluating Educational 美国库房发货，通常付款后3-5周到货！
¥1054
【预订】Numerical Methods for Shallow-Water Flow 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Selected Methods and Models in Military Operations 美国库房发货，通常付款后3-5周到货！
¥481.00
【预订】Modern Methods of Aquaculture in Japan 美国库房发货，通常付款后3-5周到货！
¥2947
【预订】Vortex Methods: Theory and Practice 美国库房发货，通常付款后3-5周到货！
¥648.00
【预订】Spectral Methods for Incompressible Viscous Flow 美国库房发货，通常付款后3-5周到货！
¥876.00
【预订】Asymptotic Methods for Investigating Quasiwave 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Modern Methods & Applications In Analysis Of 美国库房发货，通常付款后3-5周到货！
¥3792
【预订】Leukemia: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods for Industrial Critical Systems 978303085 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030852474 Author 作者 Alberto Lluch Lafuente Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-08-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.55 Shipping Weight 商品重量 0.82 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Va
¥548.00
【3-6周达】Formal Methods: Foundations and Applications [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥626.00
海外直订Newton Methods for Nonlinear Problems: Affine Invariance
¥832.00
【预订】Biofouling Methods 美国库房发货，通常付款后3-5周到货！
¥2566
【预订】Analytical Methods in the Determination of Bioactive Com 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030618810 Author 作者 Magdalena Jeszka-Skowron Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-02-03 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.80 Shipping Weight 商品重量 1.20 Language 语种 其它（含多语） Book Contents 内容简介 Most bioactive compounds have antioxidant activity, particularly tocochromanols, phenolics (flavonoids and phenolic acids), methylxantines and capsaicinoids. Some of these compounds have also other properties important for human health. For example, vitamin E protects against oxidative stress, but it is also known for its “non-antioxidant” functions, including cell signalling and antiproliferation. Selenium compounds and indoleamins are the components of the antioxidant enzymes. Selenium makes vitamin E acquisition easier and controls
¥2190
预订 Fourier Methods in Science and Engineering 科学与工程中的傅立叶方法: 国外库房发货，通常付款后3-5周到货
¥712.00
【预订】Formal Methods for Protocol Engineering and Distributed 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781475752700 Author 作者 Jianping Wu Format 版本 平装-胶订 Pages Number 页数 500页 Publisher 出版社 Springer US Publication Date 出版日期 2013-04-18 Product Dimensions 商品尺寸 11 x 8.2 x 1 cm Shipping Weight 商品重量 2530g Language 语种 英语 Book Contents 内容简介 Formal Methods for Protocol Engineering and Distributed Systems addresses formal deion techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint Internatio
¥2190
【预订】Rigorous Methods for Software Construction and Analysis 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642114465 Author 作者 Jean-Raymond Abrial Marseille France Format 版本 平装-胶订 Pages Number 页数 235页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-01-20 Language 语种 英语 Book Contents 内容简介 This Festschrift volume, published in honor of Egon Boerger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
¥548.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车