【预订】Geometric Methods in Physics: XXXIV Workshop, Bialowie&# 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319811109 Format 版本 平装-胶订 Publisher 出版社 Birkhauser Publication Date 出版日期 2018-05-30 Language 语种 英语
¥1643
【预订】Geodesic Methods in Computer Vision and Computer 美国库房发货，通常付款后3-5周到货！
¥1310
【预订】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
海外直订Design Methods for Digital Systems 数字系统设计方法“，
¥659.00
海外直订Formal Methods and Stochastic Models for Performance Eva
¥662.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
【预订】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
【预订】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
【预订】Assessment Methods for Soil Carbon 9781566704618 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781566704618 Format 版本 精装 Pages Number 页数 696页 Publication Date 出版日期 2000-12-28 Shipping Weight 商品重量 1365g Language 语种 英语 Book Contents 内容简介 The Kyoto Protocols heightened interest in soil carbon pools and their effect on carbon fluxes. In Assessment Methods for Soil Carbon, leading researchers show that the technology exists to measure, monitor, and verify changes to soil carbon. The book establishes the need for standardized methods, and sheds light on the link between the pedosphere (soils) and the atmosphere. It shows the importance of developing links between the economics of carbon sequestration and the amounts sequestered and highlights the need for scientists and policy makers to interact to ensure that policies fit within the scope of present technologies.
¥2561
【预订】Practical Methods for Improving the Motion Performance o 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780530005720 Author 作者 Wegerif Format 版本 平装-胶订 Pages Number 页数 226页 Publisher 出版社 Dissertation Discovery Company Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11 x 8.5 x 0.4 cm Shipping Weight 商品重量 1180g Language 语种 英语
¥1166
【预订】Comparison Methods and Stability Theory 美国库房发货，通常付款后3-5周到货！
¥2561
【3-6周达】Fusion Methods for Time-Series Classification [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥865.00
【预订】Solution Methods for Integral Equations: Theory and Appl 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Models, Methods, Concepts & Applications of the Analytic 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Geometric Methods and Applications: For Computer Science 美国库房发货，通常付款后3-5周到货！
¥876.00
【预订】Research Methods in Neurochemistry: Volume 5 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Emerging Methods in Predictive Analytics: Risk Managemen 美国库房发货，通常付款后3-5周到货！
¥1924
【预订】Direct Methods in the Theory of Elliptic Equations 97836 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Advanced Methods and Applications in Computational Intel 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Ecological Methods, 4th Edition 9781118895276 美国库房发货，通常付款后3-5周到货！
¥2206
【预订】Analytic Methods in Interdisciplinary Applications 97833 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Bilevel Methods for Image Reconstruction 9781638280026 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781638280026 Author 作者 Caroline Crockett Format 版本 平装-胶订 Pages Number 页数 184页 Publisher 出版社 Now Publishers Publication Date 出版日期 2022-05-30 Product Dimensions 商品尺寸 15.6x1.02x23.39cm Shipping Weight 商品重量 268 g Language 语种 其它（含多语） Book Contents 内容简介 Methods for image recovery and reconstruction aim to estimate a good-quality image from noisy, incomplete, or indirect measurements. Such methods are also known as computational imaging. New methods for image reconstruction attempt to lower complexity, decrease data requirements, or improve image quality for a given input data quality.?Image reconstruction typically involves optimizing a cost function to recover a vector of unknown variables that agrees with collected measurements and prior assumptions. State-of-the-art image reconstruction methods learn thes
¥1101
Numerical Methods for Fractional Calculus 分数阶微积分的数值方法
¥599.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
【预订】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
【预订】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
【预订】Wavelet Methods in Mathematical Analysis and Engineering 美国库房发货，通常付款后3-5周到货！
¥765.00
【预订】Numerical Methods for VIscosity Solutions and Applicatio 美国库房发货，通常付款后3-5周到货！
¥1001
Research Methods in Intercultural Communication 978111883743 现货图书
¥486.00
【预订】Adaptive Methods of Computing Mathematics and Mechanics 美国库房发货，通常付款后3-5周到货！
¥1759
【预订】Innovative Methods for Numerical Solution of Partial Dif 美国库房发货，通常付款后3-5周到货！
¥1570
【预订】Synthetic Methods for Biologically Active Molecules Expl 美国库房发货，通常付款后3-5周到货！
¥1972
【预订】Modern Methods for Analysing Archaeological and Historic 美国库房发货，通常付款后3-5周到货！
¥4099
【预订】Formal Methods for Protocol Engineering and Distributed 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781475752700 Author 作者 Jianping Wu Format 版本 平装-胶订 Pages Number 页数 500页 Publisher 出版社 Springer US Publication Date 出版日期 2013-04-18 Product Dimensions 商品尺寸 11 x 8.2 x 1 cm Shipping Weight 商品重量 2530g Language 语种 英语 Book Contents 内容简介 Formal Methods for Protocol Engineering and Distributed Systems addresses formal deion techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint Internatio
¥2190
【预订】Rigorous Methods for Software Construction and Analysis 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642114465 Author 作者 Jean-Raymond Abrial Marseille France Format 版本 平装-胶订 Pages Number 页数 235页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-01-20 Language 语种 英语 Book Contents 内容简介 This Festschrift volume, published in honor of Egon Boerger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
¥548.00
【预订】Geological Methods in Mineral Exploration and Mining 978 美国库房发货，通常付款后3-5周到货！
¥1753
【预订】Numerical Methods in Engineering 9781009211802 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781009211802 Author 作者 Amiya K. Jana Format 版本 平装-胶订 Pages Number 页数 600页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-08-01 Product Dimensions 商品尺寸 242 x 155 mm Language 语种 其它（含多语） Book Contents 内容简介 Numerical methods are a cornerstone of modern engineering. This lucid textbook strikes a balance between theory and analysis of numerical methods and their practical applications in engineering. Each chapter starts with the formulation and graphical representation of the numerical method. This is followed by the algorithms required to create computer assisted solutions and simulations, which are then applied on real-world examples and case studies to show how exactly they are used. Finally, the strengths and weaknesses of the numerical method under discussion is explained, thus helping the reader
¥991.00
【预订】Inverse Methods in Physical Oceanography 9780521385688 美国库房发货，通常付款后3-5周到货！
¥1719
【预订】Advanced Methods for Processing and Visualizing the Rene 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811586088 Format 版本 平装-胶订 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-10-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.3 cm Shipping Weight 商品重量 540g Language 语种 其它（含多语） Book Contents 内容简介 This book is a collection of research work conducted by researchers at Centre for Smart Grid Energy Research (CSMER), Institute of Autonomous System, Universiti Teknologi PETRONAS (UTP), and Seismic Modelling and Inversion Group, King Abdullah University of Science and Technology (KAUST), Saudi Arabia. The book covers topics in the field of renewable energy where visualization, artificial neural network and deep learning techniques have been applied to optimize the performance of various applications in energy-related industries. These examples include a natural gas vehicle (NGV), a s
¥1753
【预订】Direct Methods For Stability Analysis Of Electric 美国库房发货，通常付款后3-5周到货！
¥2247
【3-6周达】Direct Methods: Methodological Progress and Engineeri 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Modern Methods of Drug Discovery [ISBN:9783764360818] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Apoptosis Methods in Toxicology 9781493935864 美国库房发货，通常付款后3-5周到货！
¥1533
【预订】Conformal Methods in General Relativity 9781107033894 美国库房发货，通常付款后3-5周到货！
¥1182
【预售 按需印刷】Practical Methods for Improving the Motio
¥953.70
【预售 按需印刷】Mitigation Methods of Wind Acceleration f 北京发货，付款后10天内发货
¥862.00
【预订】Numerical Methods for Diffusion Phenomena in Building Ph 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030315733 Author 作者 Mendes Format 版本 精装 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-01-24 Language 语种 英语 Book Contents 内容简介 This book is the second edition of Numerical methods for diffusion phenomena in building physics: a practical introductionoriginally published by PUCPRESS (2016). Itintends to stimulate research in simulation of diffusion problems in building physics, by providing an overview of mathematical models and numerical techniques such as the finite difference and finite-element methods traditionally used in building simulation tools.Nonconventional methods such as reduced order models, boundary integral approaches and spectral methods are presented, which might be considered in the next generation of building-energy-simulation tools.In this reviewed edition, an innovative way to si
¥548.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
【预订】Research Methods for Everyday Life: Blending Qualitative 美国库房发货，通常付款后3-5周到货！
¥1108
【预订】Stochastic Methods and Their Applications to Communicati 美国库房发货，通常付款后3-5周到货！
¥1944
【预订】Inventive Methods 美国库房发货，通常付款后3-5周到货！
¥2110
【预订】Orthogonal Methods for Array Synthesis: Theory and the O 美国库房发货，通常付款后3-5周到货！
¥1589
【预订】Spectral Methods in Quantum Field Theory 9783642101168 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642101168 Author 作者 Noah Graham Middlebury College Dept. Physics Middlebury V Format 版本 平装-胶订 Pages Number 页数 182页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-10-22 Shipping Weight 商品重量 308g Language 语种 英语 Book Contents 内容简介 In this monograph we apply scattering theory methods to calculations in quantum eld theory, with a particular focus on properties of the quantum vacuum. These methods will provide e?cient and reliable solutions to a - riety of problems in quantum ?eld theory. Our approach will also elucidate in a concrete context many of the subtleties of quantum ?eld theory, such as divergences, regularization, and renormalization, by connecting them to more familiar results in quantum mechanics. We will use tools of scattering theory to characterize the spectrum of energyeigenstatesinapoten
¥548.00
【预订】Formal Methods for Computational Systems Biology 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688921 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 527页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-20 Shipping Weight 商品重量 819g Language 语种 英语
¥548.00
【预订】Formal Methods in Computer-Aided Design 9783540001164 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540001164 Author 作者 Aagaard Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-10-23 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional verication has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, t
¥548.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车