【预订】Research Methods in Practice: Strategies for De*ion and 美国库房发货，通常付款后3-5周到货！
¥763.00
海外直订Formal Methods and Testing: An Outcome of the Fortest Ne
¥662.00
海外直订Cilia: Methods and Protocols 纤毛：方法和协议
¥616.00
海外直订医药图书Methods and Folklore 方法与民俗
¥794.00
海外直订医药图书Methods of Clinical Epidemiology 临床流行病学方法
¥1325
【预订】Visual Methods of Inquiry: Images as Research 9780367250 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367250485 Author 作者 Freedman Kerry Format 版本 平装-胶订 Pages Number 页数 218页 Publisher 出版社 Routledge Publication Date 出版日期 1800-01-01 Language 语种 其它（含多语）
¥527.00
【预订】Integral Methods in Science and Engineering 978303107173 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031071737 Author 作者 Christian Constanda Format 版本 平装-胶订 Pages Number 页数 360页 Publisher 出版社 Birkh?user Science Publication Date 出版日期 2023-10-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.78 Shipping Weight 商品重量 568 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Symposium on the Theory and Applications of Integral Methods in Science and Engineering, held virtually in July 2021, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical and electri
¥1753
【预订】Iterative Methods and Preconditioners for Systems of Lin 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781611976892 Author 作者 Gabriele Ciaramella Format 版本 平装-胶订 Pages Number 页数 271页 Publisher 出版社 Society for Industrial and Applied Mathematics Publication Date 出版日期 2022-01-30 Language 语种 其它（含多语） Book Contents 内容简介 Iterative methods use successive approximations to obtain more accurate solutions. presents historical background, derives complete convergence estimates for all methods, illustrates and provides Matlab codes for all methods, and studies and tests all preconditioners first as stationary iterative solvers. This textbook is appropriate for undergraduate and graduate students in need of an overview or of deeper knowledge about iterative methods. It can be used in courses on Advanced Numerical Analysis, Special Topics on Numerical Analysis, Topics on Data Science, Topics on Numerical Optimization, and Topics on App
¥799.00
Elementary Methods of Graph Ramsey Theory 9783031127618 现货图书
Product Details 基本信息 ISBN-13 书号 9783031127618 Author 作者 Li Yusheng Format 版本 精装 Pages Number 页数 346页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.81 Shipping Weight 商品重量 1.50 Language 语种 其它（含多语）
¥1156
【预订】Research Methods for Interior Design 9780367139445 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367139445 Format 版本 精装 Pages Number 页数 272页 Publisher 出版社 Routledge Publication Date 出版日期 2020-07-30 Product Dimensions 商品尺寸 7-1/2 x 10 Language 语种 其它（含多语） Book Contents 内容简介 Through four distinct sections, the authors not only lay out the theory of interiority—a subjective sense a person feels in his or her relation to a physical environment, which results in positive attachments of communal belonging—but also how designers can access interiority through a variety of research methodologies.
¥1958
【预订】Formal Methods and Software Engineering 9789819975839 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789819975839 Author 作者 Yi Li Format 版本 平装-胶订 Pages Number 页数 288页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-23 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.
¥711.00
海外直订Novel Methods in Molecular and Cellular Biochemistry of
¥3976
【预订】Formal Methods for Industrial Critical Systems 978364203 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642032394 Author 作者 Darren Cofer Honeywell Technology Center Minneapolis MN Format 版本 平装-胶订 Pages Number 页数 233页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-07-20 Shipping Weight 商品重量 379g Language 语种 英语 Book Contents 内容简介 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. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicit
¥548.00
【预订】Direct Methods in the Calculus of Variations 97814419225 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441922595 Author 作者 Bernard Dacorogna Format 版本 平装-胶订 Pages Number 页数 622页 Publisher 出版社 Springer New York Publication Date 出版日期 2010-11-29 Shipping Weight 商品重量 961g Language 语种 英语 Book Contents 内容简介 This book is developed for the study of vectorial problems in the calculus of variations. It is a new edition of the earlier book published in 1989. Almost half of the book consists of new material and there are added examples.
¥1861
【预订】Linking Methods in Critical Point Theory 9781461272106 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461272106 Author 作者 Schechter Format 版本 平装-胶订 Pages Number 页数 294页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2012-10-06 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 980g Language 语种 英语 Book Contents 内容简介 As is well known, The Great Divide (a.k.a. The Continental Divide) is formed by the Rocky Mountains stretching from north to south across North America. It creates a virtual ’stone wall’ so high that wind, rain, snow, etc. cannot cross it. This keeps the weather distinct on both sides. Since railroad trains cannot climb steep grades and tunnels through these mountains are almost formidable, the Canadian Pacific Railroad searched for a mountain pass providing the lowest grade for its tracks. Employees discovered a suitable mountain pass, called the Kicking Horse Pass, el. 54
¥1095
海外直订New Methods of Computing Radial Distribution Functions o
¥859.00
【预订】Advanced Methods Of Biomedical Signal Processing 美国库房发货，通常付款后3-5周到货！
¥1623
【预订】Numerical Methods for Nonlinear Engineering Models 美国库房发货，通常付款后3-5周到货！
¥2738
【预订】Numerical Methods for Equations and its Applications 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781578087532 Author 作者 Ioannis K. Argyros, Yeol J. Cho and Sa?d Hilout Format 版本 精装 Pages Number 页数 476页 Publication Date 出版日期 2012-06-05 Shipping Weight 商品重量 793g Language 语种 英语 Book Contents 内容简介 This book introduces advanced numerical-functional analysis to beginning computer science researchers. The reader is assumed to have had basic courses in numerical analysis, computer programming, computational linear algebra, and an introduction to real, complex, and functional analysis. Although the book is of a theoretical nature, each chapter contains several new theoretical results and important applications in engineering, in dynamic economics systems, in input-output system, in the solution of nonlinear and linear differential equations, and optimization problem.
¥2441
海外直订Novel Methods in Soft Matter Simulations 软物质模拟中的新方法
¥662.00
【预订】Newton Methods for Nonlinear Problems 9783642238987 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642238987 Author 作者 Peter Deuflhard Format 版本 平装-胶订 Pages Number 页数 424页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-09-16 Shipping Weight 商品重量 670g Language 语种 英语 Book Contents 内容简介 This book deals with the efficient numerical solution of challenging nonlinear problems in science and engineering, both in finite dimension (algebraic systems) and in infinite dimension (ordinary and partial differential equations). Its focus is on local and global Newton methods for direct problems or Gauss-Newton methods for inverse problems. The term ’affine invariance’ means that the presented algorithms and their convergence analysis are invariant under one out of four subclasses of affine transformations of the problem to be solved. Compared to traditional textbooks, the distinguishing affine invariance appro
¥821.00
【预订】Analytical Methods for Problems of Molecular Transport 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048174621 Author 作者 I.N. Ivchenko Format 版本 平装-胶订 Pages Number 页数 409页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-11-30 Language 语种 英语 Book Contents 内容简介 The transport of a given species (atoms, molecules, neutrons, photons, etc. ), either through its own kind or through some other host medium, is a problem of considerable interest. Practical applications may be found in many technologically and environmentally relevant areas such as the transport of neutrons in a nuclear power reactor or in a nuclear weapon, the transport of ions and electrons in plasma, the transport of photons which constitutes radiative heat transfer in various industrial, environmental and space applications, the transport of atoms or molecules of one species either through itself or as one component of a multi-component gas mixture, and the inte
¥548.00
【预订】Advanced Methods for Knowledge Discovery from Complex Da 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781849969918 Author 作者 Maulik Ujjwal Format 版本 平装-胶订 Pages Number 页数 369页 Publisher 出版社 Springer London Publication Date 出版日期 2010-10-22 Language 语种 英语 Book Contents 内容简介 The growth in the amount of data collected and generated has exploded in recent times with the widespread automation of various day-to-day activities, advances in high-level scientic and engineering research and the development of e?cient data collection tools. This has given rise to the need for automa- callyanalyzingthedatainordertoextractknowledgefromit,therebymaking the data potentially more useful. Knowledge discovery and data mining (KDD) is the process of identifying valid, novel, potentially useful and ultimately understandable patterns from massive data repositories. It is a multi-disciplinary topic, drawing from s- eral ?elds including expert systems, machine l
¥1643
【3-6周达】Agile Methods. Large-Scale Development, Refactoring, 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods: Foundations and Applications: 15th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥742.00
按需印刷Modern Methods in Phytomedicine 预订，预计下单后2-3周左右发货！
¥1408
【预订】Advanced Methods of Structural Analysis 9783030443962 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030443962 Author 作者 Igor A. Karnovsky Format 版本 平装-胶订 Pages Number 页数 795页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-17 Product Dimensions 商品尺寸 11.00 x 8.25 x 1.67 Shipping Weight 商品重量 4.08 Language 语种 其它（含多语） Book Contents 内容简介 This revised and significantly expanded edition contains a rigorous examination of key concepts, new chapters and discussions within existing chapters, and added reference materials in the appendix, while retaining its classroom-tested approach to helping readers navigate through the deep ideas, vast collection of the fundamental methods of structural analysis. The authors show how to undertake the numerous analytical methods used in structural analysis by focusing on the principal concepts, detailed procedures and results, as well as taking into
¥2190
【预订】Asymptotic Methods in the Theory of Plates with Mixed Bo 美国库房发货，通常付款后3-5周到货！
¥1646
Numerical Methods for Fractional Calculus 分数阶微积分的数值方法
¥580.10
【预订】Theory and Methods of Photovoltaic Material Characteriza 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789813277090 Author 作者 Ahrenkiel Richard K et al Format 版本 精装 Pages Number 页数 350页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 2019-03-04 Language 语种 英语 Book Contents 内容简介 This book provides an extensive review of the theory of transport and recombination properties in semiconductors. The emphasis is placed on electrical and optical techniques. There is a presentation of the latest experimental and theoretical techniques used to analyze minority-carrier lifetime. The relevant hardware and instrumentation are described. The newest techniques of lifetime mapping are presented. The issues are discussed relating to effects that mask carrier lifetime in certain device structures. The discrepancy between photoconductive and photoluminescence measurement results are analyzed.Key Feature: The topic is central and critical to photov
¥1516
【预订】Practical Methods for Improving the Motion Performance o 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780530005737 Author 作者 Wegerif Format 版本 精装 Pages Number 页数 226页 Publisher 出版社 Dissertation Discovery Company Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11 x 8.5 x 0.5 cm Shipping Weight 商品重量 1800g Language 语种 英语
¥1480
【预订】Empirical Methods in Short-Term Climate Prediction 美国库房发货，通常付款后3-5周到货！
¥1888
【预订】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
【预订】Numerical Methods in Sensitivity Analysis and Shape 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Physical Methods to Characterize Pharmaceutical 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Modern Methods Of Polymer Characterization 美国库房发货，通常付款后3-5周到货！
¥4994
【预订】Integral Methods in Science and Engineering, Volume 1 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319593838 Author 作者 Constanda Format 版本 精装 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2017-09-18 Shipping Weight 商品重量 707g Language 语种 英语 Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. 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: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection will be of interest to researcher
¥1095
【预订】Formal Methods Teaching 9783030324407 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030324407 Author 作者 Brijesh Dongol Format 版本 平装-胶订 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-16 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers werecarefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
¥548.00
【预订】Formal Methods for Distributed Processing: A Survey 美国库房发货，通常付款后3-5周到货！
¥1783
【预订】Diagnostic Methods in the Cardiac Catheterization Labora 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138114111 Author 作者 || Format 版本 平装-胶订 Pages Number 页数 306页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-06-07 Language 语种 英语 Book Contents 内容简介 This premier reference guide discusses the specialized conditions that every interventional cardiologist encounters in the cardiac catheterization lab and examines advanced clinical approaches to diagnosis and treatment. It provides the tools necessary for correctly identifying complex coronary lesions and plaques as well as the information needed to accurately recognize rare disease progression and patterns. Exploring all the essential diagnostic modalities needed in the lab, the book covers intracardiac ultrasonography, multidetecter computed tomography, pre-procedure planning, guidance of stent deployment, and stent thrombosis treatment.
¥949.00
海外直订Golgi: Methods and Protocols 高尔基:方法和协议
¥3327
【预售 按需印刷】Icp Design Methods for Driven Piles in Sands and Cl 北京发货，付款后10天内发货
¥758.44
【预售 按需印刷】Direct Methods Based on Orthonormal Berns 北京发货，付款后10天内发货
¥559.00
海外直订New Methods for the Study of Biomolecular Complexes 生物分子
¥1988
海外直订医药图书Methods of Cancer Diagnosis, Therapy, and Progno...
¥2464
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol
¥998.00
按需印刷Visual Methods in Social Research 预订，预计下单后2-3周左右发货！
¥648.00
预订 Basic Methods in Protein Purification and Analysis: A Lab 【全球购】进口原版图书，一般5-8周左右到国内
¥764.00
【3-6周达】Toyota Methods and Operating Models: Achieve Business 【全球购】进口原版图书，一般3-6周左右到国内
¥685.00
¥504.05
【预订】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
海外直订Mixed Methods in Ethnographic Research: Historical Persp
¥795.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
¥662.00
海外直订The Methods of Plane Projective Geometry Based on the Us
¥607.00
预订 Mixed Methods Research in the Movement Sciences: Case Stu 【全球购】进口原版图书，一般5-8周左右到国内
¥724.00
预订 Formal Methods in Manufacturing [ISBN:9781466561557] 【全球购】进口原版图书，一般5-8周左右到国内
¥2793
【3-6周达】Modern Methods for Epidemiology [ISBN:9789400730236] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【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
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车