【3-6周达】Methods in Cardiovascular and Lymphatic Biology [ISBN 【全球购】进口原版图书，约3-6周到达国内后发出
¥2156
按需印刷Design Methods of Safety-Critical Electronic Automotive 预订，预计下单后2-3周左右发货！
¥957.00
海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
¥662.00
【3-6周达】Formal Methods: Foundations and Applications: 14th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Passive Methods as a Solution for Improving Indoor En 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Testing Methods for Fault Detection in Electronic Cir 【全球购】进口原版图书，一般3-6周左右到国内
¥953.00
【3-6周达】New Methods of Food Preservation [ISBN:9781441951922] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】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
【预订】Research Methods: A Tool for Life 9781108436236 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781108436236 Author 作者 Beins, Bernard C Format 版本 平装-胶订 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2017-09-19 Language 语种 英语
¥855.00
海外直订Formal Methods for Distributed Processing: A Survey of O
¥2160
【预订】Formal Methods for Discrete-Time Dynamical Systems 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319507620 Author 作者 Gol, Ebru Aydin Format 版本 精装 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-15 Language 语种 英语 Book Contents 内容简介 This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is
¥1861
预订 Visual Methods in the Field: Photography for the Social S 国外库房发货，通常付款后3-5周到货
¥2110
【3-6周达】Formal Methods for Components and Objects [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】PCR Methods in Foods [ISBN:9780387282640] 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Modern Methods in Collisional-Radiative Modeling of P 【全球购】进口原版图书，一般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
【预订】Epistasis: Methods and Protocols 9781493942756 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Cilia: Methods and Protocols 9781493937875 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Numerical Methods for Nonlinear Partial Differential Equ 美国库房发货，通常付款后3-5周到货！
¥1533
【预订】Analytical Methods for Agricultural Contaminants 9780128 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128159408 Format 版本 平装-胶订 Pages Number 页数 350页 Publication Date 出版日期 2018-09-19 Language 语种 英语 Book Contents 内容简介 Analytical Methods for Agricultural Contaminants provides proven laboratory practices and methods necessary to control contaminants and residues in food and water. This reference provides insight into good laboratory practices and examples of methods used in individual specialist laboratories, thus enabling stakeholders in the agri-food industry to appreciate the importance of proven, reliable data and the associated quality assurance approaches for end product testing for toxic levels of contaminants and contaminant residues in food. The book offers standard operating procedures and tools for researchers, practitioners and students to confidently engage in using research methods with the aim to control contaminants. Users in a laboratory sett
¥2666
【预订】Integral Methods in Science and Engineering, Volume 2 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319593869 Author 作者 Constanda Format 版本 精装 Pages Number 页数 312页 Publication Date 出版日期 2017-09-18 Shipping Weight 商品重量 666g Language 语种 英语 Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. The second of two volumes, this work focuses on the applications of integral methods to specific problems in science and engineering. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Boundary elements ? Transport problems ? Option pricing ? Gas reservoirs ? Electromagnetic scattering This collection will be of interest to researchers in ap
¥1095
海外直订Mixed Methods in Criminology 犯罪学中的混合方法
¥2369
【3-6周达】Novel Methods in Soft Matter Simulations, 化学 [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Spectral Methods Using Multivariate Polynomials On The U 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367345471 Author 作者 Kendall Atkinson Format 版本 精装 Pages Number 页数 262页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-11-08 Language 语种 英语 Book Contents 内容简介 Spectral Methods Using Multivariate Polynomials on the Unit Ball is a research level text on a numerical method for the solution of partial differential equations. The authors introduce, illustrate with examples, and analyze ’spectral methods’ that are based on multivariate polynomial approximations.
¥2035
【预订】Modern Methods for Business Research 9780805826777 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780805826777 Format 版本 精装 Pages Number 页数 448页 Publisher 出版社 Psychology Press Publication Date 出版日期 1998-03-01 Shipping Weight 商品重量 874g Language 语种 英语 Book Contents 内容简介 The puropse of the volume is is to introduce a selection of the latest popular methods for conducting business research. The goal is to provide an understanding and working knowledge of each method.
¥1958
【预订】Formal Methods: Foundations and Applications 97830306388 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030638818 Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic S
¥711.00
【预订】Fuzzy Sets Methods in Image Processing and Understanding 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031194276 Author 作者 Isabelle Bloch Format 版本 平装-胶订 Pages Number 页数 302页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-01-03 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.67 Shipping Weight 商品重量 0.98磅 Language 语种 其它（含多语） Book Contents 内容简介 This book provides a thorough overview of recent methods using higher level information (object or scene level) for advanced tasks such as image understanding along with their applications to medical images. Advanced methods for fuzzy image processing and understanding are presented, including fuzzy spatial objects, geometry and topology, mathematical morphology, machine learning, verbal descriptions of image content, fusion, spatial relations, and structural representations. For each methodological aspect covered, illustrations from the medical i
¥1533
【预订】Formal Methods for Components and Objects 9783540747918 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540747918 Author 作者 Frank S. de Boer Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-12-18 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 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software
¥548.00
【预订】Separation Methods in Drug Synthesis and Purification, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444640703 Format 版本 平装-胶订 Pages Number 页数 700页 Publisher 出版社 Elsevier Science Publication Date 出版日期 2020-06-01 Product Dimensions 商品尺寸 9 x 5.9 x 1.5 cm Shipping Weight 商品重量 2290g Language 语种 英语
¥3198
【预订】Necrosis: Methods and Protocols 9781493960101 美国库房发货，通常付款后3-5周到货！
¥985.00
【预订】Geometric Methods in Physics 9783034804479 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Numerical Methods for the Life Scientist: Binding and En 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Asymptotic Methods for Investigating Quasiwave Equations 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Analytical Methods in Software Engineering Economics 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642777974 Author 作者 Gulledge Format 版本 平装-胶订 Pages Number 页数 252页 Publication Date 出版日期 2011-12-16 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Language 语种 英语 Book Contents 内容简介 This volume presents a selection of the presentations from the first annual conference on Analytical Methods in Software Engineering Economics held at The MITRE Corporation in McLean, Virginia. The papers are representative of the issues that are of interest to researchers in the economics of information systems and software engineering economics. The 1990s are presenting software economists with a particularly difficult set of challenges. Because of budget considerations, the number of large new software development efforts is declining. The primary focus has shifted to issues relating to upgrading and migrating existing systems. In this environment, productivi
¥1205
【预订】Numerical Methods in Finance 9781441937735 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441937735 Author 作者 Breton Format 版本 平装-胶订 Pages Number 页数 258页 Publication Date 出版日期 2010-10-29 Language 语种 英语 Book Contents 内容简介 GERAD celebrates this year its 25th anniversary. The Center was created in 1980 by a small group of professors and researchers of HEC Montreal, McGill University and of the Ecole Polytechnique de Montreal. GERAD’s activities achieved sufficient scope to justify its conversion in June 1988 into a Joint Research Centre of HEC Montreal, the Ecole Polytechnique de Montreal and McGill University. In 1996, the U- versite du Quebec a Montreal joined these three institutions. GERAD has fifty members (professors), more than twenty research associates and post doctoral students and more than two hundreds master and Ph.D. students. GERAD is a multi-university center and a vital forum for the devel- ment of operations research. I
¥1095
【预订】Allergy Methods and Protocols 9781617372438 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617372438 Author 作者 Jones Format 版本 平装-胶订 Pages Number 页数 352页 Publication Date 出版日期 2010-11-09 Shipping Weight 商品重量 538g Language 语种 英语 Book Contents 内容简介 In recent years, allergy research has focused on the causes and mechanisms of allergy. In parallel, there is also an impetus to try to understand mechanisms of natural tolerance and immunotherapy where allergy is being dampened. In Allergy: Methods and Protocols a groundbreaking new title from the Methods in Molecular Medicine series, leaders in the field provide assistance for researchers to gain insight into the molecular mechanisms involved in allergy by featuring an array of protocols. These cover a range of disciplines including allergy, immunology, cell biology and histology and include methods to investigate the cellular response to allergens, cytokine profile, MHC restricti
¥1205
【预订】Resampling Methods for Dependent Data 9781441918482 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441918482 Author 作者 Lahiri Format 版本 平装-胶订 Pages Number 页数 374页 Publication Date 出版日期 2010-11-29 Language 语种 英语 Book Contents 内容简介 This is a book on bootstrap and related resampling methods for temporal and spatial data exhibiting various forms of dependence. Like the resam? pling methods for independent data, these methods provide tools for sta? tistical analysis of dependent data without requiring stringent structural assumptions. This is an important aspect of the resampling methods in the dependent case, as the problem of model misspecification is more preva? lent under dependence and traditional statistical methods are often very sensitive to deviations from model assumptions. Following the tremendous success of Efron’s (1979) bootstrap to provide answers to many complex problems involving independent data and following Singh’s (1981) exam
¥2519
【预订】Computer Methods in Mechanics 9783642262340 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642262340 Author 作者 Kuczma Format 版本 平装-胶订 Pages Number 页数 528页 Publication Date 出版日期 2012-05-04 Product Dimensions 商品尺寸 9 x 6 x 1.2 cm Shipping Weight 商品重量 848g Language 语种 英语 Book Contents 内容简介 Prominent scientists present the latest achievements in computational methods and mechanics in this book. These lectures were held at the CMM 2009 conference.
¥2190
【预订】Geometric Methods in Physics 9783034807814 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783034807814 Author 作者 Kielanowski Format 版本 平装-胶订 Pages Number 页数 237页 Publisher 出版社 Springer Basel Publication Date 出版日期 2015-08-08 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 385g Language 语种 英语 Book Contents 内容简介 The Biaowie?a workshops on Geometric Methods in Physics, taking place in the unique environment of the Bia?owie?a natural forest in Poland, are among the important meetings in the field. Every year some 80 to 100 participants both from mathematics and physics join to discuss new developments and to interchange ideas. The current volume was produced on the occasion of the XXXI meeting in 2012. For the first time the workshop was followed by a School on Geometry and Physics, which consisted of advanced lectures for graduate students and young researchers. Selected speakers of the w
¥548.00
【3-6周达】New Methods of Computing Radial Distribution Function 【全球购】进口原版图书，一般3-6周左右到国内
¥814.00
【3-6周达】Research Methods in Neurochemistry: Volume 6 (Softcov 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Ecological Methods, 4E 9781118895283 美国库房发货，通常付款后3-5周到货！
¥1000
【预订】Numerical Methods for Exterior Problems 9789812702180 美国库房发货，通常付款后3-5周到货！
¥1487
【预订】Numerical Methods with Worked Examples: MATLAB Edition 9 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Stochastic Methods in Fluid Mechanics 9783709116210 美国库房发货，通常付款后3-5周到货！
¥1516
【预订】Modern Methods of Construction Design 9783319052021 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Stochastic Methods in the Dynamics of Satellites: Course 美国库房发货，通常付款后3-5周到货！
¥758.00
【预订】Research Methods for Engineers 9781107034884 美国库房发货，通常付款后3-5周到货！
¥1625
【预订】Formal Methods and Software Engineering 9783642412011 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Geometric Methods in System Theory: Proceedings of the N 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Formal Methods in Standards: A Report from the BCS Worki 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Theories, Methods and Numerical Technology of Sheet Meta 美国库房发货，通常付款后3-5周到货！
¥1095
【3-6周达】Formal Methods in Outer Space: Essays Dedicated to Kl 【全球购】进口原版图书，一般3-6周左右到国内
¥626.00
预订 General Methods in Biomarker Research and Their Applicati 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥5076
【预订】Formal Methods: Foundations and Applications: 20th Brazi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319708478 Author 作者 Fiadeiro, Jose Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-12-11 Language 语种 英语
¥711.00
【预订】Tools and Methods of Program Analysis: 4th International 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319717333 Author 作者 Zakharov, Victor Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-01-14 Language 语种 英语
¥548.00
【预订】Research Methods and Data Analysis for Business Decision 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030844202 Author 作者 James E. Sallis Format 版本 精装 Pages Number 页数 190页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-10-18 Language 语种 其它（含多语） Book Contents 内容简介 This introductory textbook presents research methods and data analysis tools in non-technical language. It explains the research process and the basics of qualitative and quantitative data analysis, including procedures and methods, analysis, interpretation, and applications using hands-on data examples in QDA Miner Lite and IBM SPSS Statistics software. The book is divided into four parts that address study and research design; data collection, qualitative methods and surveys; statistical methods, including hypothesis testing, regression, cluster and factor analysis; and reporting. The intended audience is business and social science students learnin
¥1095
【预订】Analytical Methods and Concepts in Chemistry 97816398904 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781639890477 Author 作者 Taylor Spencer Format 版本 精装 Pages Number 页数 250页 Publisher 出版社 States Academic Press Publication Date 出版日期 2022-03-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 0.63 Shipping Weight 商品重量 1.93 Language 语种 其它（含多语） Book Contents 内容简介 Chemistry is a natural science, which is involved with the study of elements and compounds, their structures, properties, composition, behavior and reactions with other substances. The branch of chemistry that deals with the separation, identification and quantification of matter is known as analytical chemistry. Such analyses of material samples help in understanding of chemical structure and composition. This can be performed through various classical or wet chemical methods as well as modern or instrumental methods. Separation of materials is possible throug
¥1829
【预订】New Methods and Approaches for Studying Child Developmen 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323915878 Format 版本 精装 Pages Number 页数 310页 Publisher 出版社 Academic Press Publication Date 出版日期 1944-06-28 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.75 Shipping Weight 商品重量 1.29 Language 语种 其它（含多语）
¥1216
【预订】Spectral Methods for Operators of Mathematical Physics 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783034896320 Author 作者 Jas Format 版本 平装-胶订 Pages Number 页数 244页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2012-10-24 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 800g Language 语种 英语 Book Contents 内容简介 This book presents recent results in the following areas: spectral analysis of one-dimensional Schroedinger and Jacobi operators, discrete WKB analysis of solutions of second order difference equations, and applications of functional models of non-selfadjoint operators.
¥1643
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车