
【预订】Applied Methods of Structural Reliability 9789401048613 美国库房发货,通常付款后3-5周到货!
¥2190

预订 Hybrid Methods for Modeling and Optimizing Complex System 国外库房发货,通常付款后3-5周到货
¥2409

预订 New Methods of Special Education: 9783631744208 国外库房发货,通常付款后3-5周到货
¥1284

【预订】Meshless Methods and Their Numerical Properties 97814665 美国库房发货,通常付款后3-5周到货!
¥2577

【预订】Numerical Methods: Design, Analysis, and Computer Implem 美国库房发货,通常付款后3-5周到货!
¥1066

【3-6周达】Formal Methods for Industrial Critical Systems: 26th 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00
![【3-6周达】Formal Methods Teaching [ISBN:9783031275333]](images/model/guan/url_none.png)
【3-6周达】Formal Methods Teaching [ISBN:9783031275333] 【全球购】进口原版图书,一般3-6周左右到国内
¥626.00

按需印刷Modern Methods in Phytomedicine 预订,预计下单后2-3周左右发货!
¥1408

【预订】Global Methods for Combinatorial Isoperimetric Problems 美国库房发货,通常付款后3-5周到货!
¥1243

【预订】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

【预订】Formal Methods for Nonmonotonic and Related Logics 97833 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319896496 Author 作者 Schlechta Format 版本 精装 Pages Number 页数 473页 Publication Date 出版日期 2018-11-14 Language 语种 英语 Book Contents 内容简介 The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions.In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate
¥1095

【预订】Formal Methods for Nonmonotonic and Related Logics 97833 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319896526 Author 作者 Schlechta Format 版本 精装 Pages Number 页数 335页 Publication Date 出版日期 2018-11-12 Language 语种 英语 Book Contents 内容简介 The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate
¥932.00

【预订】Many-Body Methods for Atoms, Molecules and Clusters 9783 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319936017 Author 作者 Schirmer Format 版本 精装 Pages Number 页数 359页 Publication Date 出版日期 2018-08-28 Language 语种 英语 Book Contents 内容简介 This book provides an introduction to many-body methods for applications in quantum chemistry. These methods, originating in field-theory, offer an alternative to conventional quantum-chemical approaches to the treatment of the many-electron problem in molecules. Starting with a general introduction to the atomic and molecular many-electron problem, the book then develops a stringent formalism of field-theoretical many-body theory, culminating in the diagrammatic perturbation expansions of many-body Green’s functions or propagators in terms of Feynman diagrams. It also introduces and analyzes practical computational methods, such as the field-tested algebraic-diagrammatic construction (ADC) schemes. The ADC concept can als
¥1861

【预订】Marketing Methods and Policies 9781143780035 美国库房发货,通常付款后3-5周到货!
¥493.00

预订 Digital Methods: A Short Introduction 数字方法:简明导论(精装): 9781 国外库房发货,通常付款后3-5周到货
¥737.00

【预订】Physical Methods of Chemistry, Investigations of Surface 美国库房发货,通常付款后3-5周到货!
¥6438

【预订】Stochastic Methods in Neuroscience 美国库房发货,通常付款后3-5周到货!
¥1505

【预订】Multiscale Methods in Computational Mechanics 9789400733 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Modern Methods of Drug Discovery 9783764360818 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Research Methods in Orthodontics 9783642313769 美国库房发货,通常付款后3-5周到货!
¥1642

【预订】Modeling Methods and Practices in Soil and Water Enginee 美国库房发货,通常付款后3-5周到货!
¥1809

【预售 按需印刷】Data-Based Methods for Materials Design a
¥950.30

【预售 按需印刷】INVERSE METHODS FOR ATMOSPHERIC SOUNDING
¥1173

【3-6周达】Formal Methods: Foundations and Applications: 20th Br 【全球购】进口原版图书,一般3-6周左右到国内
¥722.00

【预售 按需印刷】Molecular Methods in Diagnostic Pathology 北京发货,付款后10天内发货
¥620.00

【预订】Robust Methods for Data Reduction 9781466590625 美国库房发货,通常付款后3-5周到货!
¥1288

【预订】Spectral Methods for Uncertainty Quantification 97894007 美国库房发货,通常付款后3-5周到货!
¥1424

【预订】Optical Methods and Instrumentation in Brain Imaging and 美国库房发货,通常付款后3-5周到货!
¥1095

预订 String Methods for Beginners 初学者的字符串方法: 9780367226831 国外库房发货,通常付款后3-5周到货
¥1958

【3-6周达】Formal Methods for Components and Objects: 11th Inter 【全球购】进口原版图书,一般3-6周左右到国内
¥535.00

【预订】Numerical Methods for Fluid Dynamics: With Applications 美国库房发货,通常付款后3-5周到货!
¥873.00

【预订】Mixing Methods in Psychology: The Integration of Qualita 美国库房发货,通常付款后3-5周到货!
¥648.00

【预订】Kernel Methods for Remote Sensing Data Analysis 美国库房发货,通常付款后3-5周到货!
¥1975

【预订】Wavelet Methods for Elliptic Partial Differential Equati 美国库房发货,通常付款后3-5周到货!
¥2135

【3-6周达】Current Methods in Historical Semantics [ISBN:9783110 【全球购】进口原版图书,一般3-6周左右到国内
¥2745

预售 按需印刷 Methods in Floristic and Phytosociological 北京发货,付款后10天内发货
¥1105

【预订】Research Methods in Remote Sensing 9789400765931 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Numerical Methods and Applications 9783319155845 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Rigorous Methods in Particle Physics 9783662150733 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Relational Methods in Computer Science 9783540003151 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540003151 Author 作者 de Swart Format 版本 平装-胶订 Pages Number 页数 318页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-12-11 Language 语种 英语
¥548.00

【预订】Homotopy Methods in Topological Fixed and Periodic Point 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789048169986 Author 作者 Jezierski Format 版本 平装-胶订 Pages Number 页数 320页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-11-18 Language 语种 英语 Book Contents 内容简介 The notion of a xed point plays a crucial role in numerous branches of mat- maticsand its applications. Informationabout the existence of such pointsis often the crucial argument in solving a problem. In particular, topological methods of ?xed point theory have been an increasing focus of interest over the last century. These topological methods of ?xed point theory are divided, roughly speaking, into two types. The ?rst type includes such as the Banach Contraction Principle where the assumptions on the space can be very mild but a small change of the map can remove the ?xed point. The second type, on the other hand, such as the Brouwer and Lefschetz Fixed Point Theorems
¥1095

海外直订Basic Methods and Protocols on Sourdough Basic Methods a
¥1540

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

【3-6周达】Methods of Studies of Integro-Differential Equations 【全球购】进口原版图书,一般3-6周左右到国内
¥532.00

预订Research Methods and Statistics:A Critical Thinking Approa 预订,预计下单后3-6周左右发货!
¥1194

海外直订Formal Methods: 22nd International Symposium, FM 2018, H
¥908.00

海外直订Asymptotic Methods in Statistical Decision Theory 统计决策理论
¥3589

预订 Fourier Methods in Science and Engineering 预订商品
¥1153

海外直订Formal Methods for Industrial Critical Systems: 29th Int
¥642.00

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

【3-6周达】Field Methods for Petroleum Geologists [ISBN:97836420 【全球购】进口原版图书,一般3-6周左右到国内
¥916.00
![【3-6周达】Soft Methods for Data Science [ISBN:9783319429717]](images/model/guan/url_none.png)
【3-6周达】Soft Methods for Data Science [ISBN:9783319429717] 【全球购】进口原版图书,一般3-6周左右到国内
¥2156
![【3-6周达】Malaria Methods and Protocols [ISBN:9781617372056]](images/model/guan/url_none.png)
【3-6周达】Malaria Methods and Protocols [ISBN:9781617372056] 【全球购】进口原版图书,一般3-6周左右到国内
¥1202

【预订】Research Methods for Digital Work and Organization 97801 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780198860686 Author 作者 Symon Gillian Format 版本 平装-胶订 Pages Number 页数 400页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2021-10-21 Product Dimensions 商品尺寸 234x156mm Shipping Weight 商品重量 592g Language 语种 其它(含多语) Book Contents 内容简介 Digital work has become increasingly common, taking a variety of forms including working from home, mobile work, and gig work. Here, real-world research projects bring together innovative methodologies to capture its organizational, interpretive, spatial, and temporal complexity in an accessible sourcebook for organizational and work researchers.
¥518.00

【预订】Formal Methods for Industrial Critical Systems: 28th Int 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031436802 Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.57 Shipping Weight 商品重量 0.85磅 Language 语种 其它(含多语)
¥711.00

【预售 按需印刷】Research Methods in Criminal Justice and
¥1590.35

【预售 按需印刷】Research Methods in Tourism, Hospitality
¥755.65

【预订】Analytical Methods In Supramolecular Chemistry 2E 美国库房发货,通常付款后3-5周到货!
¥4183

【预订】Molecular Methods in Plant Pathology 美国库房发货,通常付款后3-5周到货!
¥3616