海外直订医药图书Methods of Microarray Data Analysis: Papers from Cam
¥1325
预订 Models, Methods and Applications of Econometrics 97815578 国外库房发货，通常付款后3-5周到货
¥1010
【预订】Research Methods in Language Policy and Planning 9781118 美国库房发货，通常付款后3-5周到货！
¥635.00
【预订】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
海外直订Formal Methods for Distributed Processing: A Survey of O
¥2171
海外直订Coring Methods and Systems 取心方法和系统
¥1471
海外直订Energy Methods in Continuum Mechanics: Proceedings of th
¥1988
【预售 按需印刷】Research Methods in Usability and Interac 北京发货，付款后10天内发货
¥818.00
海外直订Field Methods for Petroleum Geologists: A Guide to Compu
¥740.00
海外直订Local Methods in Nonlinear Differential Equations: Part
¥1325
【预订】Antibody Methods and Protocols 9781493959303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493959303 Author 作者 Gabriele Proetzel The Jackson Laboratory Bar Harbor ME U Format 版本 平装-胶订 Pages Number 页数 325页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Product Dimensions 商品尺寸 10 x 7 x 0.7 cm Shipping Weight 商品重量 647g 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
¥1588
【预订】Modern Methods Of Polymer Characterization 美国库房发货，通常付款后3-5周到货！
¥4994
【预订】Simulation Methods for Polymers 美国库房发货，通常付款后3-5周到货！
¥3842
【预订】Advanced Methods Of Biomedical Signal Processing 美国库房发货，通常付款后3-5周到货！
¥1623
【预订】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 国外库房发货, 通常付款后12-16周到货
¥1783
海外直订Fusion Methods for Unsupervised Learning Ensembles 无监督学习
¥1458
【预订】Formal Methods for Industrial Critical Systems: A 美国库房发货，通常付款后3-5周到货！
¥1204
海外直订The Methods of Ethics 伦理学的方法
¥975.00
¥504.05
预订 Numerical Methods for Delay Differential Equations 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9780199671373 Author 作者 Alfredo Bellen,Marino Zennaro Format 版本 平装 Pages Number 页数 410页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2013年4月1日 Product Dimensions 商品尺寸 15.6 x 2.2 x 23.2 cm Shipping Weight 商品重量 621 g Language 语种 英语 Book Description 内容简介 The main purpose of the book is to introduce the readers to the numerical integration of the Cauchy problem for delay differential equations (DDEs). Peculiarities and differences that DDEs exhibit with respect to ordinary differential equations are preliminarily outlined by numerous examples illustrating some unexpected, and often surprising, behaviours of the analytical and numerical solutions. The effect of various kinds of delays on the regularity of the solution is
¥1058
预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103222 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
【预订】Algebraic Methods and \(q\)-Special Functions 9780821820 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821820261 Author 作者 Jan Felipe van Diejen Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1999-08-16 Language 语种 英语 Book Contents 内容简介 There has been revived interest in recent years in the study of special functions. Many of the latest advances in the field were inspired by the works of R. A. Askey and colleagues on basic hypergeometric series and I. G. Macdonald on orthogonal polynomials related to root systems. Significant progress was made by the use of algebraic techniques involving quantum groups, Hecke algebras, and combinatorial methods. The CRM organized a workshop for key researchers in the field to present an overview of current trends. This volume consists of the contributions to that workshop. Topics include basic hypergeometric functions, algebraic and
¥1219
预订 PCR: Methods and Protocols: 9781071633601 国外库房发货，通常付款后3-5周到货
¥1533
预订 KRAS: Methods and Protocols: 9781071638248 国外库房发货，通常付款后3-5周到货
¥1753
【预订】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
【预订】Numerical Methods for Solving Discrete Event Systems: Wi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031100840 Author 作者 Grassmann Winfried Format 版本 平装-胶订 Pages Number 页数 362页 Publisher 出版社 Springer Publication Date 出版日期 2023-11-19 Language 语种 其它（含多语）
¥658.00
【预订】Formal Methods in Outer Space 9783030873479 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030873479 Author 作者 Ezio Bartocci Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-28 Language 语种 其它（含多语） Book Contents 内容简介 This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the
¥603.00
【预订】Kernel Methods for Machine Learning with Math and Python 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811904004 Author 作者 Joe Suzuki Format 版本 平装-胶订 Pages Number 页数 208页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-05-24 Language 语种 其它（含多语） Book Contents 内容简介 The most crucial ability for machine learning and data science is mathematical logic for grasping their essence rather than relying on knowledge or experience. This textbook addresses the fundamentals of kernel methods for machine learning by considering relevant math problems and building Python programs. The book’s main features are as follows:The content is written in an easy-to-follow and self-contained style.The book includes 100 exercises, which have been carefully selected and refined. As their solutions are provided in the main text, readers can solve all of the exercises by reading the book.The mathematical premises of kernels are proven
¥492.00
【预订】Level Set Methods for Fluid-Structure Interaction 978303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031086588 Author 作者 Georges-Henri Cottet Format 版本 精装 Pages Number 页数 196页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-21 Language 语种 其它（含多语） Book Contents 内容简介 This monograph is devoted to the study of Eulerian models for fluid-structure interaction from the original point of view of level set methods.In the last 15 years, Eulerian models have become popular tools for studying fluid-structure interaction problems. One major advantage compared to more conventional methods such as ALE methods is that they allow the use of a single grid and a single discretization method for the different media. Level set methods in addition provide a general framework to follow the fluid-solid interfaces, to represent the elastic stresses of solids, and to model the contact forces between solids.This book offers a combina
¥1095
【预订】Research Methods in Building Science and Technology 9783 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030736941 Author 作者 Rahman Azari Format 版本 平装-胶订 Pages Number 页数 180页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-10 Language 语种 其它（含多语） Book Contents 内容简介 This book covers the range of methodological approaches, methods and tools currently used in various areas of building science and technology research and addresses the current lack of research-method literature in this field. The book covers the use of measurement-based methods in which data is collected by measuring the properties and their variations in ‘actual’ physical systems, simulation-based methods which work with ‘models’ of systems or processes to describe, examine and analyze their behaviors, performances and operations, and data-driven methodologies in which data is collected via measurement or simulation to identify and exami
¥2409
【预订】Formal Methods for Software Engineering: Languages, Meth 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030388027 Author 作者 Roggenbach Markus Format 版本 平装-胶订 Pages Number 页数 524页 Publisher 出版社 Springer Publication Date 出版日期 2023-07-07 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.13 Shipping Weight 商品重量 1.70 Language 语种 其它（含多语）
¥603.00
【预订】Fourier Methods In Imaging 美国库房发货，通常付款后3-5周到货！
¥2315
【3-6周达】The Methods of the Synthesis of Finite Element Model 【全球购】进口原版图书，一般3-6周左右到国内
¥821.00
预订 Survey Methods In Multinational, Multiregional, and Multi 国外库房发货，通常付款后3-5周到货
¥1370
【3-6周达】Research Methods for Criminology and Criminal Justice 【全球购】进口原版图书，一般3-6周左右到国内
¥1821
【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Numerical Methods in Finance and Economics: A MATLAB-Bas 美国库房发货，通常付款后3-5周到货！
¥2213
【预订】Scientific Methods and Cultural Heritage: An Introductio 美国库房发货，通常付款后3-5周到货！
¥1854
【预订】Interval Methods for Systems of Equations 9780521331968 国外库房发货, 通常付款后12-16周到货
¥1520
按需印刷TF Methods of the Policy Process 预订，预计下单后3-6周左右发货！
¥1638
海外直订String Methods for Beginners 面向初学者的字符串方法
¥2353
【3-6周达】Entropy Methods for the Boltzmann Equation: Lectures 【全球购】进口原版图书，一般3-6周左右到国内
¥486.00
【3-6周达】Robust Methods for Dense Monocular Non-Rigid 3D Recon 【全球购】进口原版图书，一般3-6周左右到国内
¥1013
【3-6周达】Direct Methods: Methodological Progress and Engineeri 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Formal Methods and Hybrid Real-Time Systems [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预售 按需印刷】Extraction Methods for Environ Analysis
¥3088.05
【预售 按需印刷】Comparison Methods for Stochastic Models
¥2223.6
Numerical Methods for Fractional Calculus 分数阶微积分的数值方法
¥580.10
【3-6周达】Asthma: Methods and Protocols [ISBN:9781071623633] 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【3-6周达】Methods and Applications of Inversion [ISBN:978354065 【全球购】进口原版图书，一般3-6周左右到国内
¥768.00
预订 Analytic Methods of Systems and Software Testing [ISBN:97 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1495
【预订】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
海外直订Metric Methods for Analyzing Partially Ranked Data 部分排序数
¥2253
海外直订Mixed Methods Research in the Movement Sciences 运动科学中的混合
¥2353
【预售 按需印刷】Laboratory methods of soil testing in Con 北京发货，付款后10天内发货
¥1980
海外直订Formal Methods and Software Engineering: 23rd Internatio
¥662.00
海外直订Design Methods for Reducing Failure Probabilities with E
¥1739
【预订】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
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车