【预订】Formal Methods and Software Engineering 9783319254227 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319254227 Author 作者 Butler Format 版本 平装-胶订 Pages Number 页数 436页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-12-02 Shipping Weight 商品重量 706g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
¥548.00
【预订】Stochastic Methods in Asset Pricing 9780262036559 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780262036559 Author 作者 Lyasoff Format 版本 精装 Pages Number 页数 632页 Publisher 出版社 Penguin Random House US Publication Date 出版日期 2017-08-25 Product Dimensions 商品尺寸 9 x 6.2 x 1.1 cm Shipping Weight 商品重量 1800g Language 语种 英语 Book Contents 内容简介 A comprehensive overview of the theory of stochastic processes and its connections to asset pricing, accompanied by some concrete applications. This book presents a self-contained, comprehensive, and yet concise and condensed overview of the theory and methods of probability, integration, stochastic processes, optimal control, and their connections to the principles of asset pricing. The book is broader in scope than other introductory-level graduate texts on the subject, requires fewer prerequisites, and covers the relevant material at greater depth, mainly without rigorous techni
¥537.00
【预订】Modern Methods of Drug Discovery 美国库房发货，通常付款后3-5周到货！
¥1643
预订 Kernel Methods for Pattern Analysis [ISBN:9780521813976] 【全球购】进口原版图书，约3-6周到达国内后发出
¥1089
【预售 按需印刷】Inventory Methods in LCA
¥775.20
海外直订医药图书Methods in Pharmacology 药理学方法
¥1318
海外直订Visual Methods with Children and Young People: Academics
¥690.00
预订 Formal Methods in Manufacturing [ISBN:9781466561557] 【全球购】进口原版图书，一般5-8周左右到国内
¥2793
【3-6周达】Visual Methods with Children and Young People: Academ 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1043
【3-6周达】Applied Methods of Structural Reliability (Softcover 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【预售 按需印刷】Research Methods in Language P
¥1037.85
【预订】In Silico Methods for Predicting Drug Toxicity 978149393 美国库房发货，通常付款后3-5周到货！
¥1643
海外直订The Methods of Ethics 伦理学的方法
¥970.00
预订 【】cryoEM: Methods and Protocols 9781071609682 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781071609682 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2021-12-28 Language 语种 其它（含多语）
¥1150
预订 Arts Methods for the Self-Representation of Undergraduate 国外库房发货，通常付款后3-5周到货
¥558.00
【预订】Formal Methods and Software Engineering 9783540474609 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540474609 Author 作者 Liu Format 版本 平装-胶订 Pages Number 页数 792页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-10-24 Language 语种 英语
¥1095
海外直订Energy Methods in Continuum Mechanics: Proceedings of th
¥1988
【3-6周达】Current Methods in Historical Semantics [ISBN:9783110 【全球购】进口原版图书，一般3-6周左右到国内
¥2745
海外直订Data, Methods and Theory in the Organizational Sciences:
¥2021
【3-6周达】Formal Methods and Software Engineering [ISBN:9783642 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Particle Methods for Multi-Scale and Multi-Physics 97898 美国库房发货，通常付款后3-5周到货！
¥1744
预订 Legal Methods: Understanding and Using Cases and Statutes 国外库房发货，通常付款后3-5周到货
¥3581
预订 Formal Methods: Foundations and Applications: 27th Brazil 国外库房发货，通常付款后3-5周到货
¥635.00
【预订】Kernel Methods and Hybrid Evolutionary Algorithms in Ene 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783038972921 Author 作者 Hong, Wei-Chiang(Guest Editor) Format 版本 平装-胶订 Pages Number 页数 186页 Publisher 出版社 Mdpi AG Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.6 x 6.6 x 0.5 cm Shipping Weight 商品重量 900g Language 语种 英语
¥587.00
【3-6周达】Formal Methods for an Informal World [ISBN:9783031436 【全球购】进口原版图书，一般3-6周左右到国内
¥623.00
【3-6周达】Mixing Methods in Social Research: Qualitative, Quant 【全球购】进口原版图书，预计3-6周左右到国内
¥1940
【3-6周达】Formal Methods in Systems Biology: First Internationa 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Efficient Methods for Symbolic Analysis of Complex React 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783838139708 Author 作者 Errami Hassan(作者) Format 版本 平装-胶订 Pages Number 页数 108页 Publisher 出版社 Südwestdeutscher Verlag für Hochschulschriften Publication Date 出版日期 2014-10-22 Product Dimensions 商品尺寸 9.02 x 5.98 x 0.26 Shipping Weight 商品重量 0.37 Language 语种 其它（含多语） Book Contents 内容简介 In this Book, we mainly present efficient algorithmic methods to detect Hopf bifurcation fixed points in (bio)-chemical reaction networks with symbolic rate constants, thereby yielding information about their oscillatory behavior of the networks. The methods use the representations of the systems on convex coordinates that arise from stoichiometric network analysis. One of the methods called HoCoQ reduces the problem of determining the existence of Hopf bifurcation fixed points to a first-order formula over the ordered fi
¥871.00
按需印刷Research Methods for Public Administrators:Third Edition 预订，预计下单后3-4周左右发货！
¥668.00
【预订】Continuum Methods of Physical Modeling 9783642058318 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642058318 Author 作者 Hutter Format 版本 平装-胶订 Pages Number 页数 636页 Publication Date 出版日期 2010-11-30 Language 语种 英语 Book Contents 内容简介 This book is a considerable outgrowth of lecture notes on Mechanics of en? vironmentally related systems I, which I hold since more than ten years in the Department of Mechanics at the Darmstadt University of Technology for upper level students majoring in mechanics, mathematics, physics and the classical engineering sciences. These lectures form a canon of courses over three semesters in which I present the foundations of continuum physics (first semester), those of physical oceanography and limnology (second semester) and those of soil, snow and ice physics in the geophysical context (third semester). The intention is to build an understanding of the mathemati? cal foundations of the mentioned geophysical research fie
¥1126
【预订】Sampling Methods, Remote Sensing and GIS Multiresource F 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642068980 Author 作者 K?hl Format 版本 平装-胶订 Pages Number 页数 373页 Publication Date 出版日期 2010-11-30 Language 语种 英语 Book Contents 内容简介 When we talk about forests, we talk about 30% of our planet’s land surface 6 area. In 2000 there was an estimated 3 870×10 ha of forest worldwide, of which 1 5% is in forest plantations and 95% in natural forests (FAO 2003). Forests are not only a source for timber; they also generate significant nonwood goods and services, mitigate climate change, conserve biological diversity, provide prot- tion from natural hazards, and not least: provide recreational areas for an increasingly urbanized world population. The availability of timber and n- wood goods and services is waning as deforestation and degradation of tro- cal forests continue. While forest area has stabilized or is slightly increasing in the boreal and tempera
¥2190
【预订】Numerical Methods for Elliptic and Parabolic Partial Dif 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441930040 Author 作者 Kbner Format 版本 平装-胶订 Pages Number 页数 426页 Publication Date 出版日期 2010-12-01 Language 语种 英语 Book Contents 内容简介 Mathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries between scientific disciplines and a resurgence of interest in the modern as well as the classical techniques of applied mathematics. This renewal of interest, both in - search and teaching, has led to the establishment of the series Texts in Applied Mathematics (TAM). The development of new courses is a natural consequence of a high level of excitement on the research frontier as newer techniques, such as nume- cal and symbolic computer systems, dynamical systems, and chaos, mix with and reinforce the traditional methods of applied mathematics. Thus, the purpose of this textbook series is to mee
¥1232
【预订】Dynamic Methods for Damage Detection in Structures 97832 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783211999318 Author 作者 Morassi Format 版本 平装-胶订 Pages Number 页数 221页 Publication Date 出版日期 2010-10-19 Language 语种 英语 Book Contents 内容简介 Non destructive testing aimed at monitoring, structural identification and di- nostics is of strategic importance in many branches of civil and mechanical - gineering. This type of tests is widely practiced and directly affects topical issues regarding the design of new buildings and the repair and monitoring of existing ones. The load bearing capacity of a structure can now be evaluated using well established mechanical modelling methods aided by computing facilities of great capability. However, to ensure reliable results, models must be calibrated with - curate information on the characteristics of materials and structural components. To this end, non destructive techniques are a useful tool from several points of v
¥2274
【预订】Numerical Methods in Finance 9783642257452 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642257452 Author 作者 Carmona Format 版本 精装 Pages Number 页数 474页 Publication Date 出版日期 2012-03-26 Shipping Weight 商品重量 895g Language 语种 英语 Book Contents 内容简介 Numerical methods in finance have emerged as a vital field at the crossroads of probability theory, finance and numerical analysis. Based on presentations given at the workshop Numerical Methods in Finance held at the INRIA Bordeaux (France) on June 1-2, 2010, this book provides an overview of the major new advances in the numerical treatment of instruments with American exercises. Naturally it covers the most recent research on the mathematical theory and the practical applications of optimal stopping problems as they relate to financial applications. By extension, it also provides an original treatment of Monte Carlo methods for the recursive computation of conditional expectations an
¥1533
【预订】Formal Methods for Industrial Critical Systems 978364232 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642324680 Author 作者 Stoelinga Format 版本 平装-胶订 Pages Number 页数 223页 Publication Date 出版日期 2012-07-17 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 373g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
¥504.00
海外直订Formal Methods in Software and Systems Modeling: Essays
¥662.00
海外直订Vortex Methods: Theory and Practice 旋涡法：理论与实践
¥1840
【3-6周达】Optical Methods in Sensing and Imaging for Medical an 【全球购】进口原版图书，一般3-6周左右到国内
¥727.00
预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥858.00
【预订】Research Methods in Physical Activity-8th Edition 978171 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781718201026 Author 作者 Thomas Format 版本 平装-胶订 Pages Number 页数 504页 Publisher 出版社 Human Kinetics Publication Date 出版日期 2022-05-03 Product Dimensions 商品尺寸 8.5 x 11 Language 语种 其它（含多语） Book Contents 内容简介 Text for upper-undergraduate or graduate students in physical activity, exercise science, fitness, physical therapy, rehabilitation, and occupational therapy programs; also a reference for professionals in those areas.
¥1287
【预订】Training Methods to Improve Sports Performance and Healt 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783036529677 Format 版本 精装 Pages Number 页数 180页 Publisher 出版社 Mdpi AG Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.61 x 6.69 x 0.63 Shipping Weight 商品重量 1.30磅 Language 语种 其它（含多语）
¥600.00
【预订】Applied Methods for Agriculture and Natural Resource Man 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030134891 Author 作者 Siwa Msangi Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-06-12 Language 语种 英语 Book Contents 内容简介 This book assesses recent developments in the analysis of agricultural policy and water resource management, and highlights the utility and theoretical rigor of quantitative methods for modeling agricultural production, market dynamics, and natural resource management. In diverse case studies of the intersection between agriculture, environmental quality and natural resource sustainability, the authors analyze economic behavior - both at aggregate as well as at individual agent-level - in order to highlight the practical implications for decision-markers dealing with environmental and agricultural policy. The volume also addresses the challenges of doing robust a
¥1095
【预订】Analytical Methods for Milk and Milk Products 9781774913 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781774913079 Format 版本 精装 Pages Number 页数 410页 Publisher 出版社 Apple Academic Press Publication Date 出版日期 2024-02-20 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Here is a new three-volume set that comprehensively illustrates a wide range of analytical techniques and methodologies for assessing the physical, chemical, and microbiological properties of milk and milk products to ensure nutritional and technological quality and safety of milk and milk products.This volume presents the main analytical techniques and methodologies and their application to the compounds involved in nutritional and technological quality of milk and milk products. It covers the sampling methods and chemical analysis of milk, highlighting the standard methods used for calibration of different glassware, sampling p
¥2216
【预订】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
【3-6周达】Exact Methods in the Study of Language and Text: Dedi 【全球购】进口原版图书，一般3-6周左右到国内
¥3787
预订 按需印刷 Methods of Analysis for Functional Foods and Nutrace
¥2047.65
预订 Direct Methods in the Calculus of Variations 拟凸分析与变分法,第二版 国外库房发货，通常付款后3-5周到货
¥1953
【预订】Numerical Methods for Black-Box Software in Computationa 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783111317298 Author 作者 Martynenko Format 版本 平装-胶订 Pages Number 页数 136页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2023-10-10 Language 语种 其它（含多语） Book Contents 内容简介 The organization of the material is presented as follows: This introductory chapter I represents a theoretical analysis of the computational algorithms for a numerical solution of the basic equations in continuum mechanics. In this chapter, the general requirements for computational grids, discretization, and iterative methods for black-box software are examined. Finally, a concept of a two-grid algorithm for (de-)coupled solving multidimensional non-linear (initial-)boundary value problems in continuum mechanics (multiphysics simulation) in complex domains is presented. Chapter II contains descriptions of the sequential Robust Multigrid Technique which is
¥729.00
海外直订Field Methods for Petroleum Geologists: A Guide to Compu
¥736.00
海外直订Local Methods in Nonlinear Differential Equations: Part
¥1325
【预售 按需印刷】Research Methods in Applied Linguistics
¥1907.4
【预订】Numerical Methods in Mechanics of Materials 978036788625 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367886257 Author 作者 Ken Chong Format 版本 平装-胶订 Pages Number 页数 296页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-03-31 Language 语种 英语 Book Contents 内容简介 In the dynamic digital age, the widespread use of computers has transformed engineering and science. A realistic and successful solution of an engineering problem usually begins with an accurate physical model of the problem and a proper understanding of the assumptions employed. With computers and appropriate software we can model and analyze complex physical systems and problems.However, efficient and accurate use of numerical results obtained from computer programs requires considerable background and advanced working knowledge to avoid blunders and the blind acceptance of computer results. This book provides the background and knowledge necessary to avoid these pitfalls, especi
¥528.00
【预订】Research Methods and Statistics in Psychology 9781138708 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138708969 Author 作者 COOLICAN Format 版本 平装-胶订 Pages Number 页数 826页 Publisher 出版社 Routledge Publication Date 出版日期 2018-11-29 Language 语种 英语 Book Contents 内容简介 The seventh edition of Research Methods and Statistics in Psychology provides students with the most readable and comprehensive survey of research methods, statistical concepts and procedures in psychology today. Assuming no prior knowledge, this bestselling text takes you through every stage of your research project giving advice on planning and conducting studies, analysing data and writing up reports.The book provides clear coverage of experimental, interviewing and observational methods, psychological testing, qualitative methods and analysis and statistical procedures which include nominal level tests, multi-factorial ANOVA designs, multiple regression, log linear analysis, and
¥707.00
【预订】Problems, Methods and Tools in Experimental and Behavior 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319991863 Author 作者 Nermend Format 版本 精装 Publication Date 出版日期 2018-09-19 Language 语种 英语 Book Contents 内容简介 These proceedings highlight research on the latest trends and methods in experimental and behavioral economics. Featuring contributions presented at the 2017 Computational Methods in Experimental Economics (CMEE) conference, which was held in Lublin, Poland, it merges findings from various domains to present deep insights into topics such as game theory, decision theory, cognitive neuroscience and artificial intelligence.The fields of experimental economics and behavioral economics are rapidly evolving. Modern applications of experimental economics require the integration of know-how from disciplines including economics, computer science, psychology and neuroscience. The use of computer technology enhances researchers’ ability to generate and analyze large
¥1643
【预订】Adaptive Methods in Underwater Acoustics 9789401088640 美国库房发货，通常付款后3-5周到货！
¥3285
【3-6周达】Java Methods for Financial Engineering: Applications 【全球购】进口原版图书，一般3-6周左右到国内
¥1004
【3-6周达】Simple Methods to Study Pedology and Edaphology of In 【全球购】进口原版图书，一般3-6周左右到国内
¥916.00
【3-6周达】Test Methods for the Quality Assurance During the Pro 【全球购】进口原版图书，一般3-6周左右到国内
¥872.00
【预订】Research Methods for Sports Studies 9781032049847 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032049847 Author 作者 Jones Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Routledge Publication Date 出版日期 2022-03-01 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Research Methods for Sports Studies;is a comprehensive, engaging and practical textbook that provides a grounding in qualitative and quantitative research for students studying programmes related to sport and physical activity.;Leading the reader step-by-step through the entire research process, from identifying a research question and collecting and analysing data to writing and presenting the research report, the book is richly illustrated throughout with sport-related case studies and examples from around the world. Research Methods for Sports Studies;is designed to be a complete and self-contained companion to
¥1958
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车