
【预订】Time and Methods in Environmental Interfaces Modelling 9 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780444639189 Author 作者 Mihailovi, Dragutin T. Format 版本 精装 Pages Number 页数 412页 Publisher 出版社 Elsevier Publication Date 出版日期 2016-11-14 Shipping Weight 商品重量 1010g Language 语种 英语
¥1440

海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法
¥2507

海外直订Mixed Methods in Ethnographic Research: Historical Persp
¥799.00

【预订】Formal Methods for Safety and Security 9789811041204 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811041204 Author 作者 Jeppu, Yogananda Format 版本 精装 Publisher 出版社 Springer Singapore Publication Date 出版日期 2017-05-01 Language 语种 英语 Book Contents 内容简介 This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
¥1314

海外直订Formal Methods and Software Engineering: 17th Internatio
¥552.00

海外直订The Methods of Plane Projective Geometry Based on the Us
¥607.00

【预订】Dry Mix Methods for Deep Soil Stabilization 978905809108 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789058091086 Author 作者 Edited by H. Bredenberg, B.B. Broms and G. Holm Format 版本 精装 Pages Number 页数 368页 Publication Date 出版日期 1999-01-01 Shipping Weight 商品重量 816g Language 语种 英语 Book Contents 内容简介 It is a truism that we can no longer freely pick areas with the most suitable ground conditions for building purposes. Soils must often be improved in order to take the loads from buildings, roads and other objects. This volume contains papers cov...
¥3164

【预订】Asymptotic Methods in the Theory of Plates with Mixed Bo 美国库房发货,通常付款后3-5周到货!
¥1646

【预订】Evaluation Methods in Biomedical and Health Informatics 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030864552 Author 作者 Charles P. Friedman Format 版本 平装-胶订 Pages Number 页数 527页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-02-11 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.14 Shipping Weight 商品重量 1.71 Language 语种 其它(含多语) Book Contents 内容简介 This 3rd edition of Evaluation Methods in Biomedical and Health Informatics has been extensively revised and expanded. It builds on a solid foundation of evaluation theory to explain methods and techniques within health informatics, using many examples, real-world case studies and numerous self-tests with answers. Expanded to 20 rather than 12 chapters, new chapters have been added on qualitative methods, ethics, mixed methods, evidence-based informatics and how to conduct evaluation studies using routine, real-world data. Designed as a practic
¥658.00

【预售 按需印刷】Research Methods in the Health Sciences
¥745.45

预订 Agile Methods. Large-Scale Development, Refactoring, Test 国外库房发货,通常付款后3-5周到货
¥525.00

【预售 按需印刷】Practical Methods in Ecology
¥1017.45

【预售 按需印刷】Multigrid Methods on GPUs 北京发货,付款后10天内发货
¥765.00

【预售 按需印刷】Hybrid Methods in Feature Selection 北京发货,付款后10天内发货
¥901.00

【预订】Geometric Methods in Physics XXXVII 9783030340711 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030340711 Author 作者 Kielanowski Format 版本 精装 Pages Number 页数 258页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2019-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 1250g Language 语种 英语 Book Contents 内容简介 The book consists of articles based on the XXXVII Biaowie?a Workshop on Geometric Methods in Physics, 2018. The series of Bia?owie?a workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. This edition of the workshop featured a special session dedicatedto Professor Daniel Sternheimer on the occasion of his 80thbirthday.The previously unpublished papers present cutting-edge current research, typically grounded in geometry and analysis, with applications to classical and quantum physics. For the past sev
¥1643

【预订】Narrative Methods for Organizational & Communication Res 美国库房发货,通常付款后3-5周到货!
¥1715

【预订】Forensic Methods: Excavation for the Archaeologist and I 美国库房发货,通常付款后3-5周到货!
¥629.00

【预订】Research Methods for Clinical and Health Psychology Y978 美国库房发货,通常付款后3-5周到货!
¥1305

【预订】Formal Methods for Mining Structured Objects 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Software Methods for Business Reengineering 9781461 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Analytical Methods in Wood Chemistry, Pulping, and Paper 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540631026 Author 作者 Sj?str?m Format 版本 精装 Pages Number 页数 318页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-11-27 Language 语种 英语 Book Contents 内容简介 In its broadest sense, and according to the traditional conception, wood chemistry is a comprehensive discipline, ranging from fundamental studies to practical applications. The manifold constituents, located in different morphological regions in the wood, results in an extreme complexity of wood chemistry. Ever more sophisticated endeavors needing fundamental studies and advanced analytical methods are necessary in order to delve deeper into various problems in pulping and papermaking. Gradually, new, improved ana? lytical methods, originally developed for research purposes, are currently replacing many of the old ’routine’ methods in practical applications. Because o
¥6571

【预订】Adenovirus Methods and Protocols 9781588299017 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781588299017 Author 作者 William S. M. Wold Saint Louis University School of Medicin Format 版本 精装 Pages Number 页数 362页 Publisher 出版社 Humana Press Publication Date 出版日期 2007-02-26 Language 语种 英语 Book Contents 内容简介 Adenovirus Methods and Protocols, Second Edition, now in two volumes, is an essential resource for adenovirus (Ad) researchers beginning in the field, and an inspirational starting point for researchers looking to branch into new areas of Ad study. In addition to updating and expanding important chapters from the first edition, the authors have added new chapters that address innovative, exciting areas of emphasis in Ad research, including Ad vector construction and use, real-time PCR, use of new animal models, and methods for quantification of Ad virus or virus expression/interactions. Each of the protocols presented in these volumes
¥1643

【预订】Numerical Methods for Non-Newtonian Fluids 9780444530479 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780444530479 Author 作者 Glowinski Format 版本 精装 Pages Number 页数 824页 Publisher 出版社 North-Holland Publishing Co. Publication Date 出版日期 2011-02-01 Shipping Weight 商品重量 1610g Language 语种 英语 Book Contents 内容简介 Fluid Mechanics; Numerical Analysis
¥2451

海外直订Formal Methods: Foundations and Applications: 21st Brazi
¥768.00

预订 按需印刷 Methods in Cellular Immunology
¥1881.9

【预售 按需印刷】Topics and Methods in q-Series
¥1581

【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

【3-6周达】Exact Methods in the Study of Language and Text: Dedi 【全球购】进口原版图书,一般3-6周左右到国内
¥3787
![【3-6周达】Cd95: Methods and Protocols [ISBN:9781493982981]](images/model/guan/url_none.png)
【3-6周达】Cd95: Methods and Protocols [ISBN:9781493982981] 【全球购】进口原版图书,一般3-6周左右到国内
¥1588

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

【3-6周达】Test Methods for the Quality Assurance During the Pro 【全球购】进口原版图书,一般3-6周左右到国内
¥872.00

【3-6周达】Formal Methods for an Informal World [ISBN:9783031436 【全球购】进口原版图书,一般3-6周左右到国内
¥623.00

按需印刷New methods for generating significance levels from mult 预订,预计下单后2-3周左右发货!
¥597.00

【3-6周达】Inverse Methods in Electromagnetic Imaging (Softcover 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

【3-6周达】Modern Methods of Speech Processing [ISBN:97814613596 【全球购】进口原版图书,一般3-6周左右到国内
¥1684
![【3-6周达】Elisa: Methods and Protocols [ISBN:9781071629055]](images/model/guan/url_none.png)
【3-6周达】Elisa: Methods and Protocols [ISBN:9781071629055] 【全球购】进口原版图书,一般3-6周左右到国内
¥1395

预订 SUMO: Methods and Protocols 小泛素样修饰蛋白:方法与协议: 9781071647097 国外库房发货,通常付款后3-5周到货
¥1861

【预订】Ordinal Methods for Behavioral Data Analysis 美国库房发货,通常付款后3-5周到货!
¥1958

【预订】Research Methods for the Social Sciences 9780826485663 美国库房发货,通常付款后3-5周到货!
¥2027

湿地生物地球化学方法 Methods In Biogeochemistry Of Wetlands 英文原版 R DeL 农业科学RDeLaune
¥2074

【预订】Integral Methods in Science and Engineering: Theoretical 美国库房发货,通常付款后3-5周到货!
¥548.00

海外直订医药图书Methods in Epidemiology: Population Size Estimation
¥1739

【预订】Diagnostic Methods, Chemical, Bacteriological and Micros 美国库房发货,通常付款后3-5周到货!
¥563.00

【预订】Projective Methods 9781169046863 美国库房发货,通常付款后3-5周到货!
¥476.00

海外直订Soft Methods for Data Science 数据科学的软方法
¥2067

【预订】Formal Methods and Software Engineering 9783642103728 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642103728 Author 作者 Karin Breitman Rio de Janeiro Brazil Format 版本 平装-胶订 Pages Number 页数 758页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-11-17 Shipping Weight 商品重量 1169g Language 语种 英语 Book Contents 内容简介 Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, specication languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal method
¥1095

【预订】Scientific Methods in Mobile Robotics 9781846280191 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781846280191 Author 作者 Nehmzow Format 版本 精装 Pages Number 页数 210页 Publisher 出版社 Springer London Publication Date 出版日期 2005-11-18 Language 语种 英语 Book Contents 内容简介 Mobile robotics has until now focused on issues like design of controllers and robot hardware. It is now ready to embrace theoretical methods from dynamical systems theory, statistics and system identification to produce a formalized approach based on quantitative analyses and computer models of the interaction between robot, task and environment. This book is a step towards a theoretical understanding of the operation of autonomous mobile robots. It presents cutting-edge research on the application of chaos theory, parametric and non-parametric statistics and dynamical systems theory in this field. Practical examples and case studies show how robot behaviour can be logged, analysed,
¥1643

【预订】Models, Methods, Concepts & Applications of the Analytic 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781461435969 Author 作者 Saaty Format 版本 精装 Pages Number 页数 346页 Publication Date 出版日期 2012-04-12 Shipping Weight 商品重量 701g Language 语种 英语 Book Contents 内容简介 The Analytic Hierarchy Process (AHP) is a prominent and powerful tool for making decisions in situations involving multiple objectives. Models, Methods, Concepts and Applications of the Analytic Hierarchy Process, 2nd Edition applies the AHP in order to solve problems focused on the following three themes: economics, the social sciences, and the linking of measurement with human values. For economists, the AHP offers a substantially different approach to dealing with economic problems through ratio scales. Psychologists and political scientists can use the methodology to quantify and derive measurements for intangibles. Meanwhile researchers in the physical and engineering sciences can ap
¥2519

【预订】Algebraic Methods for Nonlinear Control Systems 97818499 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781849966252 Author 作者 Conte Format 版本 平装-胶订 Pages Number 页数 178页 Publication Date 出版日期 2010-10-19 Language 语种 英语 Book Contents 内容简介 A self-contained introduction to algebraic control for nonlinear systems suitable for researchers and graduate students. ’Algebraic Methods for Nonlinear Control Systems’ develops a linear-algebraic alternative to the usual differential-geometric approach to nonlinear control, using vector spaces over suitable fields of nonlinear functions. It describes a range of results, some of which can be derived using differential geometry but many of which cannot. They include: classical and generalized realization in the nonlinear context; accessibility and observability recast for the linear-algebraic setting; discussion and solution of basic feedback problems; results for dynamic and static state and output feedback. Dynami
¥1095

【预订】Formal Methods for Quantitative Aspects of Programming L 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642136771 Author 作者 Aldini Format 版本 平装-胶订 Publication Date 出版日期 2010-06-15 Language 语种 英语
¥548.00

【预订】Problems, Methods and Tools in Experimental and Behavior 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030075736 Format 版本 平装-胶订 Pages Number 页数 354页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1090g Language 语种 英语
¥1643

【预订】Scientific Methods in Mobile Robotics 9781849965439 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781849965439 Author 作者 Nehmzow Format 版本 平装-胶订 Pages Number 页数 210页 Publication Date 出版日期 2010-10-13 Language 语种 英语 Book Contents 内容简介 Mobile robotics has until now focused on issues like design of controllers and robot hardware. It is now ready to embrace theoretical methods from dynamical systems theory, statistics and system identification to produce a formalized approach based on quantitative analyses and computer models of the interaction between robot, task and environment. This book is a step towards a theoretical understanding of the operation of autonomous mobile robots. It presents cutting-edge research on the application of chaos theory, parametric and non-parametric statistics and dynamical systems theory in this field. Practical examples and case studies show how robot behaviour can be logged, analysed, interpreted and modelled, aiding de
¥1643

【预订】Spectral Methods 9783642068003 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642068003 Author 作者 Canuto Format 版本 平装-胶订 Pages Number 页数 581页 Publication Date 出版日期 2010-10-19 Language 语种 英语 Book Contents 内容简介 Since the publication of ’Spectral Methods in Fluid Dynamics’, spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific and engineering computation. While retaining the tight integration between the theoretical and practical aspects of spectral methods that was the hallmark of the earlier book, Canuto et al. now incorporate the many improvements in the algorithms and the theory of spectral methods that have been made since 1988. The initial treatment Fundamentals in Single Domains discusses the fundamentals of the approximation of solutions to ordinary and partial differential equations on single domains by expansions in smooth, global basis func
¥1643

【预订】Asymptotic Methods for the Fokker-Planck Equation and th 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642084096 Author 作者 Grasman Format 版本 平装-胶订 Pages Number 页数 220页 Publication Date 出版日期 2010-12-09 Language 语种 英语 Book Contents 内容简介 Asymptotic methods are of great importance for practical applications, especially in dealing with boundary value problems for small stochastic perturbations. This book deals with nonlinear dynamical systems perturbed by noise. It addresses problems in which noise leads to qualitative changes, escape from the attraction domain, or extinction in population dynamics. The most likely exit point and expected escape time are determined with singular perturbation methods for the corresponding Fokker-Planck equation. The authors indicate how their techniques relate to the It? calculus applied to the Langevin equation. The book will be useful to researchers and graduate students.
¥548.00

【预订】Numerical Methods for Time-Resolved Quantum Nanoelectron 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319876153 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-05-18 Language 语种 英语 Book Contents 内容简介 This thesis develops novel numerical techniques for simulating quantum transport in the time domain and applies them to pertinent physical systems such as flying qubits in electronic interferometers and superconductor/semiconductor junctions hosting Majorana bound states (the key ingredient for topological quantum computing). In addition to exploring the rich new physics brought about by time dependence, the thesis also develops software that can be used to simulate nanoelectronic systems with arbitrary geometry and time dependence, offering a veritable toolbox for exploring this rapidly growing domain.
¥1095

预订 Numerical Methods for Fluid Dynamics 9781441964113 国外库房发货,通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781441964113 Author 作者 Durran Format 版本 精装 Pages Number 页数 516页 Publication Date 出版日期 2010-09-23 Shipping Weight 商品重量 955g Language 语种 英语
¥1034

【预订】Numerical Methods and Applications 9783030106911 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030106911 Author 作者 Nikolov Format 版本 平装-胶订 Pages Number 页数 500页 Publication Date 出版日期 2019-01-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Numerical Methods and Applications, NMA 2018, held in Borovets, Bulgaria, in August 2018.The 56 revised regular papers presented were carefully reviewed and selected from 61 submissions for inclusion in this book. The papers are organized in the following topical sections: numerical search and optimization; problem-driven numerical method: motivation and application, numerical methods for fractional diffusion problems; orthogonal polynomials and numerical quadratures; and Monte Carlo and Quasi-Monte Carlo methods.
¥548.00

【预订】Formal Methods for Safety and Security: Case Studies for 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811350542 Format 版本 平装-胶订 Pages Number 页数 132页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1205

【预订】Optical Methods of Measurement 9781138115491 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138115491 Author 作者 Sirohi, Rajpal Format 版本 平装-胶订 Pages Number 页数 316页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-06-14 Language 语种 其它(含多语)
¥1017

【预订】New Methods and Sensors for Membrane and Cell Volume Res 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780323911146 Author 作者 Levitan Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Academic Press Publication Date 出版日期 2021-11-29 Shipping Weight 商品重量 450 Language 语种 其它(含多语)
¥2186