【预订】Numerical Methods in Fluid Dynamics: Initial and 美国库房发货，通常付款后3-5周到货！
¥661.00
【预订】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
预订 The Methods of Neuroethics 神经伦理学的方法: 9781009495103 国外库房发货，通常付款后3-5周到货
¥728.00
【预订】Optical Methods for Solid Mechanics - a Full-Field Appro 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783527411115 Author 作者 Pramod Rastogi Format 版本 平装-胶订 Pages Number 页数 446页 Publisher 出版社 Wiley-VCH Publication Date 出版日期 2012-06-06 Shipping Weight 商品重量 850g Language 语种 英语 Book Contents 内容简介 This book - written in tutorial style - is a detailed and reliable guide to understand the full-field optical measurement techniques in solid mechanics. Some of its goals are to: - familiarize the reader with the essentials of imaging and full-field optic
¥1800
【预订】Analytical Methods in Nonlinear Oscillations: Approaches 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789402416527 Author 作者 Esmailzadeh Ebrahim Format 版本 平装-胶订 Pages Number 页数 286页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1643
【预订】Models, Methods, and Tools for Complex Chip Design 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319348230 Author 作者 Jan Haase Format 版本 平装-胶订 Pages Number 页数 221页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 440g Language 语种 英语 Book Contents 内容简介 This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
¥1643
预订 Direct Methods for Sparse Matrices 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9780198508380 Author 作者 DuffI.S. Pages Number 页数 464页 Publisher 出版社 Oxford University Press Publication Date 出版日期 20170126 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 The subject of sparse matrices has its root in such diverse fields as management science, power systems analysis, surveying, circuit theory, and structural analysis. Efficient use of sparsity is a key to solving large problems in many fields. This book provides both insight and answers for those attempting to solve these problems.
¥1488
【预订】Prediction Methods for Blood Glucose Concentration 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319259116 Author 作者 Kirchsteiger Format 版本 精装 Pages Number 页数 265页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-11-25 Shipping Weight 商品重量 584g Language 语种 英语 Book Contents 内容简介 This book tackles the problem of overshoot and undershoot in blood glucose levels caused by delay in the effects of carbohydrate consumption and insulin administration. The ideas presented here will be very important in maintaining the welfare of insulin-dependent diabetics and avoiding the damaging effects of unpredicted swings in blood glucose – accurate prediction enables the implementation of counter-measures. The glucose prediction algorithms described are also a key and critical ingredient of automated insulin delivery systems, the so-called “artificial pancreas”.The authors address the topic of blood-glucose p
¥1095
【预订】Research Methods In Occupational Health Psychology 97811 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138115743 Format 版本 平装-胶订 Pages Number 页数 464页 Publisher 出版社 Routledge Publication Date 出版日期 2017-07-07 Language 语种 英语 Book Contents 内容简介 Research Methods in Occupational Health Psychology: Measurement, Design, and Data Analysis provides a state-of-the-art review of current issues and best practices in the science of Occupational Health Psychology. Occupational Health Psychology (OHP) is a multidisciplinary and rapidly growing area of research and it is difficult or impossible for researchers to keep up with developments in all of the fields where scholars conduct OHP science. This book will help OHP scholars improve their own research by translating recent innovations in methodology into sets of concrete recommendations that will help scholars improve their own research as well as their training of future researchers.
¥648.00
【预订】Numerical Methods for Image Registration 美国库房发货，通常付款后3-5周到货！
¥2135
【预订】Practical Methods for Reliability Data Analysis 美国库房发货，通常付款后3-5周到货！
¥2588
【预订】Research Methods for Clinical Therapists: Applied 美国库房发货，通常付款后3-5周到货！
¥734.00
海外直订Arts Methods for the Self-Representation of Undergraduat
¥1479
预售 按需印刷 Methods for Diseases Diagnostic with Appli 北京发货，付款后10天内发货
¥638.00
海外直订Formal Methods for Industrial Critical Systems: 12th Int
¥662.00
【预订】Numerical Methods for Shallow-Water Flow 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Spectral Methods for Incompressible Viscous Flow 美国库房发货，通常付款后3-5周到货！
¥876.00
【预订】Modern Methods & Applications In Analysis Of 美国库房发货，通常付款后3-5周到货！
¥3792
海外直订PCR Methods in Foods 食品中的PCR方法
¥1325
预订 Novel Methods for Monitoring and Managing Land and Water 国外库房发货，通常付款后3-5周到货
¥1643
海外直订Silac: Methods and Protocols Silac:方法和协议
¥1670
【预订】Numerical Methods for General and Structured Eigenvalue 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540245469 Author 作者 Kressner Format 版本 平装-胶订 Pages Number 页数 258页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-07-15 Language 语种 英语 Book Contents 内容简介 The purpose of this book is to describe recent developments in solving eig- value problems, in particular with respect to the QR and QZ algorithms as well as structured matrices. Outline Mathematically speaking, the eigenvalues of a square matrix A are the roots of its characteristic polynomial det(A?I). An invariant subspace is a linear subspace that stays invariant under the action of A. In realistic applications, it usually takes a long process of simpli?cations, linearizations and discreti- tions before one comes up with the problem of computing the eigenvalues of a matrix. In some cases, the eigenvalues have an intrinsic meaning, e.g., for the expected long-tim
¥1095
【预订】Advanced Methods of Pharmacokinetic and Pharmacodynamic 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781402078040 Author 作者 D’Argenio Format 版本 精装 Pages Number 页数 318页 Publisher 出版社 Springer US Publication Date 出版日期 2004-03-31 Language 语种 英语 Book Contents 内容简介 Advanced Methods of Pharmacokinetic and Pharmocodynamic Systems Analysis Volume 3 is vital to professionals and academicians working in drug development and bioengineering. Both basic and clinical scientists will benefit from this work.This book contains chapters by leading researchers in pharmacokinetic/pharmacodynamic modeling and will be of interest to anyone involved with the application of pharmacokinetic and pharmacodynamics to drug development. The use of mathematical modeling and associated computational methods is central to the study of the absorption, distribution and elimination of therapeutic drugs (pharmacokinetics) and to understanding how drugs produce their effects (p
¥2190
【预订】Logical Methods: In Honor of Anil Nerode's Sixtieth 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Biofuels: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Research Methods In Community Medicine- Surveys 美国库房发货，通常付款后3-5周到货！
¥1170
【预订】Stochastic Methods For Pension Funds 美国库房发货，通常付款后3-5周到货！
¥2453
环境追踪分析方法 Methods for Environmental Trace Analysis 英文原版 John 环境科学JohnR.Dean
¥778.00
【预订】Numerical Methods for Fractal-Fractional Differential Eq 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032415222 Author 作者 Muhammad Altaf Khan and Abdon Atangana Format 版本 精装 Pages Number 页数 432页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-05-04 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 This book is about the simulation and modeling of novel chaotic systems within the frame of fractal-fractional operators. The methods used, their convergence, stability, and error analysis are given, and this is the first book to offer mathematical modeling and simulations of chaotic problems with a wide range of fractal-fractional operators, to find solutions.Numerical Methods for Fractal-Fractional Differential Equations and Engineering: Simulations and Modeling provides details for stability, convergence, and analysis along with numerical methods and their solution procedures for
¥1628
【预订】Risk-Based Methods for Equipment Life Management: An App 美国库房发货，通常付款后3-5周到货！
¥1769
海外直订Formal Methods and Software Engineering: 12th Internatio
¥1325
【预订】Calpain Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Design Methods for Reactive Systems: Yourdon 美国库房发货，通常付款后3-5周到货！
¥855.00
【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货
¥761.00
预订Formal Methods for Components and Objects:10th Internation 预订，预计下单后3-4周左右发货！
¥669.00
【预订】Computer Methods for Engineering with MATLAB? Applicatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781591690368 Author 作者 Yogesh Jaluria Format 版本 精装 Pages Number 页数 632页 Publisher 出版社 CRC Press Publication Date 出版日期 2011-09-08 Shipping Weight 商品重量 1020g Language 语种 英语 Book Contents 内容简介 Now with MATLAB?, this substantially revised and updated edition shows how computational approaches can solve complex mathematical equations, such as simultaneous algebraic equations, ODEs, and PDEs, that typically arise in engineering problems. It explores the applicability, efficiency, and behavior of various numerical methods and explains how to use MATLAB and Fortran to solve numerous engineering examples and problems. This edition incorporates recent advances in computational software and hardware, additional exercises and examples, and new and updated references. A solutions manual is available upon qualifying course adoption.
¥1763
【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367235444 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 676页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-09-20 Language 语种 英语 Book Contents 内容简介 The book begins with an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.
¥2712
【预订】Modern Methods of Reflector Antenna Analysis and 美国库房发货，通常付款后3-5周到货！
¥1613
【预订】Sol-Gel Methods for Materials Processing: Focusing 美国库房发货，通常付款后3-5周到货！
¥2409
【预订】Direct Methods for Solving Macromolecular 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Unified Methods for VLSI Simulation and Test 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Research Methods and Design in Sport Management 美国库房发货，通常付款后3-5周到货！
¥860.00
【预订】Bayesian Methods: An Analysis for Statisticians and 美国库房发货，通常付款后3-5周到货！
¥648.00
【预订】Theory and Methods of Economic Evaluation of Health 美国库房发货，通常付款后3-5周到货！
¥1095
【3-6周达】Formal Methods for Industrial Critical Systems [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Somatic Methods for Affect Regulation 9781138284425 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138284425 Author 作者 Kimberley L. Shilson Format 版本 精装 Pages Number 页数 242页 Publisher 出版社 Routledge Publication Date 出版日期 2019-04-08 Language 语种 英语 Book Contents 内容简介 This unique resource presents a variety of approaches for working somatically with youth. The somatic techniques showcased in the book are evidence-based and illustrated with case studies showing their impact.
¥1733
【预订】Sequential Methods and Their Applications 9780367386535 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367386535 Author 作者 Nitis Mukhopadhyay and Basil M. de Silva Format 版本 平装-胶订 Pages Number 页数 504页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-08-30 Language 语种 英语 Book Contents 内容简介 Through this book and its computer programs, readers will better understand the methods of sequential analysis and be able to use them in real-world settings. The book explains concepts, methodologies, implementations, and properties in layman’s terms. It also provides essential computing tools so readers can run simulations and perform experiments with real or simulated data. The authors cover basic sampling techniques and inference procedures, address competing sampling methodologies in several statistical problems, and emphasize the relevance and importance of sequential methodologies in clinical trials, integrated pest management, exp
¥813.00
海外直订Smart Methods for Environmental Externalities 环境外部性的智能方法
¥1976
【预订】Advanced Methods in Structural Biology 9781071631461 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071631461 Author 作者 ?ngela Maria Almeida de Sousa Format 版本 精装 Pages Number 页数 292页 Publisher 出版社 Humana Press Publication Date 出版日期 2023-04-29 Language 语种 其它（含多语） Book Contents 内容简介 This volume explores the latest integrated bioprocesses and technologies used to study the production of the target recombinant protein of therapeutic or diagnostic interest; its isolation, purification, and stabilization; and the bio-interaction and structural analyses. The chapters in this book are organized into four parts. Part One covers production methods of soluble and membrane proteins in prokaryotic and eukaryotic expression systems, such as Lactococcus lactis and Escherichia coli. Part Two describes traditional and novel approaches for recombinant protein purification and stabilization, and buffers and additives. Part Three discusses automat
¥2190
预订 Numerical Methods in Physics with Python 9781009303866 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781009303866 Author 作者 Alex Gezerlis Format 版本 平装-胶订 Pages Number 页数 700页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-04-01 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. The second edition of this introductory book features several new codes and 140 new problems (many on physics applications), as well as new sections on the singular-value decomposition, derivative-free optimization, Bayesian linear regression, neural
¥662.00
【预订】Models, Methods, Concepts & Applications of the Analytic 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461435969 Author 作者 Saaty Format 版本 精装 Pages Number 页数 346页 Publication Date 出版日期 2012-04-12 Shipping Weight 商品重量 701g Language 语种 英语 Book Contents 内容简介 The Analytic Hierarchy Process (AHP) is a prominent and powerful tool for making decisions in situations involving multiple objectives. Models, Methods, Concepts and Applications of the Analytic Hierarchy Process, 2nd Edition applies the AHP in order to solve problems focused on the following three themes: economics, the social sciences, and the linking of measurement with human values. For economists, the AHP offers a substantially different approach to dealing with economic problems through ratio scales. Psychologists and political scientists can use the methodology to quantify and derive measurements for intangibles. Meanwhile researchers in the physical and engineering sciences can ap
¥2519
【预订】Algebraic Methods for Nonlinear Control Systems 97818499 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781849966252 Author 作者 Conte Format 版本 平装-胶订 Pages Number 页数 178页 Publication Date 出版日期 2010-10-19 Language 语种 英语 Book Contents 内容简介 A self-contained introduction to algebraic control for nonlinear systems suitable for researchers and graduate students. ’Algebraic Methods for Nonlinear Control Systems’ develops a linear-algebraic alternative to the usual differential-geometric approach to nonlinear control, using vector spaces over suitable fields of nonlinear functions. It describes a range of results, some of which can be derived using differential geometry but many of which cannot. They include: classical and generalized realization in the nonlinear context; accessibility and observability recast for the linear-algebraic setting; discussion and solution of basic feedback problems; results for dynamic and static state and output feedback. Dynami
¥1095
【预订】Formal Methods for Quantitative Aspects of Programming L 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642136771 Author 作者 Aldini Format 版本 平装-胶订 Publication Date 出版日期 2010-06-15 Language 语种 英语
¥548.00
【预订】Problems, Methods and Tools in Experimental and Behavior 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030075736 Format 版本 平装-胶订 Pages Number 页数 354页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1090g Language 语种 英语
¥1643
【预订】Scientific Methods in Mobile Robotics 9781849965439 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781849965439 Author 作者 Nehmzow Format 版本 平装-胶订 Pages Number 页数 210页 Publication Date 出版日期 2010-10-13 Language 语种 英语 Book Contents 内容简介 Mobile robotics has until now focused on issues like design of controllers and robot hardware. It is now ready to embrace theoretical methods from dynamical systems theory, statistics and system identification to produce a formalized approach based on quantitative analyses and computer models of the interaction between robot, task and environment. This book is a step towards a theoretical understanding of the operation of autonomous mobile robots. It presents cutting-edge research on the application of chaos theory, parametric and non-parametric statistics and dynamical systems theory in this field. Practical examples and case studies show how robot behaviour can be logged, analysed, interpreted and modelled, aiding de
¥1643
【预订】Spectral Methods 9783642068003 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642068003 Author 作者 Canuto Format 版本 平装-胶订 Pages Number 页数 581页 Publication Date 出版日期 2010-10-19 Language 语种 英语 Book Contents 内容简介 Since the publication of ’Spectral Methods in Fluid Dynamics’, spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific and engineering computation. While retaining the tight integration between the theoretical and practical aspects of spectral methods that was the hallmark of the earlier book, Canuto et al. now incorporate the many improvements in the algorithms and the theory of spectral methods that have been made since 1988. The initial treatment Fundamentals in Single Domains discusses the fundamentals of the approximation of solutions to ordinary and partial differential equations on single domains by expansions in smooth, global basis func
¥1643
【预订】Asymptotic Methods for the Fokker-Planck Equation and th 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642084096 Author 作者 Grasman Format 版本 平装-胶订 Pages Number 页数 220页 Publication Date 出版日期 2010-12-09 Language 语种 英语 Book Contents 内容简介 Asymptotic methods are of great importance for practical applications, especially in dealing with boundary value problems for small stochastic perturbations. This book deals with nonlinear dynamical systems perturbed by noise. It addresses problems in which noise leads to qualitative changes, escape from the attraction domain, or extinction in population dynamics. The most likely exit point and expected escape time are determined with singular perturbation methods for the corresponding Fokker-Planck equation. The authors indicate how their techniques relate to the It? calculus applied to the Langevin equation. The book will be useful to researchers and graduate students.
¥548.00
【预订】Numerical Methods for Time-Resolved Quantum Nanoelectron 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319876153 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-05-18 Language 语种 英语 Book Contents 内容简介 This thesis develops novel numerical techniques for simulating quantum transport in the time domain and applies them to pertinent physical systems such as flying qubits in electronic interferometers and superconductor/semiconductor junctions hosting Majorana bound states (the key ingredient for topological quantum computing). In addition to exploring the rich new physics brought about by time dependence, the thesis also develops software that can be used to simulate nanoelectronic systems with arbitrary geometry and time dependence, offering a veritable toolbox for exploring this rapidly growing domain.
¥1095
【预订】Numerical Methods and Applications 9783030106911 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030106911 Author 作者 Nikolov Format 版本 平装-胶订 Pages Number 页数 500页 Publication Date 出版日期 2019-01-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Numerical Methods and Applications, NMA 2018, held in Borovets, Bulgaria, in August 2018.The 56 revised regular papers presented were carefully reviewed and selected from 61 submissions for inclusion in this book. The papers are organized in the following topical sections: numerical search and optimization; problem-driven numerical method: motivation and application, numerical methods for fractional diffusion problems; orthogonal polynomials and numerical quadratures; and Monte Carlo and Quasi-Monte Carlo methods.
¥548.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车