3-6周达 Novel Methods of Diagnostics of Thyroid and Parathyroi 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥555.00
【预订】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
【3-6周达】Formal Methods for Analyzing Privacy Policies [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥1052
预订 人文地理学方法Methods in Human Geography [ISBN:9780582473218] 【全球购】进口原版图书，一般5-8周左右到国内
¥786.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
【3-6周达】Formal Methods and Software Engineering: 11th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Boolean Methods in Operations Research and Related Ar 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Formal Methods for Industrial Critical Systems 978364224 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642244308 Author 作者 Salaün Format 版本 平装-胶订 Pages Number 页数 261页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-09-19 Shipping Weight 商品重量 396g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 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.
¥548.00
【预订】Formal Methods for Protocol Engineering and Distributed 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781475752700 Author 作者 Jianping Wu Format 版本 平装-胶订 Pages Number 页数 500页 Publisher 出版社 Springer US Publication Date 出版日期 2013-04-18 Product Dimensions 商品尺寸 11 x 8.2 x 1 cm Shipping Weight 商品重量 2530g Language 语种 英语 Book Contents 内容简介 Formal Methods for Protocol Engineering and Distributed Systems addresses formal deion techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint Internatio
¥2190
按需印刷Mixed Methods:Interviews, Surveys, and Cross-Cultural Co 预订，预计下单后2-3周左右发货！
¥1252
【预订】Rigorous Methods for Software Construction and Analysis 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642114465 Author 作者 Jean-Raymond Abrial Marseille France Format 版本 平装-胶订 Pages Number 页数 235页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-01-20 Language 语种 英语 Book Contents 内容简介 This Festschrift volume, published in honor of Egon Boerger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
¥548.00
【3-6周达】高被引New Methods of Celestial Mechanics [ISBN:978160805 【全球购】进口原版图书，一般3-6周左右到国内
¥1028
【3-6周达】Oat: Methods and Protocols [ISBN:9781493966806 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【预订】Advanced Methods for Processing and Visualizing the Rene 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811586088 Format 版本 平装-胶订 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-10-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.3 cm Shipping Weight 商品重量 540g Language 语种 其它（含多语） Book Contents 内容简介 This book is a collection of research work conducted by researchers at Centre for Smart Grid Energy Research (CSMER), Institute of Autonomous System, Universiti Teknologi PETRONAS (UTP), and Seismic Modelling and Inversion Group, King Abdullah University of Science and Technology (KAUST), Saudi Arabia. The book covers topics in the field of renewable energy where visualization, artificial neural network and deep learning techniques have been applied to optimize the performance of various applications in energy-related industries. These examples include a natural gas vehicle (NGV), a s
¥1753
【3-6周达】Formal Methods for Components and Objects: 6th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Numerical Methods in Environmental Data Analysis 9780128 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128189719 Author 作者 Emetere Format 版本 平装-胶订 Pages Number 页数 240页 Publisher 出版社 Elsevier Publication Date 出版日期 2022-07-19 Product Dimensions 商品尺寸 9.25 x 7.50 x 0.51 Shipping Weight 商品重量 0.92 Language 语种 其它（含多语）
¥1280
【预订】Microglia: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Research Methods for Managers 美国库房发货，通常付款后3-5周到货！
¥1533
【预订】Formal Methods in Manufacturing Systems: Recent Advances 美国库房发货，通常付款后3-5周到货！
¥1669
【预订】Lectins: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Models and Methods for Management Science 9789811916137 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811916137 Author 作者 Zhang Format 版本 精装 Pages Number 页数 540页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-07-29 Language 语种 其它（含多语） Book Contents 内容简介 This textbook introduces systems science as an entry point to present a basic introduction to research models and methods in management science (operation research). This textbook selects the classic quantitative models and methods as well as rich cases and detailed examples, which are suitable for students with a certain management and economics knowledge for further study, and helps to develop the abilities of using the basic models in real life.
¥1861
【预订】Dopamine: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
预订 Exact Methods for Nonlinear Pdes: 9781032710518 国外库房发货，通常付款后3-5周到货
¥1560
预订 Toyota Methods and Operating Models: Achieve Business Suc 国外库房发货，通常付款后3-5周到货
¥2428
【预订】Modern Methods in Analytical Morphology 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Numerical Methods for Energy Applications 9783030621933 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030621933 Author 作者 Naser Mahdavi Tabatabaei Format 版本 平装-胶订 Pages Number 页数 1028页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-23 Product Dimensions 商品尺寸 9.21 x 6.14 x 2.08 Shipping Weight 商品重量 3.20 Language 语种 其它（含多语） Book Contents 内容简介 This book provides a thorough guide to the use of numerical methods in energy systems and applications. It presents methods for analysing engineering applications for energy systems, discussing finite difference, finite element, and other advanced numerical methods. Solutions to technical problems relating the application of these methods to energy systems are also thoroughly explored. Readers will discover diverse perspectives of the contributing authors and extensive discussions of issues including:? a wide variety of numerical methods c
¥1643
【3-6周达】New Methods of Thought and Procedure: Contributions t 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Methods in Computational Chemistry: Volume 2 Relativi 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Modern Methods of Analytical Mechanics and Their Applicat 【全球购】进口原版图书，约3-6周到达国内后发出
¥536.00
预订Research Methods and Statistics in Psychology [ISBN:978110 【全球购】进口原版图书，约3-6周到达国内后发出
¥1436
预订Research Methods for the Behavioral Sciences [ISBN:9781544 【全球购】进口原版图书，约3-6周到达国内后发出
¥1303
海外直订Moment Methods in Antennas and Scattering 天线和散射中的矩量法
¥2268
海外直订医药图书Methods In Field Epidemiology 现场流行病学方法
¥2504
海外直订Design Methods of Safety-Critical Electronic Automotive
¥738.00
【预订】Analytic Methods of Sound Field Synthesis 美国库房发货，通常付款后3-5周到货！
¥1753
【预订】Vortex Methods: Selected Papers of the First 美国库房发货，通常付款后3-5周到货！
¥1121
【预订】Numerical Methods for the Life Scientist: Binding 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Advanced Methods in Structural Biology 9784431567585 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9784431567585 Author 作者 Toshiya Senda High Energy Accelerator Research Organization Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-06-07 Language 语种 英语 Book Contents 内容简介 This book provides practical information on a whole set of protein experiments for advanced structural biology, such as X-ray crystallography, NMR, electron microscopy, advanced mass spectroscopy, and surface plasmon resonance, as well as a wide variety of expression systems including eukaryotic and in vitro expression. In the past decade, structural genomics studies have pushed forward the development of automated methods in the field of structural biology, however there is an increasing need for the structural analysis of difficult targets, such as large protein complexes and membrane proteins, which are hard to achieve using conventional automa
¥1095
预订 New Methods in Reading Comprehension Research [ISBN:97811 【全球购】进口原版图书，一般5-8周左右到国内
¥1841
海外直订Formal Methods for the Design of Real-Time Systems: Inte
¥553.00
【3-6周达】The Methods of Contemporary Thought [ISBN:97894010358 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods: 24th International Symposium, FM 2021 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【3-6周达】New Methods of Polymer Synthesis [ISBN:9789401095549] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Inverse Methods in Physical Oceanography: - Inverse Me 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1432
【3-6周达】Hedonic Methods in Housing Markets: Pricing Environme 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
预订 Key Methods in Geography [ISBN:9781529772098] 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥919.00
【预订】Periodic Methods for Controlling a Satellite in Formatio 美国库房发货，通常付款后3-5周到货！
¥750.00
【预订】Research Methods for Counseling: An Introduction 美国库房发货，通常付款后3-5周到货！
¥2128
【预订】Research Methods for Sports Studies: Third Edition 美国库房发货，通常付款后3-5周到货！
¥843.00
【预订】Numerical Methods in Industrial Forming Processes 978905 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789054100874 Format 版本 精装 Pages Number 页数 928页 Publisher 出版社 CRC Press Publication Date 出版日期 1992-01-01 Shipping Weight 商品重量 1764g Language 语种 其它（含多语） Book Contents 内容简介 A collection of papers on numerical or physical problems relating to numerical method in industrial forming processes. It also presents examples of computer code simulation of specific processes, such as rolling, extrusion, sheet forming, polymer ...
¥1510
【预订】Operator Methods in Wavelets, Tilings, and Frames 978147 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781470410407 Author 作者 Veronika Furst Format 版本 平装-胶订 Pages Number 页数 177页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2014-10-08 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the AMS Special Session on Harmonic Analysis of Frames, Wavelets, and Tilings, held April 13-14, 2013, in Boulder, Colorado. Frames were first introduced by Duffin and Schaeffer in 1952 in the context of nonharmonic Fourier series but have enjoyed widespread interest in recent years, particularly as a unifying concept. Indeed, mathematicians with backgrounds as diverse as classical and modern harmonic analysis, Banach space theory, operator algebras, and complex analysis have recently worked in frame theory. Frame theory appears in the context of wavelets, spectra and tilings, sampling theory, and more
¥1614
【预订】Modeling Methods for Business Information Systems Analys 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781522586517 Author 作者 Selin Erben Format 版本 平装-胶订 Pages Number 页数 267页 Publisher 出版社 IGI Publishing Publication Date 出版日期 2018-12-30 Language 语种 英语 Book Contents 内容简介 The field of information systems analysis and design includes numerous evolving modelling methods and notations. Even with some attempts to standardize, new modelling methods are constantly being introduced that significantly impact the way information systems are analyzed and designed in practice. Modeling Methods for Business Information Systems Analysis and Design is a collection of innovative research on the methods and applications of knowledge systems and their applications within organizational settings. While highlighting topics including finance, operational planning, and enterprise models, this book is ideally designed for academicians, professionals, and organizat
¥1924
【预订】Numerical Methods for Time-Resolved Quantum Nanoelectron 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319636900 Author 作者 Weston, Joseph Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2017-09-22 Language 语种 英语
¥1095
【预订】Ensemble Methods 9781439830031 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781439830031 Author 作者 Zhi-Hua Zhou Format 版本 精装 Pages Number 页数 236页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2012-06-06 Shipping Weight 商品重量 476g Language 语种 英语 Book Contents 内容简介 This self-contained introduction shows how ensemble methods are used in real-world tasks. It first presents background and terminology for readers unfamiliar with machine learning and pattern recognition. The book then covers the main algorithms and theories, including Boosting, Bagging, Random Forest, averaging and voting schemes, and diversity measures. Moving on to more advanced topics, the author explains details behind ensemble pruning and clustering ensembles. He also describes developments in semi-supervised learning, active learning, cost-sensitive learning, class-imbalance learning, and comprehensibility enhancement.
¥1153
【预订】Imaging Methods for Novel Materials and Challenging Appl 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461442349 Author 作者 Jin Format 版本 精装 Pages Number 页数 450页 Publisher 出版社 Springer New York Publication Date 出版日期 2012-09-23 Shipping Weight 商品重量 1361g Language 语种 英语 Book Contents 内容简介 Imaging Methods for Novel Materials and Challenging Applications, Volume 3: Proceedings of the 2012 Annual Conference on Experimental and Applied Mechanics, the third volume of seven from the Conference, brings together 62 contributions to this important area of research and engineering.? The collection presents early findings and case studies on fundamental and applied aspects of Experimental and Applied Mechanics, including papers on:?Role of optical interferometry in advancement of material characterizationThree-dimensional imaging and volumetric correlationDigital holography and experimental mechanicsDigital image correlationMetrology and dis
¥2190
【预订】Formal Methods and Software Engineering: 19th Internatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319686899 Author 作者 Ong, Luke Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-10-14 Language 语种 英语
¥548.00
【预订】Modern Methods in Operator Theory and Harmonic Analysis 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030267506 Format 版本 平装-胶订 Pages Number 页数 475页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1500g Language 语种 英语 Book Contents 内容简介 This proceedings volume gathers selected, peer-reviewed papers from the "Modern Methods, Problems and Applications of Operator Theory and Harmonic Analysis VIII" (OTHA 2018) conference, which was held in Rostov-on-Don, Russia, in April 2018.The book covers a diverse range of topics in advanced mathematics, including harmonic analysis, functional analysis, operator theory, function theory, differential equations and fractional analysis – all fields that have been intensively developed in recent decades. Direct and inverse problems arising in mathematical physics are studied and new methods for sol
¥1643
海外直订Golgi: Methods and Protocols 高尔基:方法和协议
¥2748
【预售 按需印刷】Direct Methods Based on Orthonormal Berns 北京发货，付款后10天内发货
¥559.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车