【预订】Numerical Methods for Elliptic and Parabolic Partial Dif 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441930040 Author 作者 Kbner Format 版本 平装-胶订 Pages Number 页数 426页 Publication Date 出版日期 2010-12-01 Language 语种 英语 Book Contents 内容简介 Mathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries between scientific disciplines and a resurgence of interest in the modern as well as the classical techniques of applied mathematics. This renewal of interest, both in - search and teaching, has led to the establishment of the series Texts in Applied Mathematics (TAM). The development of new courses is a natural consequence of a high level of excitement on the research frontier as newer techniques, such as nume- cal and symbolic computer systems, dynamical systems, and chaos, mix with and reinforce the traditional methods of applied mathematics. Thus, the purpose of this textbook series is to mee
¥1232
【预订】Dynamic Methods for Damage Detection in Structures 97832 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783211999318 Author 作者 Morassi Format 版本 平装-胶订 Pages Number 页数 221页 Publication Date 出版日期 2010-10-19 Language 语种 英语 Book Contents 内容简介 Non destructive testing aimed at monitoring, structural identification and di- nostics is of strategic importance in many branches of civil and mechanical - gineering. This type of tests is widely practiced and directly affects topical issues regarding the design of new buildings and the repair and monitoring of existing ones. The load bearing capacity of a structure can now be evaluated using well established mechanical modelling methods aided by computing facilities of great capability. However, to ensure reliable results, models must be calibrated with - curate information on the characteristics of materials and structural components. To this end, non destructive techniques are a useful tool from several points of v
¥2274
【预订】Numerical Methods in Finance 9783642257452 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642257452 Author 作者 Carmona Format 版本 精装 Pages Number 页数 474页 Publication Date 出版日期 2012-03-26 Shipping Weight 商品重量 895g Language 语种 英语 Book Contents 内容简介 Numerical methods in finance have emerged as a vital field at the crossroads of probability theory, finance and numerical analysis. Based on presentations given at the workshop Numerical Methods in Finance held at the INRIA Bordeaux (France) on June 1-2, 2010, this book provides an overview of the major new advances in the numerical treatment of instruments with American exercises. Naturally it covers the most recent research on the mathematical theory and the practical applications of optimal stopping problems as they relate to financial applications. By extension, it also provides an original treatment of Monte Carlo methods for the recursive computation of conditional expectations an
¥1533
【预订】Formal Methods for Industrial Critical Systems 978364232 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642324680 Author 作者 Stoelinga Format 版本 平装-胶订 Pages Number 页数 223页 Publication Date 出版日期 2012-07-17 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 373g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 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.
¥504.00
【预订】Numerical Methods for Bifurcation Problems and Large-Sca 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461270447 Author 作者 Doedel Format 版本 平装-胶订 Pages Number 页数 481页 Publication Date 出版日期 2012-10-30 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 1520g Language 语种 英语
¥548.00
【预订】Subspace Methods for System Identification 9781852339814 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781852339814 Author 作者 Katayama Format 版本 平装-胶订 Pages Number 页数 392页 Publication Date 出版日期 2005-06-15 Language 语种 英语 Book Contents 内容简介 An in-depth introduction to subspace methods for system identification in discrete-time linear systems thoroughly augmented with advanced and novel results, this text is structured into three parts. Part I deals with the mathematical preliminaries: numerical linear algebra; system theory; stochastic processes; and Kalman filtering. Part II explains realization theory as applied to subspace identification. Stochastic realization results based on spectral factorization and Riccati equations, and on canonical correlation analysis for stationary processes are included. Part III demonstrates the closed-loop application of subspace identification methods. Subspace Methods for System Identification is an excellent reference
¥1643
【预订】Polynomial Methods for Control Systems Design 9783540760 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540760771 Author 作者 Grimble Format 版本 平装-胶订 Pages Number 页数 255页 Publication Date 出版日期 1996-09-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Language 语种 英语 Book Contents 内容简介 This monograph was motivated by a very successful workshop held before the 3rd IEEE Conference on Decision and Control held at the Buena Vista Hotel, lake Buena Vista, Florida, USA. The workshop was held to provide an overview of polynomial system methods in LQG (or H ) and Hoo optimal control and 2 estimation. The speakers at the workshop were chosen to reflect the important contributions polynomial techniques have made to systems theory and also to show the potential benefits which should arise in real applications. An introduction to H2 control theory for continuous-time systems is included in chapter 1. Three different approaches are considered covering state
¥1095
【预订】Numerical Methods for Engineers and Scientists 美国库房发货，通常付款后3-5周到货！
¥2926
【预订】Combined Methods for Elliptic Equations with Singulariti 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Splitting Methods in Communication and Imaging, Science, 美国库房发货，通常付款后3-5周到货！
¥1972
【预订】Computing Methods in Applied Sciences and Engineering: S 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods for Mining Structured Objects 97836424306 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Convexity Methods in Hamiltonian Mechanics 9783642743337 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Inverse Methods in Action: Proceedings of the Multicente 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Symplectic Methods in Harmonic Analysis and in Mathemati 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783764399917 Author 作者 de Gosson Format 版本 平装-胶订 Pages Number 页数 338页 Publisher 出版社 Springer Basel Publication Date 出版日期 2011-07-30 Shipping Weight 商品重量 617g Language 语种 英语 Book Contents 内容简介 The aim of this book is to give a rigorous and complete treatment of various topics from harmonic analysis with a strong emphasis on symplectic invariance properties, which are often ignored or underestimated in the time-frequency literature. The topics that are addressed include (but are not limited to) the theory of the Wigner transform, the uncertainty principle (from the point of view of symplectic topology), Weyl calculus and its symplectic covariance, Shubin’s global theory of pseudo-differential operators, and Feichtinger’s theory of modulation spaces. Several applications to time-frequency analysis and quantum mechanics are g
¥932.00
【预订】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
海外直订The Methods of Distances in the Theory of Probability an
¥1757
海外直订Formal Methods for Open Object-Based Distributed Systems
¥2067
【预订】Multiscale Methods in Computational Mechanics 9789048198 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048198085 Author 作者 de Borst Format 版本 精装 Pages Number 页数 446页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-10-25 Shipping Weight 商品重量 1820g Language 语种 英语 Book Contents 内容简介 This work gives a modern, up-to-date account of recent developments in computational multiscale mechanics. Both upscaling and concurrent computing methodologies will be addressed for a range of application areas in computational solid and fluid mechanics: Scale transitions in materials, turbulence in fluid-structure interaction problems, multiscale/multilevel optimization, multiscale poromechanics.A Dutch-German research group that consists of qualified and well-known researchers in the field has worked for six years on the topic of computational multiscale mechanics. This text provides a unique opportunity to consolidate and disseminate
¥1095
【预订】Formal Methods: Foundations and Applications 97836421045 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642104510 Author 作者 Marcel Vinícius Medeiros Oliveira Lagoa Nova Natal Brazil Format 版本 平装-胶订 Pages Number 页数 351页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-11-09 Shipping Weight 商品重量 557g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational sys
¥548.00
【预订】Formal Methods: Foundations and Applications 97836422503 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642250316 Author 作者 Simao Format 版本 平装-胶订 Pages Number 页数 205页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-10-28 Shipping Weight 商品重量 338g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
¥548.00
【预订】Formal Methods for Components and Objects 9783540921875 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540921875 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-12-01 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 like Java. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium
¥548.00
【预订】Relational Methods in Computer Science 9783211829714 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783211829714 Author 作者 Brink Format 版本 平装-胶订 Pages Number 页数 272页 Publisher 出版社 Springer Wien Publication Date 出版日期 1997-04-23 Language 语种 英语 Book Contents 内容简介 The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathe
¥548.00
【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781566702614 Author 作者 James K. Hallenburg Format 版本 精装 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 1997-12-29 Shipping Weight 商品重量 907g Language 语种 英语 Book Contents 内容简介 Non-Hydrocarbon Methods of Geophysical Formation Evaluation discusses uses of formation evaluation in environmental science and engineering, hydrogeology, and other fields outside the petroleum industry, and demonstrates how the standard methods can be adapted to these non-hydrocarbon purposes. It presents step-by-step instructions for photon, magnetic, nuclear, and acoustic methods of exploration, and gives special attention to the analytical techniques used in non-hydrocarbon exploration.
¥2561
海外直订Formal Methods for Computational Systems Biology: 8th In
¥627.00
预订 Walking Methods: Research on the Move 行走方法：移动研究: 97811381 国外库房发货，通常付款后3-5周到货
¥1958
预订 New Methods in Dialectology: Proceedings of a Workshop he 国外库房发货，通常付款后3-5周到货
¥2323
预订 Formal Methods for Safe Autonomy: Data-Driven Verificatio 国外库房发货，通常付款后3-5周到货
¥1111
预订 Visual methods, a/r/tography & walking : métodos visuales 国外直发，下单后3个月左右到货
¥556.00
【预订】Physical Methods in Plant Sciences 9783642836138 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Semigroup Methods for Evolution Equations on Networks 97 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Advanced Methods in Protein Sequence Determination 97836 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Meshless Methods in Biomechanics: Bone Tissue Remodellin 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods and Software Engineering 9783319478456 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Frequency Methods in Oscillation Theory 9789401065702 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Chemical Engineers Using Excel, VB 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466575349 Author 作者 Victor J. Law Format 版本 精装 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2013-03-05 Shipping Weight 商品重量 544g Language 语种 英语 Book Contents 内容简介 Since many practical engineering problems must be solved numerically, this text provides instruction on using numerical methods and Excel?/VBA for chemical and biomolecular engineering problems, covering a broad range of application areas. It also includes an introduction to MATLAB? that is made easier to learn after studying the programming tools in previous chapters. Each chapter contains examples that show in detail how a particular numerical method or programming methodology can be implemented. The chapters also contain end-of-chapter exercises, with solutions provided.
¥1126
【预订】Research Methods and Applications in Chemical and Biolog 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781771887687 Format 版本 精装 Pages Number 页数 334页 Publisher 出版社 Apple Academic Press Publication Date 出版日期 2019-07-25 Language 语种 英语 Book Contents 内容简介 This research-oriented book consolidates and provides up-to-date experimental methods currently used in research for many branches of chemical and biological engineering. The book surveys essential ideas and research methodologies, concentrating on experiments as used in applications rather than on fine points of rigorous mathematics.
¥1868
【预订】Microarray Methods and Protocols 9781420046656 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781420046656 Author 作者 Robert S. Matson Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-01-20 Shipping Weight 商品重量 408g Language 语种 英语 Book Contents 内容简介 With insight into present and future uses for microarray technology, this volume provides an overview of companies that provide arrays, the type of arrays available, array construction processes, substrate chemistry, array printing, and quality control. It focuses on nucleic acid microarrays of biomedical relevance, microarrays in drug discovery, and the application of gene expression arrays to identify drug targets and predict potential drug toxicity problems. Finally, it looks at the relatively new field of protein microarray technology, discussing its technical challenges and practical solutions.
¥2035
【预订】Research Methods for Public Administrators 9780367334369 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367334369 Author 作者 Gary Rassel Format 版本 平装-胶订 Pages Number 页数 616页 Publisher 出版社 Routledge Publication Date 出版日期 2020-12-30 Language 语种 英语 Book Contents 内容简介 Research Methods for Public Administrators contains a thorough overview of research methods and statistical applications for advanced undergraduate and graduate students and practitioners. The material is based on established social science methods. Concepts and applications are discussed and illustrated with examples from actual research.The book covers research design, methods of data collection, instructions on formulating research plans, measurement, sampling procedures and statistical applications from basic statistics to more advance techniques. The basics of conducting experiments, survey research, case studies and focus groups are discussed. Data organization, management
¥1582
【预订】Geometric Methods in PDE’s 9783319026657 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Asymptotic Methods in Quantum Mechanics: Application to 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Scientific Methods for the Study of Polymer Colloids and 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Numerical Methods for Partial Differential Equations 978 美国库房发货，通常付款后3-5周到货！
¥1386
预订 Diverse Methods in Customer Relationship Marketing and Ma 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1756
预订 Novel Methods for Solving Linear and Nonlinear Integral E 【全球购】进口原版图书，一般5-8周左右到国内
¥1773
预订 Vortex Methods: Selected Papers of the First Internationa 【全球购】进口原版图书，一般5-8周左右到国内
¥837.00
预订 Toyota Methods and Operating Models: Achieve Business Suc 国外库房发货，通常付款后3-5周到货
¥2428
预订 Formal Methods in the Methodology of Empirical Sciences: 国外库房发货，通常付款后3-5周到货
¥1643
【预订】Meshfree Methods for Partial Differential Equations VI 9 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Meshfree Methods for Partial Differential Equations V 97 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Subspace Methods for Pattern Recognition in Intelligent 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Differential Equations, Optimizati 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Numerical Methods for Two-phase Incompressible Flows 978 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Preventive Methods for Coastal Protection: Towards the U 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Sirtuins: Methods and Protocols 9781493960453 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Asymptotic Methods in Fluid Mechanics: Survey and Recent 美国库房发货，通常付款后3-5周到货！
¥3033
【预订】Fusion Methods for Unsupervised Learning Ensembles 97836 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Epigenetic Methods in Neuroscience Research 978149392753 美国库房发货，通常付款后3-5周到货！
¥1095
海外直订Kernel Methods and Machine Learning 核方法与机器学习
¥1060
【预订】Formal Methods for Industrial Critical Systems 978331919 美国库房发货，通常付款后3-5周到货！
¥525.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车