【预订】Formal Methods for Industrial Critical Systems 978364224 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642244308 Author 作者 Salaün Format 版本 平装-胶订 Pages Number 页数 261页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-09-19 Shipping Weight 商品重量 396g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
¥548.00
【预售 按需印刷】Practical Methods in Ecology
¥1017.45
海外直订Asymptotic Methods in Statistical Decision Theory 统计决策理论
¥4374
【预售 按需印刷】Hybrid Methods in Feature Selection 北京发货，付款后10天内发货
¥901.00
【预售 按需印刷】Multigrid Methods on GPUs 北京发货，付款后10天内发货
¥765.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥2638
海外直订医药图书Methods in Medicine: A Descriptive Study of Physicia
¥662.00
海外直订Formal Methods: Foundations and Applications: 15th Brazi
¥606.00
【预订】Numerical Methods in Photonics 9781138074699 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138074699 Author 作者 Lavrinenko, Andrei V. | L?gsgaard, Jesper | Gregersen, Nie Format 版本 平装-胶订 Pages Number 页数 362页 Publication Date 出版日期 2017-11-22 Language 语种 英语
¥719.00
【预订】Numerical Methods in Geomechanics, Volume 1 978906191578 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789061915782 Format 版本 精装 Pages Number 页数 500页 Publication Date 出版日期 1985-01-01 Shipping Weight 商品重量 1111g Language 语种 英语
¥1474
【预订】Nuclear Methods in Mineralogy and Geology 9780306458323 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780306458323 Author 作者 Vértes Format 版本 精装 Pages Number 页数 555页 Publisher 出版社 Springer US Publication Date 出版日期 1998-04-30 Language 语种 英语 Book Contents 内容简介 This book appears a century after the discovery of radioactivity. It was in 1896, when Henri Becquerel reported his first results about the penetrating radiation, which could darken the packed photographic plates. The initial fascination of radioactivity, e.g., the discovery of new radioactive elements, the first real deion of the structure of atoms and their nuclei, the applications of radiotracers, the high sensitivity of activation analysis, etc., was followed by the use of atomic bomb in 1945. The mushroom cloud became a symbol of destructive nuclear power. And even nuclear energy production (which provides about 20% of the world’s electricity) is overshadowed by radioactive waste.
¥2190
【预订】Numerical Methods for Nonsmooth Dynamical Systems 978364 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642094644 Author 作者 Vincent Acary Format 版本 平装-胶订 Pages Number 页数 525页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-11-22 Language 语种 英语 Book Contents 内容简介 This book concerns the numerical simulation of dynamical systems whose trajec- ries may not be differentiable everywhere. They are named nonsmooth dynamical systems. They make an important class of systems, rst because of the many app- cations in which nonsmooth models are useful, secondly because they give rise to new problems in various elds of science. Usually nonsmooth dynamical systems are represented as differential inclusions, complementarity systems, evolution va- ational inequalities, each of these classes itself being split into several subclasses. The book is divided into four parts, the rst three parts being sketched in Fig. 0. 1. The aim of the rst
¥3285
按需印刷TF Methods in Human Animal Studies 预订，预计下单后4-6周左右发货
¥2142
【预订】Computer Methods, Imaging and Visualization in Biomechan 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030431945 Author 作者 Ateshian Format 版本 精装 Pages Number 页数 657页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-01 Language 语种 英语 Book Contents 内容简介 This book gathers selected, extended and revised contributions to the 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, and the 4th Conference on Imaging and Visualization (CMBBE 2019), held on August 14-16, 2019, in New York City, USA. It reports on cutting-edge models and algorithms for studying various tissues and organs in normal and pathological conditions; innovative imaging and visualization techniques; and the latest diagnostic tools. Further topics addressed include: numerical methods, machine learning approaches, FEM models, and high-resolution imaging and real-time visualization methods applied for biomedical purposes.
¥1643
【预订】Meshfree Methods for Partial Differential Equations III 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540462149 Author 作者 Michael Griebel Universit?t Bonn Institut für Numerische Si Format 版本 平装-胶订 Pages Number 页数 304页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-11-06 Language 语种 英语 Book Contents 内容简介 Meshfree methods for the numerical solution of partial differential equations are becoming more and more mainstream in many areas of applications. Their flexiblity and wide applicability are attracting engineers, scientists, and mathematicians to this very dynamic research area. This volume represents the state of the art in meshfree methods. It consists of articles which address the different meshfree techniques, their mathematical properties and their application in applied mathematics, physics and engineering.
¥1095
【预订】Spectral Methods for Uncertainty Quantification 97890481 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048135196 Author 作者 Le Maitre Format 版本 精装 Pages Number 页数 536页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-04-08 Shipping Weight 商品重量 2090g Language 语种 英语 Book Contents 内容简介 This book deals with the application of spectral methods to problems of uncertainty propagation and quantication in model-based computations. It speci?cally focuses on computational and algorithmic features of these methods which are most useful in dealing with models based on partial differential equations, with special att- tion to models arising in simulations of ?uid ?ows. Implementations are illustrated through applications to elementary problems, as well as more elaborate examples selected from the authors’ interests in incompressible vortex-dominated ?ows and compressible ?ows at low Mach numbers. Spectral stochastic methods are
¥1424
【预订】Numerical Methods and Analysis of Multiscale Problems 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319508641 Author 作者 Madureira Format 版本 平装-胶订 Pages Number 页数 123页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-23 Shipping Weight 商品重量 263g Language 语种 英语 Book Contents 内容简介 This book is about numerical modeling of multiscale problems, and introduces several asymptotic analysis and numerical techniques which are necessary for a proper approximation of equations that depend on different physical scales. ?Aimed at advanced undergraduate and graduate students in mathematics, engineering and physics – or researchers seeking a no-nonsense approach –, it discusses ?examples in their simplest possible settings, removing mathematical hurdles that might hinder a clear understanding of the methods.The problems considered are given by singular perturbed reaction advection diffusion equations in o
¥548.00
【预订】Bayesian Methods for Measures of Agreement 9781420083415 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781420083415 Author 作者 Lyle D. Broemeling Format 版本 精装 Pages Number 页数 352页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2009-01-12 Shipping Weight 商品重量 635g Language 语种 英语 Book Contents 内容简介 Using WinBUGS to implement Bayesian inferences of estimation and testing hypotheses, this book presents useful methods for the design and analysis of agreement studies. It focuses on agreement among the various players in the diagnostic process. The author presents many real-world examples that illustrate the Bayesian mode of reasoning and explains elements of a Bayesian application, including prior information, experimental information, the likelihood function, posterior distribution, and predictive distribution. The appendices provide the necessary theoretical foundation to understand Bayesian methods as well as introduce the f
¥1424
【预订】Emerging Methods in Psychology 9781412842785 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781412842785 Author 作者 Emily Abbey Format 版本 精装 Pages Number 页数 230页 Publisher 出版社 Transaction Publishers Publication Date 出版日期 2012-01-15 Language 语种 英语
¥1958
【3-6周达】Field Methods for Petroleum Geologists: A Guide to Co 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Newton Methods for Nonlinear Problems: Affine Invaria 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
3-6周达 Research Methods: Concepts, Methodologies, Tools, and 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥6018
预订 Formal Methods in Computer Science [ISBN:9781498775328] 【全球购】进口原版图书，一般5-8周左右到国内
¥1052
【预售 按需印刷】ABSTRACT METHODS IN INFORMATION THEORY (S
¥1384.65
【3-6周达】Research Methods for Social Work: Being Producers and 【全球购】进口原版图书，预计3-6周左右到国内
¥997.00
预订Research Methods in Psychology: Investigating Human Behavi 【全球购】进口原版图书，约3-6周到达国内后发出
¥1033
【预订】Formal Methods for Model-Driven Engineering 978364230981 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642309816 Author 作者 Bernardo Format 版本 平装-胶订 Pages Number 页数 439页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-06-14 Shipping Weight 商品重量 682g Language 语种 英语 Book Contents 内容简介 This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.
¥548.00
【预订】Asymptotic Methods for Ordinary Differential Equations 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048155002 Author 作者 Kuzmi Format 版本 平装-胶订 Pages Number 页数 364页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-12-15 Language 语种 英语 Book Contents 内容简介 In this book we consider a Cauchy problem for a system of ordinary differential equations with a small parameter. The book is divided into th ree parts according to three ways of involving the small parameter in the system. In Part 1 we study the quasiregular Cauchy problem. Th at is, a problem with the singularity included in a bounded function j , which depends on time and a small parameter. This problem is a generalization of the regu? larly perturbed Cauchy problem studied by Poincare [35]. Some differential equations which are solved by the averaging method can be reduced to a quasiregular Cauchy problem. As an example, in Chapter 2 we consider the van der Pol problem.
¥1095
【预订】Research Methods for Pedagogy 9781474242820 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781474242820 Author 作者 Nind Melanie Format 版本 精装 Pages Number 页数 296页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2016-10-06 Language 语种 英语 Book Contents 内容简介 Aspects of pedagogy are frequently researched, but the concept itself is poorly understood. More than just teaching and learning, pedagogy is about values, identities, relationships and interactions bounded by context. As such, researchers of pedagogy face the challenge of working out what constitutes pedagogical texts, data or evidence, and how these can be generated and understood. Research methods for pedagogy begins by exploring the different conceptualisations of pedagogy and their implications for how it is researched. The authors reflect on how their sociocultural stance on pedagogy influences the methods they choose to focus on in the book. Moving beyond just schools
¥1312
【预订】Synthetic Methods for Conjugated Polymer and Carbon Mate 美国库房发货，通常付款后3-5周到货！
¥2059
【预订】Formal Methods in Computer-Aided Design 9783540651918 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540651918 Author 作者 Gopalakrishnan Format 版本 平装-胶订 Pages Number 页数 538页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-10-21 Language 语种 英语
¥548.00
【预订】Spectral Methods for Operators of Mathematical Physics 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783764371333 Author 作者 Jas Format 版本 精装 Pages Number 页数 244页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2004-10-25 Language 语种 英语 Book Contents 内容简介 This book presents recent results in the following areas: spectral analysis of one-dimensional Schroedinger and Jacobi operators, discrete WKB analysis of solutions of second order difference equations, and applications of functional models of non-selfadjoint operators.
¥1643
【预订】Numerical Methods for Nonlinear Engineering Models 97894 美国库房发货，通常付款后3-5周到货！
¥2738
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540204916 Author 作者 jm Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-11-10 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related elds: – formal methods; – distributed systems; – object-based technology. Such a convergence is representative of recent advances in th
¥548.00
【预订】Research Methods in Sign Language Studies 9781118271421 美国库房发货，通常付款后3-5周到货！
¥590.00
【预订】Modern Methods for Multidimensional Dynamics Computation 美国库房发货，通常付款后3-5周到货！
¥2707
【预订】Modern Methods in Collisional-Radiative Modeling of Plas 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319801582 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-03-18 Language 语种 英语
¥1095
【预订】Classical Methods in Ordinary Differential Equations 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821846940 Author 作者 Stuart P. Hastings Format 版本 精装 Pages Number 页数 373页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2011-12-15 Language 语种 英语 Book Contents 内容简介 This text emphasizes rigorous mathematical techniques for the analysis of boundary value problems for ODEs arising in applications. The emphasis is on proving existence of solutions, but there is also a substantial chapter on uniqueness and multiplicity questions and several chapters which deal with the asymptotic behavior of solutions with respect to either the independent variable or some parameter. These equations may give special solutions of important PDEs, such as steady state or traveling wave solutions. Often two, or even three, approaches to the same problem are described. The advantages and disadvantages of different methods are discu
¥1118
【预订】Homotopy Methods in Algebraic Topology 9780821826218 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821826218 Author 作者 J. P. C. Greenlees Format 版本 平装-胶订 Pages Number 页数 321页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2001-04-25 Language 语种 英语 Book Contents 内容简介 This volume presents the proceedings from the AMS-IMS-SIAM Summer Research Conference on Homotopy Methods in Algebraic Topology held at the University of Colorado (Boulder). The conference coincided with the sixtieth birthday of J. Peter May. An article is included reflecting his wide-ranging and influential contributions to the subject area. Other articles in the book discuss the ordinary, elliptic and real-oriented Adams spectral sequences, mapping class groups, configuration spaces, extended powers, operads, the telescope conjecture, \(p\)-compact groups, algebraic K theory, stable and unstable splittings, the calculus of functors, t
¥1314
海外直订Formal Methods for Trustworthy Computer Systems (Fm89):
¥662.00
海外直订Kernel Methods for Machine Learning with Math and Python
¥616.00
【预售 按需印刷】BIOLOGICAL METHODS OF WASTE TREATMENT AND 北京发货，付款后10天内发货
¥1123
海外直订Data, Methods and Theory in the Organizational Sciences:
¥699.00
【3-6周达】Soft Methods for Data Science [ISBN:9783319429717] 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【3-6周达】Formal Methods for Components and Objects: 11th Inter 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
海外直订Field Methods for Geologists and Hydrogeologists 地质学家和水文
¥1988
【预订】Geometric Methods in Physics XXXVII: Workshop and Summer 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030340742 Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Birkhauser Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 870g Language 语种 其它（含多语）
¥1643
【3-6周达】Malaria Methods and Protocols [ISBN:9781617372056] 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【3-6周达】Methods of Studies of Integro-Differential Equations 【全球购】进口原版图书，一般3-6周左右到国内
¥532.00
【3-6周达】Formal Methods: Foundations and Applications: 20th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
预订 Fuzzy Methods for Customer Relationship Management and Ma 【全球购】进口原版图书，一般5-8周左右到国内
¥2259
【预售 按需印刷】Narrative Methods for Organizational & Co
¥816.00
【预售 按需印刷】Research Methods in Accounting
¥1882.75
海外直订Cilia: Methods and Protocols 纤毛：方法和协议
¥629.00
海外直订Formal Methods in Programming and Their Applications: In
¥662.00
预订 Formal Methods in the Methodology of Empirical Sciences: 国外库房发货，通常付款后3-5周到货
¥1643
【预订】Research Methods: A Tool for Life 9781108436236 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781108436236 Author 作者 Beins, Bernard C Format 版本 平装-胶订 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2017-09-19 Language 语种 英语
¥855.00
海外直订Formal Methods for Distributed Processing: A Survey of O
¥2160
【预订】Formal Methods for Discrete-Time Dynamical Systems 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319507620 Author 作者 Gol, Ebru Aydin Format 版本 精装 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-15 Language 语种 英语 Book Contents 内容简介 This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is
¥1861
【预订】Concepts, Methods and Practical Applications in Applied 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319880297 Author 作者 Thomas Format 版本 平装-胶订 Pages Number 页数 333页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1060g Language 语种 英语
¥658.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车