【3-6周达】Formal Methods: 22nd International Symposium, FM 2018 【全球购】进口原版图书，一般3-6周左右到国内
¥1013
【预订】Modern Methods in Equilibrium Statistical Mechanics 9789 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789971966270 Author 作者 Rasetti M Format 版本 精装 Pages Number 页数 270页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1986-06-01 Shipping Weight 商品重量 602g Language 语种 其它（含多语） Book Contents 内容简介 This book consists of a set of lecture notes on graduate courses in Analytical Mechanics and Statistical Mechanics which the author successively gave at the University of Miami, and at the University and Polytechnic of Turin over the past decade. The book centers on the idea that st
¥720.00
【预订】Somatic Methods for Affect Regulation 9781138284432 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138284432 Author 作者 Kimberley L. Shilson Format 版本 平装-胶订 Pages Number 页数 242页 Publisher 出版社 Routledge Publication Date 出版日期 2019-04-09 Language 语种 英语 Book Contents 内容简介 This unique resource presents a variety of approaches for working somatically with youth. The somatic techniques showcased in the book are evidence-based and illustrated with case studies showing their impact.
¥527.00
【预订】Integral Methods in Science and Engineering: Analytic an 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Ecological Methods: With Particular Reference to the Stu 美国库房发货，通常付款后3-5周到货！
¥1533
【预订】Meshless Methods in Biomechanics: Bone Tissue Remodellin 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Research Methods in Second Language Psycholinguistics 美国库房发货，通常付款后3-5周到货！
¥783.00
【预订】Classical Methods of Education in Ayurveda 美国库房发货，通常付款后3-5周到货！
¥1055
【预订】Laboratory Methods of Soil Testing in Construction Engin 美国库房发货，通常付款后3-5周到货！
¥2212
预订 Select Methods in Chemical Analysis. (Chiefly Inorganic): 国外库房发货，通常付款后3-5周到货
¥551.00
【预订】Formal Methods for Model-Driven Engineering 978364230981 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642309816 Author 作者 Bernardo Format 版本 平装-胶订 Pages Number 页数 439页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-06-14 Shipping Weight 商品重量 682g Language 语种 英语 Book Contents 内容简介 This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.
¥548.00
【预订】Asymptotic Methods for Ordinary Differential Equations 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048155002 Author 作者 Kuzmi Format 版本 平装-胶订 Pages Number 页数 364页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-12-15 Language 语种 英语 Book Contents 内容简介 In this book we consider a Cauchy problem for a system of ordinary differential equations with a small parameter. The book is divided into th ree parts according to three ways of involving the small parameter in the system. In Part 1 we study the quasiregular Cauchy problem. Th at is, a problem with the singularity included in a bounded function j , which depends on time and a small parameter. This problem is a generalization of the regu? larly perturbed Cauchy problem studied by Poincare [35]. Some differential equations which are solved by the averaging method can be reduced to a quasiregular Cauchy problem. As an example, in Chapter 2 we consider the van der Pol problem.
¥1095
【预订】Research Methods for Pedagogy 9781474242820 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781474242820 Author 作者 Nind Melanie Format 版本 精装 Pages Number 页数 296页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2016-10-06 Language 语种 英语 Book Contents 内容简介 Aspects of pedagogy are frequently researched, but the concept itself is poorly understood. More than just teaching and learning, pedagogy is about values, identities, relationships and interactions bounded by context. As such, researchers of pedagogy face the challenge of working out what constitutes pedagogical texts, data or evidence, and how these can be generated and understood. Research methods for pedagogy begins by exploring the different conceptualisations of pedagogy and their implications for how it is researched. The authors reflect on how their sociocultural stance on pedagogy influences the methods they choose to focus on in the book. Moving beyond just schools
¥1312
【预订】Direct Methods 9783030488338 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030488338 Format 版本 精装 Pages Number 页数 243页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-09-07 Language 语种 英语 Book Contents 内容简介 This book provides an overview of direct methods such as limit and shakedown analysis, which are intended to do away with the need for cumbersome step-by-step calculations and determine the loading limits of mechanical structures under monotone, cyclic or variable loading with unknown loading history. The respective contributions demonstrate how tremendous advances in numerical methods, especially in optimization, have contributed to the success of direct methods and their practical applicability to engineering problems in structural mechanics, pavement and general soil mechanics, as well as the design of composite materials.The content reflects the outcomes of the workshop “Direct Methods: Methodol
¥1643
预订 String Methods for Beginners 初学者的字符串方法: 9780367226831 国外库房发货，通常付款后3-5周到货
¥1958
预订 Design Methods for Reducing Failure Probabilities with Ex 国外库房发货，通常付款后3-5周到货
¥1643
海外直订Direct Methods in the Calculus of Variations 变分法中的直接方法
¥1849
预订 New Methods of Celestial Mechanics 国外库房发货，通常付款后3-5周到货
¥4368
预订 Inverse Methods in Electromagnetic Imaging 国外库房发货，通常付款后3-5周到货
¥548.00
【预订】Numerical Methods and Implementation in Geotechnical Eng 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811437403 Format 版本 精装 Pages Number 页数 685页 Publisher 出版社 Bentham Science Publishers Publication Date 出版日期 2020-01-01 Language 语种 其它（含多语） Book Contents 内容简介 Numerical Methods and Implementation in Geotechnical Engineering explains several numerical methods that are used in geotechnical engineering. The second part of this reference set includes more information on the distinct element method, geotechnical optimization analysis and reliability analysis. Information about relevant additional numerical methods is also provided in each chapter with problems where applicable. The authors have also presented different computer programs associated with the materials in this book set which will be useful to students learning how to apply the models explained in the text into practical situations when designing structures in locations with specific
¥2009
海外直订Latest Methods of Construction Design 建筑设计的最新方法
¥1739
海外直订Formal Methods in Computer-Aided Design: 5th Internation
¥662.00
海外直订Modern Methods in the Calculus of Variations: L^p Spaces
¥616.00
海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
¥616.00
海外直订Formal Methods for Components and Objects: Second Intern
¥662.00
海外直订Direct Methods: Methodological Progress and Engineering
¥1317
【预订】Analytical Methods in Economics 美国库房发货，通常付款后3-5周到货！
¥643.00
海外直订New Methods in Reading Comprehension Research 阅读理解研究的新方法
¥559.00
【预订】Design Methods 美国库房发货，通常付款后3-5周到货！
¥1487
【预订】Marketing Methods to Improve Company Strategy: Applied T 美国库房发货，通常付款后3-5周到货！
¥603.00
海外直订医药图书Methods for Studying Nucleic Acid/Drug Interactions
¥1008
【预订】Research Methods 9780415340762 美国库房发货，通常付款后3-5周到货！
¥558.00
【预订】Lie Methods in Deformation Theory 9789811911842 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811911842 Author 作者 Marco Manetti Format 版本 精装 Pages Number 页数 548页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-06-12 Language 语种 其它（含多语） Book Contents 内容简介 This book furnishes a comprehensive treatment of differential graded Lie algebras, L-infinity algebras, and their use in deformation theory. We believe it is the first textbook devoted to this subject, although the first chapters are also covered in other sources with a different perspective.Deformation theory is an important subject in algebra and algebraic geometry, with an origin that dates back to Kodaira, Spencer, Kuranishi, Gerstenhaber, and Grothendieck. In the last 30 years, a new approach, based on ideas from rational homotopy theory, has made it possible not only to solve long-standing open problems, but also to clarify the general theory and
¥1643
【预订】Bilevel Methods for Image Reconstruction 9781638280026 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781638280026 Author 作者 Caroline Crockett Format 版本 平装-胶订 Pages Number 页数 184页 Publisher 出版社 Now Publishers Publication Date 出版日期 2022-05-30 Product Dimensions 商品尺寸 15.6x1.02x23.39cm Shipping Weight 商品重量 268 g Language 语种 其它（含多语） Book Contents 内容简介 Methods for image recovery and reconstruction aim to estimate a good-quality image from noisy, incomplete, or indirect measurements. Such methods are also known as computational imaging. New methods for image reconstruction attempt to lower complexity, decrease data requirements, or improve image quality for a given input data quality.?Image reconstruction typically involves optimizing a cost function to recover a vector of unknown variables that agrees with collected measurements and prior assumptions. State-of-the-art image reconstruction methods learn thes
¥1101
Research Methods for Construction 5th ed. 现货图书
Product Details 基本信息 ISBN-13 书号 9781119814733 Author 作者 Richard Fellows Pages Number 页数 384页 Publisher 出版社 Publication Date 出版日期 20211108 Product Dimensions 商品尺寸
¥512.00
【预订】Numerical Methods in Engineering 9781009211802 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781009211802 Author 作者 Amiya K. Jana Format 版本 平装-胶订 Pages Number 页数 600页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-08-01 Product Dimensions 商品尺寸 242 x 155 mm Language 语种 其它（含多语） Book Contents 内容简介 Numerical methods are a cornerstone of modern engineering. This lucid textbook strikes a balance between theory and analysis of numerical methods and their practical applications in engineering. Each chapter starts with the formulation and graphical representation of the numerical method. This is followed by the algorithms required to create computer assisted solutions and simulations, which are then applied on real-world examples and case studies to show how exactly they are used. Finally, the strengths and weaknesses of the numerical method under discussion is explained, thus helping the reader
¥991.00
【预订】Allostery: Methods and Protocols 9781071611562 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071611562 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2021-12-16 Language 语种 其它（含多语）
¥1205
按需印刷New Methods for Mining Sequential and Time Series Data 预订，预计下单后2-3周左右发货！
¥1297
【预订】Modern Methods in Collisional-Radiative Modeling of Plas 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319801582 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-03-18 Language 语种 英语
¥1095
【3-6周达】Formal Methods for Components and Objects [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Research Methods in Criminal Justice and Criminology 【全球购】进口原版图书，一般3-6周左右到国内
¥1804
【3-6周达】Formal Methods for Industrial Critical Systems [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内
¥585.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周达】The Methods and Materials of Demography [ISBN:9780126 【全球购】进口原版图书，一般3-6周左右到国内
¥2464
【预订】Antiviral Methods and Protocols 9781627034838 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781627034838 Author 作者 Gong Format 版本 精装 Pages Number 页数 452页 Publisher 出版社 Humana Press Publication Date 出版日期 2013-07-03 Shipping Weight 商品重量 1066g Language 语种 英语 Book Contents 内容简介 Although antiviral drugs have been successfully developed for some viral diseases, there remains a clear, unmet medical need to develop novel antiviral agents for the control and management of many viruses that currently have no or limited treatment options as well as a need to overcome the limitations associated with the existing antiviral drugs, such as adverse effects and emergence of drug-resistant mutations. The second edition of Antiviral Methods and Protocols features: All chapters are new and written by experts in the field, reflecting the major recent technical advances in antiviral research and discovery. This edition focuses on many import
¥1095
预订 Modern Methods of Optimization: Proceedings of the Summer 国外库房发货，通常付款后3-5周到货
¥548.00
预订 Mixing Methods: Qualitative and Quantitative Research: 97 国外库房发货，通常付款后3-5周到货
¥1251
【预订】Digital Methods in Developing Textile Products for Peopl 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781644901540 Author 作者 Aluculesei Bianca Format 版本 平装-胶订 Pages Number 页数 144页 Publisher 出版社 Materials Research Forum LLC Publication Date 出版日期 2021-09-20 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.31 Shipping Weight 商品重量 0.44 Language 语种 其它（含多语） Book Contents 内容简介 This book focuses upon the design of garments for wheelchair-users by considering the shape of the body while in the sitting position, the needs of the user (functionality, fashionability, ease-of-use, affordability, safety), as well as the characteristics and properties of the materials used.
¥1064
【预订】Chemical Methods for Processing Nanomaterials 9780367085 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367085889 Format 版本 精装 Pages Number 页数 296页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-03-16 Language 语种 英语 Book Contents 内容简介 This book discusses the latest advancements in the processing of various types of nanomaterials. The main objective of the book is to provide the reader with a comprehensive review of the latest advances in synthesis as well as processing of almost all kinds of nanomaterials using various physical and chemical methods.
¥2305
【预订】Digital Methods for Social Science: An Interdisciplinary 美国库房发货，通常付款后3-5周到货！
¥1769
海外直订Direct Methods for Limit and Shakedown Analysis of Struc
¥1325
海外直订医药图书Methods of Clinical Epidemiology 临床流行病学方法
¥1325
海外直订Field Methods in Marine Science: From Measurements to Mo
¥1345
【预订】Computer Methods in Chemical Engineering 9780367765255 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367765255 Author 作者 Ghasem Format 版本 精装 Pages Number 页数 490页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-11-24 Language 语种 其它（含多语） Book Contents 内容简介 While various software packages have become essential for performing unit operations and other kinds of processes in chemical engineering, the fundamental theory and methods of calculation must also be understood to effectively test the validity of these packages and verify the results. Computer Methods in Chemical Engineering, Second Edition presents the most used simulation software along with the theory involved. It covers chemical engineering thermodynamics, fluid mechanics, material and energy balances, mass transfer operations, reactor design, and computer applications in chemical engineering. The highly anticipated Second Edition is thoroughly updated to reflect the lat
¥1967
【预订】Numerical Methods in Computational Finance 9781119719670 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119719670 Author 作者 Daniel Duffy Format 版本 精装 Pages Number 页数 544页 Publisher 出版社 Wiley Publication Date 出版日期 2022-02-10 Product Dimensions 商品尺寸 16.83 x 24.45 cm. Language 语种 其它（含多语） Book Contents 内容简介 Numerical Methods in Computational Finance: A Partial Differential Equation (PDE/FDM) Approach defines a repeatable process to introduce PDEs in finance, analyse them mathematically, devise robust and accurate numerical algorithms to approximate these PDEs and then map these algorithms to C++ and C#. Written in an incremental way in order to facilitate a range of readers at various skill levels and experience, each chapter contains hands-on exercises and projects that form an integral part of the text. The book consists of eight parts. Each part contains several chapters and deals with a single autonomous topic: PDEs (g
¥1079
【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030549961 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 575页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2
¥548.00
【预订】I. Schur Methods in Operator Theory and Signal Processin 美国库房发货，通常付款后3-5周到货！
¥512.00
【预订】Operator Methods in Mathematical Physics: Conference on 美国库房发货，通常付款后3-5周到货！
¥1095
【预售 按需印刷】Training Methods for Older Adults
¥754.80
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车