
【3-6周达】Formal Methods and Software Engineering: 16th Interna 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

【3-6周达】New Methods to Engineer and Seamlessly Reconfigure Ti 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

【3-6周达】Antibody Methods and Protocols (2012) [ISBN:978161779 【全球购】进口原版图书,一般3-6周左右到国内
¥1105

【预订】Formal Methods – Fun for Everybody 9783030713737 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030713737 Format 版本 平装-胶订 Pages Number 页数 227页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-03 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.
¥548.00

【3-6周达】Kernel Methods for Machine Learning with Math and R: 【全球购】进口原版图书,一般3-6周左右到国内
¥535.00

【预订】Modern Methods in Operator Theory and Harmonic Analysis 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030267506 Format 版本 平装-胶订 Pages Number 页数 475页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1500g Language 语种 英语 Book Contents 内容简介 This proceedings volume gathers selected, peer-reviewed papers from the "Modern Methods, Problems and Applications of Operator Theory and Harmonic Analysis VIII" (OTHA 2018) conference, which was held in Rostov-on-Don, Russia, in April 2018.The book covers a diverse range of topics in advanced mathematics, including harmonic analysis, functional analysis, operator theory, function theory, differential equations and fractional analysis – all fields that have been intensively developed in recent decades. Direct and inverse problems arising in mathematical physics are studied and new methods for sol
¥1643

【预订】Many-Body Methods for Atoms, Molecules and Clusters 9783 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319936017 Author 作者 Schirmer Format 版本 精装 Pages Number 页数 359页 Publication Date 出版日期 2018-08-28 Language 语种 英语 Book Contents 内容简介 This book provides an introduction to many-body methods for applications in quantum chemistry. These methods, originating in field-theory, offer an alternative to conventional quantum-chemical approaches to the treatment of the many-electron problem in molecules. Starting with a general introduction to the atomic and molecular many-electron problem, the book then develops a stringent formalism of field-theoretical many-body theory, culminating in the diagrammatic perturbation expansions of many-body Green’s functions or propagators in terms of Feynman diagrams. It also introduces and analyzes practical computational methods, such as the field-tested algebraic-diagrammatic construction (ADC) schemes. The ADC concept can als
¥1861

【预订】Formal Methods for Nonmonotonic and Related Logics 97833 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319896496 Author 作者 Schlechta Format 版本 精装 Pages Number 页数 473页 Publication Date 出版日期 2018-11-14 Language 语种 英语 Book Contents 内容简介 The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions.In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate
¥1095

【预订】Formal Methods for Nonmonotonic and Related Logics 97833 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319896526 Author 作者 Schlechta Format 版本 精装 Pages Number 页数 335页 Publication Date 出版日期 2018-11-12 Language 语种 英语 Book Contents 内容简介 The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate
¥932.00

【预订】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

预订 Hybrid Methods for Modeling and Optimizing Complex System 国外库房发货,通常付款后3-5周到货
¥2409

【预订】Iterative Methods and Preconditioning for Large and Spar 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781498764162 Author 作者 Daniele Bertaccini and Fabio Durastante Format 版本 精装 Pages Number 页数 350页 Publication Date 出版日期 2018-02-13 Language 语种 英语 Book Contents 内容简介 This book describes, in a basic way, the most useful and effective iterative solvers and appropriate preconditioning techniques for some of the most important classes of large and sparse linear systems.The solution of large and sparse linear systems is the most time-consuming part for most of the scientific computing simulations. Indeed, mathematical models become more and more accurate by including a greater volume of data, but this requires the solution of larger and harder algebraic systems. In recent years, research has focused on the efficient solution of large sparse and/or structured systems generated by the discretization of numerical models by using iterative solvers.
¥2035

【预订】Mining Methods: Engineering Fundamentals 9781682868164 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781682868164 Format 版本 平装-胶订 Publisher 出版社 Syrawood Publishing House Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1546

【预订】Emerging Methods and Paradigms in Scholarship and Educat 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781799810018 Author 作者 Lorraine Mavis Ling^^Peter Newson Ling Format 版本 精装 Pages Number 页数 300页 Publisher 出版社 IGI Publishing Publication Date 出版日期 2019-08-30 Language 语种 英语 Book Contents 内容简介 Data analysis and the strategies used for data collection have significant influence over the presentation and interpretation of educational data and information. The most influential aspects of educational research are the methods. Evaluating and improving research methods provides opportunities to ensure that the most relevant and most accurate data is collected and used. Emerging Methods and Paradigms in Scholarship and Education Research is an essential academic book that features relevant and evaluative information on research methodology for best outcomes. Highlighting a wide range of topics such as educational policy, scientific realism, and teachi
¥1840

¥1324

【预订】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

【预订】Research Methods in Language and Education 9789048194001 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789048194001 Author 作者 King Format 版本 平装-胶订 Pages Number 页数 443页 Publication Date 出版日期 2010-07-31 Shipping Weight 商品重量 1440g Language 语种 英语 Book Contents 内容简介 This volume, Research Methods in Language, offers an overview of the wide range of methodological approaches to language and education across the axes of micro and macro-linguistic and social levels of analysis, as well as the multiple connections between them.The four sections each offer ?Several reviews of different broad areas or subfields?Articles with a more narrow focus or demonstrating the application of an approach?International scope ?Diversity of scholarly perspectivesThe resultant breadth and depth of theoretical and methodological research perspective makes this a unique and highly valuable resource.This is one of ten volumes of the Encyclopedia of Language and Educatio
¥1314

【预订】Antibody Methods and Protocols 9781617799303 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781617799303 Author 作者 Proetzel Format 版本 精装 Pages Number 页数 325页 Publication Date 出版日期 2012-06-23 Shipping Weight 商品重量 826g Language 语种 英语 Book Contents 内容简介 The rapidly growing field of antibody research is the result of many advancing technologies allowing current developments to take advantage of molecular engineering to create tailor-made antibodies.? Antibody Methods and Protocols attempts to provide insight into the generation of antibodies using in vitro and in vivo approaches, as well as technical aspects for screening, analysis, and modification of antibodies and antibody fragments.? The detailed volume is focused on basic protocols for isolating antibodies and, at the same time, it selects a range of specific areas with the aim of providing guides for the overall process of antibody isolation and characterization as well as protoc
¥1095

【预订】Numerical Methods for Optimal Control Problems 978303001 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030019587 Author 作者 Falcone Format 版本 精装 Pages Number 页数 240页 Publication Date 出版日期 2019-01-20 Language 语种 英语 Book Contents 内容简介 This work presents recent mathematical methods in the area of optimal control with a particular emphasis on the computational aspects and applications. Optimal control theory concerns the determination of control strategies for complex dynamical systems, in order to optimize some measure of their performance. Started in the 60’s under the pressure of the "space race" between the US and the former USSR, the field now has a far wider scope, and embraces a variety of areas ranging from process control to traffic flow optimization, renewable resources exploitation and management of financial markets. These emerging applications require more and more efficient numerical methods for their solution, a very difficult task due the h
¥1205

【预订】Interval Methods for Solving Nonlinear Constraint Satisf 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030137946 Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2019-03-19 Language 语种 英语 Book Contents 内容简介 This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals’ endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.
¥1095

【预订】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

【预订】The Latest Methods of Construction Design 9783319794204 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319794204 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-03-28 Language 语种 英语 Book Contents 内容简介 This book is based on the 55th International Conference of Machine Design Departments 2014 (ICMD 2014) which was hosted by the Czech Technical University in September 2014. It features scientific articles which solve progressive themes from the field of machine design. The book addresses a broad range of themes including tribology, hydraulics, materials science, product innovation and experimental methods. It presents the latest interdisciplinary high-tech work. People with an interest in the latest research results in the field of machine design and manufacturing engineering will value this book with contributions of leading academic scientists and experts from all around the world.
¥1643

【预订】Formal Methods: Foundations and Applications 97836421982 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642198281 Author 作者 Davies Format 版本 平装-胶订 Pages Number 页数 291页 Publication Date 出版日期 2011-03-23 Shipping Weight 商品重量 433g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.
¥548.00

【预订】Molecular Methods for Evolutionary Genetics 978161779227 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781617792274 Author 作者 Orgogozo Format 版本 精装 Pages Number 页数 503页 Publication Date 出版日期 2011-09-29 Shipping Weight 商品重量 1160g Language 语种 英语 Book Contents 内容简介 We are entering a particularly fruitful period in evolutionary genetics, as rapid technological progress transforms the investigation of genetic variation within and between species. Molecular Methods for Evolutionary Genetics is a collection of advanced molecular biology protocols and general overviews intended to represent the essential methods currently bringing evolutionary genetics to fruition. Divided into six thematic sections, this volume covers methods for characterizing genomes, diverse approaches to enrich DNA for subsets of the genome prior to sequencing, and state-of-the-art protocols for sampling genetic variation for genetic mapping studies and population genetic studie
¥1643

【预订】Analytical Methods in Marine Hydrodynamics 9781107179691 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781107179691 Author 作者 Ioannis K. Chatjigeorgiou Format 版本 精装 Pages Number 页数 528页 Publication Date 出版日期 2018-09-01 Language 语种 英语 Book Contents 内容简介 The value of analytical solutions relies on the rigorous formulation, and a strong mathematical background. This comprehensive volume unifies the most important geometries, which allow for the development of analytical solutions for hydrodynamic boundary value problems. It offers detailed explanations of the Laplance domain and numerical results associated with such problems, providing deep insight into the theory of hydrodynamics. Extended numerical calculations are provided and discussed, allowing the reader to use them as benchmarks for their own computations and making this an invaluable resource for specialists in in various disciplines, including hydrodynamics, acoustics, optics, electrostatics, and br
¥2326

【预订】Matrix Methods of Structural Analysis 9780815381501 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780815381501 Author 作者 Praveen Nagarajan Format 版本 精装 Pages Number 页数 344页 Publication Date 出版日期 2018-08-22 Language 语种 英语 Book Contents 内容简介 This book deals with matrix methods of structural analysis for linearly elastic framed structures. It starts with background of matrix analysis of structures followed by procedure to develop force-displacement relation for a given structure using flexibility and stiffness coefficients.
¥1560

【预订】Geometric Methods and Applications 9781441999603 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781441999603 Author 作者 Gallier Format 版本 精装 Pages Number 页数 680页 Publication Date 出版日期 2011-06-21 Shipping Weight 商品重量 1220g Language 语种 英语 Book Contents 内容简介 This book is an introduction to the fundamental concepts and tools needed for solving problems of a geometric nature using a computer. It attempts to fill the gap between standard geometry books, which are primarily theoretical, and applied books on computer graphics, computer vision, robotics, or machine learning. ?This book covers the following topics: affine geometry, projective geometry, Euclidean geometry, convex sets, SVD and principal component analysis, manifolds and Lie groups, quadratic optimization, basics of differential geometry, and a glimpse of computational geometry (Voronoi diagrams and Delaunay triangulations). Some practical applications of the concepts presented in
¥1205

【预订】Biopolymer Methods in Tissue Engineering 9781617372803 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781617372803 Author 作者 Hollander Format 版本 平装-胶订 Pages Number 页数 257页 Publication Date 出版日期 2010-11-10 Language 语种 英语 Book Contents 内容简介 There is an urgent need to develop new approaches to treat conditions as- ciated with the aging global population. The surgeon’s approach to many of these problems could be described as having evolved through three stages: Removal: Traditionally, diseased or badly damaged tissues and structures might simply be removed. This was appropriate for limbs and non-essential organs, but could not be applied to structures that were critical to sustain life. An additional problem was the creation of disability or physical deformity that in turn could lead to further complications. Replacement: In an effort to treat wider clinical problems, or to overcome the limitations of amputation, surgeons turned to the use of implanted
¥1095

【预订】Concepts, Methods and Practical Applications in Applied 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319654386 Author 作者 Thomas Format 版本 精装 Pages Number 页数 333页 Publication Date 出版日期 2018-02-08 Shipping Weight 商品重量 678g Language 语种 英语 Book Contents 内容简介 This textbook offers a comprehensive overview of applied demography by presenting both basic concepts and methodological techniques. It allows students from the social and human sciences, demographers, consultants and anyone interested in applied demography to gain an understanding of a wide range of practical applications of demographic concepts, methods and techniques to real- world problems. Featured sidebars highlight relevant terms and concepts and case studies and exercises throughout the book offer first-hand exposure to demographic applications. Charts and graphs supplement the presentation of demographic concepts and a glossary provides an inventory of relevant terms. The first
¥1205

【预订】Spectral Methods in Fluid Dynamics 9783540522058 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540522058 Author 作者 Canuto Format 版本 平装-胶订 Pages Number 页数 568页 Publisher 出版社 Springer Publication Date 出版日期 1991-03-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Language 语种 英语 Book Contents 内容简介 This is a book about spectral methods for partial differential equations: when to use them, how to implement them, and what can be learned from their of spectral methods has evolved rigorous theory. The computational side vigorously since the early 1970s, especially in computationally intensive of the more spectacular applications are applications in fluid dynamics. Some of the power of these discussed here, first in general terms as examples of the methods have been methods and later in great detail after the specifics covered. This book pays special attention to those algorithmic details which are essential to successful implem
¥985.00

【预订】Advanced Methods for Modeling Markets 9783319851600 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319851600 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-05-13 Language 语种 英语
¥3833

【预订】Asymptotic Methods for Elastic Structures 美国库房发货,通常付款后3-5周到货!
¥1337

【预订】Diagnostic Methods of Anca 美国库房发货,通常付款后3-5周到货!
¥790.00

【预订】Spectral Methods for Non-Standard Eigenvalue Problems: F 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Multigrid Methods IV: Proceedings of the Fourth European 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Proteomic Methods in Neuropsychiatric Research 978331952 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319524788 Author 作者 Guest Format 版本 精装 Pages Number 页数 381页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-04-01 Language 语种 英语 Book Contents 内容简介 Due to continuous technical developments and new insights into the high complexity of neurological diseases, there is an increasing need for the application of proteomic technologies which can yield potential biomarker readouts for improved clinical management as well as for the development of new drugs by struggling pharmaceutical companies. This book describes the step-by-step use of proteomic methods such as two-dimensional gel electrophoresis, multiplex immunoassay, liquid chromatography mass spectrometry (LC-MS) and selective reaction monitoring MS, to increase our understanding of these diseases, with the ultimate aim of improving patient care.The volume will be of high interest to
¥1753

【预订】Meshfree Methods for Partial Differential Equations VIII 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319519531 Author 作者 Schweitzer, Marc Alexander Format 版本 精装 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-05-01 Language 语种 英语 Book Contents 内容简介 There have been substantial developments in meshfree methods, particle methods, and generalized finite element methods since the mid 1990s. The growing interest in these methods is in part due to the fact that they offer extremely flexible numerical tools and can be interpreted in a number of ways. For instance, meshfree methods can be viewed as a natural extension of classical finite element and finite difference methods to scattered node configurations with no fixed connectivity. Furthermore, meshfree methods have a number of advantageous features that are especially attractive when dealing with multiscale phenomena: A-priori knowledge about the solution’s particular local behavior can easily be
¥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

【预订】Advanced Methods and Technologies in Metallurgy in Russi 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319882222 Format 版本 平装-胶订 Pages Number 页数 214页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-06-04 Shipping Weight 商品重量 472g Language 语种 其它(含多语) Book Contents 内容简介 The book provides a comprehensive overview of the most recent and advanced work on metallurgy sciences and technologies--including material characterization of complicated alloys, heat and surface treatment, ferrous metals metallurgy, and energy savings in pyrometallurgy--in the important Ural industrial region of Russia. Until recently, research into scientific and engineering problems within Russia developed along different lines than those in Europe and North America, but nevertheless resulted in remarkable achievements utilizing different tools and methodologies than those used in the West. Many of these achievements - particular
¥1095

【预订】Direct Methods for Limit and Shakedown Analysis of Struc 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319357966 Author 作者 Paolo Fuschi Università Mediterranea di Reggio Calabria Re Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-10-14 Shipping Weight 商品重量 589g Language 语种 英语 Book Contents 内容简介 Articles in this book examine various materials and how to determine directly the limit state of a structure, in the sense of limit analysis and shakedown analysis. Apart from classical applications in mechanical and civil engineering contexts, the book reports on the emerging field of material design beyond the elastic limit, which has further industrial design and technological applications. Readers will discover that “Direct Methods” and the techniques presented here can in fact be used to numerically estimate the strength of structured materials such as composites or
¥1095

【预订】Discrete Methods in Epidemiology 9780821843796 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780821843796 Author 作者 James Abello Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2007-06-07 Language 语种 英语 Book Contents 内容简介 Studies of the spread and containment of disease rely at heart on a variety of mathematical and computational techniques. This collection aims to introduce the fundamentals of epidemiology and to showcase contemporary work using discrete mathematical techniques. Introductory chapters explain the fundamental concepts of epidemiology, the basic tools provided by mathematics and computer science, and some of the outstanding open problems in the area. Contributed articles then highlight particular problems in monitoring disease outbreaks, vaccination strategies, and modelling disease survival factors, and successfully apply techniques such as for
¥1231

【预订】Research Methods and Statistics in Psychology 9781444170 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781444170115 Author 作者 Hugh Coolican Format 版本 平装-胶订 Pages Number 页数 788页 Publication Date 出版日期 2014-04-04 Shipping Weight 商品重量 1678g Language 语种 英语 Book Contents 内容简介 The sixth edition of this bestselling text has been thoroughly revised and updated, providing students with the most readable and comprehensive survey of research methods, statistical concepts and procedures in psychology today.
¥987.00

【预订】Emerging Methods and Paradigms in Scholarship and Educat 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781799810025 Author 作者 Lorraine Ling Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Information Science Publishing Publication Date 出版日期 2019-08-30 Language 语种 英语 Book Contents 内容简介 There is a renaissance in the use of the term “scholarship,” as it is being used to define areas of academic endeavour, describe academic work and achievements, and measure the quality of higher education. Although all academicians are required to engage in scholarship, it is difficult to navigate as there is a misunderstanding of this concept as new methods and approaches emerge. Emerging Methods and Paradigms in Scholarship and Education Research is an essential academic book that is designed to explain the areas of scholarship and their contemporary relationship to key components of academic work: research, teaching, service, and engagement. The chap
¥1924

海外直订医药图书Methods in Neuroendocrinology 神经内分泌学方法
¥779.00

【预订】Zebrafish: Methods for Assessing Drug Safety and Toxicit 美国库房发货,通常付款后3-5周到货!
¥1555

【预订】Empirical Methods in Short-Term Climate Prediction 美国库房发货,通常付款后3-5周到货!
¥1888

【预订】Catalytic Methods in Asymmetric Synthesis: Advanced Mate 美国库房发货,通常付款后3-5周到货!
¥2179

【预订】Detection Methods for Algae, Protozoa & Helminths in Fre 美国库房发货,通常付款后3-5周到货!
¥3609

海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1988

【预订】Numerical Methods for Seakeeping Problems 9783030625603 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030625603 Author 作者 el Moctar Format 版本 精装 Pages Number 页数 290页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-10 Language 语种 英语 Book Contents 内容简介 The book describes currently applied and newly developed advanced numerical methods for wave-induced ship motions and loads. Besides well-established computational methods based on strip theory, panel methods and finite volume methods for unsteady Reynolds-averaged Navier-Stokes equations (URANS), recent advances like a fully nonlinear Rankine panel method, URANS calculations including elastic hull deformations, and an improved method to predict added resistance in waves are explained in detail. Furthermore, statistical methods to assess extreme motions and loads are described both for linear and nonlinear responses in a stationary seaway as well as during long-term ship
¥1753

【预售 按需印刷】Kernel Methods in Analysis of Genetic Mar 北京发货,付款后10天内发货
¥1400

海外直订Novel Methods and Technologies for Enterprise Informatio
¥1197

【预订】Simulation Methods for Reliability and Availability of C 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781848822122 Author 作者 Faulin Format 版本 精装 Pages Number 页数 316页 Publisher 出版社 Springer London Publication Date 出版日期 2010-04-19 Shipping Weight 商品重量 1430g Language 语种 英语 Book Contents 内容简介 Simulation Methods for Reliability and Availability of Complex Systems discusses the use of computer simulation-based techniques and algorithms to determine reliability and availability (R and A) levels in complex systems. The book: shares theoretical or applied models and decision support systems that make use of simulation to estimate and to improve system R and A levels, forecasts emerging technologies and trends in the use of computer simulation for R and A and proposes hybrid approaches to the development of efficient methodologies designed to solve R and A-related problems in real-life systems.Dealing with practical issues, Simulation Meth
¥1643

【预订】Formal Methods and Software Engineering 9783540881933 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540881933 Author 作者 Shaoying Liu Hosei University Dept. Computer Science Kogan Format 版本 平装-胶订 Pages Number 页数 397页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-08 Language 语种 英语 Book Contents 内容简介 Formal engineering methods are intended to oer e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must
¥548.00

【预订】Research Methods in International Business 9783030221157 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030221157 Format 版本 平装-胶订 Pages Number 页数 511页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2020-12-08 Product Dimensions 商品尺寸 8.2 x 5.8 x 1 cm Shipping Weight 商品重量 1370g Language 语种 其它(含多语) Book Contents 内容简介 Showcasing methodological rigour and state-of-the-art methods as hallmarks of modern international business (IB) research, this book offers a collection of the most relevant and highly cited research methods articles from the Journal of International Business Studies (JIBS). Each piece is accompanied by a new Commentary written by experts in the field; some also include Further Reflections by the original authors. Encompassing both qualitative and quantitative approaches, this comprehensive volume explores research design, testing and reporting, as well as specific methodological issues such a
¥2359

【预订】Advanced Methods in Structural Biology 9784431567585 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9784431567585 Author 作者 Toshiya Senda High Energy Accelerator Research Organization Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-06-07 Language 语种 英语 Book Contents 内容简介 This book provides practical information on a whole set of protein experiments for advanced structural biology, such as X-ray crystallography, NMR, electron microscopy, advanced mass spectroscopy, and surface plasmon resonance, as well as a wide variety of expression systems including eukaryotic and in vitro expression. In the past decade, structural genomics studies have pushed forward the development of automated methods in the field of structural biology, however there is an increasing need for the structural analysis of difficult targets, such as large protein complexes and membrane proteins, which are hard to achieve using conventional automa
¥1095

【预订】Modern Methods in Equilibrium Statistical Mechanics 9789 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789971966270 Author 作者 Rasetti M Format 版本 精装 Pages Number 页数 270页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1986-06-01 Shipping Weight 商品重量 602g Language 语种 其它(含多语) Book Contents 内容简介 This book consists of a set of lecture notes on graduate courses in Analytical Mechanics and Statistical Mechanics which the author successively gave at the University of Miami, and at the University and Polytechnic of Turin over the past decade. The book centers on the idea that st
¥720.00

预订 Smart Methods for Environmental Externalities: Urban Plan 国外库房发货,通常付款后3-5周到货
¥1355