【3-6周达】Modern Methods in Collisional-Radiative Modeling of P 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Novel Methods in Soft Matter Simulations, 化学 [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】New Methods of Food Preservation [ISBN:9781441951922] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
Numerical Methods for Fractional Calculus 分数阶微积分的数值方法
¥599.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
【预订】Analytical Methods in Petroleum Upstream Applications 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367575946 Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 630g Language 语种 英语 Book Contents 内容简介 Effective measurement of the composition and properties of petroleum is essential for its exploration, production, and refining; however, new technologies and methodologies are not adequately documented in much of the current literature. Analytical Methods in Petroleum Upstream Applications explores advances in the analytical methods and instrumentation that allow more accurate determination of the components, classes of compounds, properties, and features of petroleum and its fractions. Recognized experts explore a host of topics, including:A petroleum molecular composition continuity model as a context for other analytical measurements A modern modular sampling system f
¥611.00
【预订】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
预订 Research Methods for Forensic Psychologists: A Guide to C 【全球购】进口原版图书，一般5-8周左右到国内
¥2385
【3-6周达】Physical Methods in Chemistry and Nano Science. Volum 【全球购】进口原版图书，一般3-6周左右到国内
¥967.00
【3-6周达】Novel Methods in Computational Finance [ISBN:97833198 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【3-6周达】Agile Methods: 10th Brazilian Workshop, Wbma 2019, Be 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Design Methods of Safety-Critical Electronic Automoti 【全球购】进口原版图书，一般3-6周左右到国内
¥782.00
预订 Modern Methods in Solid-State NMR: A Practitioner's Guide 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2090
【3-6周达】Prions: Methods and Protocols [ISBN:9781493984282] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Novel Methods for Near Lossless Compression for Medic 【全球购】进口原版图书，一般3-6周左右到国内
¥810.00
【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Digital Methods for Social Science: An Interdisciplin 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Formal Methods for Embedded Distributed Systems: How Y97 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Advanced Methods for Modeling Markets 9783319534671 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319534671 Author 作者 Leeflang Format 版本 精装 Pages Number 页数 733页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-09-06 Shipping Weight 商品重量 1274g Language 语种 英语 Book Contents 内容简介 This volume presents advanced techniques to modeling markets, with a wide spectrum of topics, including advanced individual demand models, time series analysis, state space models, spatial models, structural models, mediation, models that specify competition and diffusion models. It is intended as a follow-on and companion to Modeling Markets (2015), in which the authors presented the basics of modeling markets along the classical steps of the model building process: specification, data collection, estimation, validation and implementation. This volume builds on the concepts presented in Modeling Markets with an emphasis on a
¥3833
【预订】Numerical Methods in Geotechnical Engineering IX 9781138 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138544468 Author 作者 Edited by Manuel de Matos Fernandes Format 版本 精装 Pages Number 页数 1800页 Publication Date 出版日期 2018-06-01 Language 语种 英语 Book Contents 内容简介 NUMGE 2018 ;is the ninth in a series of conferences on Numerical Methods in Geotechnical Engineering organized by the ERTC7 under the auspices of the International Society for Soil Mechanics and Geotechnical Engineering (ISSMGE). The conference provides a forum for exchange of ideas and discussion on topics related to numerical modelling in geotechnical engineering. Both senior and young researchers, as well as scientists and engineers from Europe and overseas, are invited to attend this conference to share and exchange their knowledge and experiences.
¥4747
【预订】Numerical Methods for Partial Differential Equations - a 美国库房发货，通常付款后3-5周到货！
¥1170
【预订】Formal Methods at the Crossroads. From Panacea to Founda 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540205272 Author 作者 Aichernig Format 版本 平装-胶订 Pages Number 页数 462页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-11-18 Language 语种 英语 Book Contents 内容简介 This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003.
¥548.00
【预订】Lattice Methods for Quantum Chromodynamics 9789812567277 美国库房发货，通常付款后3-5周到货！
¥1471
【预订】Matrix Methods 9789812836014 美国库房发货，通常付款后3-5周到货！
¥2434
【预订】Research Methods in Accounting 9781526401076 美国库房发货，通常付款后3-5周到货！
¥583.00
【预订】Research Methods for Cyber Security 9780128053492 美国库房发货，通常付款后3-5周到货！
¥959.00
【预订】Relational Methods in Computer Science 9783540333395 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540333395 Author 作者 MacCaull Format 版本 平装-胶订 Pages Number 页数 262页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-04-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274.
¥548.00
预订 Mining Methods: 9786207842537 国外库房发货，通常付款后3-5周到货
¥798.00
【预订】Advanced Methods and Technologies in Metallurgy in Russi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319663531 Author 作者 Syngellakis Format 版本 精装 Pages Number 页数 214页 Publisher 出版社 Springer Publication Date 出版日期 2018-01-04 Product Dimensions 商品尺寸 9.6 x 6.4 x 0.6 cm Shipping Weight 商品重量 509g Language 语种 英语 Book Contents 内容简介 The book provides a comprehensive overview of the most recent and advanced work on metallurgy sciences and technologies--including material characterization of complicated alloys, heat and surface treatment, ferrous metals metallurgy, and energy savings in pyrometallurgy--in the important Ural industrial region of Russia. Until recently, research into scientific and engineering problems within Russia developed along different lines than those in Europe and North America, but nevertheless resulted in remarkable achievements utilizing different tools and methodologies than those used in the West. Many of these ach
¥1095
【预订】Advanced Methods of Continuum Mechanics for Materials an 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811092947 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-06-03 Language 语种 英语
¥1643
海外直订Formal Methods for Components and Objects: 4th Internati
¥553.00
海外直订Formal Methods: Foundations and Applications: 26th Brazi
¥728.00
海外直订Agile Methods: 11th Brazilian Workshop, Wbma 2021, Virtu
¥861.00
【预订】Formal Methods: Foundations and Applications 97830300304 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030030438 Author 作者 Massoni Format 版本 平装-胶订 Pages Number 页数 271页 Publication Date 出版日期 2018-10-24 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 21st BrazilianSymposium on Formal Methods, SBMF 2018, which took place in Salvador,Brazil, in November 2018.The 16 regular papers presented in this book were carefullyreviewed and selected from 30 submissions. The papers are organized in topical sections such as:techniques and methodologies; specification and modeling languages; theoretical foundations;verification and validation; experience reports regarding teaching formal methods; and applications.Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
¥635.00
【预订】Scattering Methods and the Properties of Polymer Materia 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642064616 Author 作者 Stribeck Format 版本 平装-胶订 Pages Number 页数 176页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-11-11 Language 语种 英语 Book Contents 内容简介 Nanostructure is in the focus of science, and advanced scattering methods are significantly contributing to the solution of related questions. This volume includes 19 contributions to the field of polymers and scattering, collected on the occasion of Wilhelm Ruland’s 80th anniversary in October 2005. The contributions from leading scientists cover a wide range of topics concerning -Advanced polymer materials -Studies of nanostructure: From bone to nanotubes -Modern data evaluation methods for isotropic and anisotropic scattering data. The book is an excellent source of information with respect to recent developments and future applications related to this importan
¥1643
【预订】Numerical Methods for Structured Matrices and Applicatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783764389956 Author 作者 Bini Format 版本 精装 Pages Number 页数 439页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2010-03-12 Shipping Weight 商品重量 917g Language 语种 英语 Book Contents 内容简介 This cross-disciplinary volume brings together theoretical mathematicians, engineers and numerical analysts and publishes surveys and research articles related to topics such as fast algorithms, in which the late Georg Heinig made outstanding achievements.
¥1643
【预订】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
【预订】Stochastic Methods in Asset Pricing 9780262036559 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780262036559 Author 作者 Lyasoff Format 版本 精装 Pages Number 页数 632页 Publisher 出版社 Penguin Random House US Publication Date 出版日期 2017-08-25 Product Dimensions 商品尺寸 9 x 6.2 x 1.1 cm Shipping Weight 商品重量 1800g Language 语种 英语 Book Contents 内容简介 A comprehensive overview of the theory of stochastic processes and its connections to asset pricing, accompanied by some concrete applications. This book presents a self-contained, comprehensive, and yet concise and condensed overview of the theory and methods of probability, integration, stochastic processes, optimal control, and their connections to the principles of asset pricing. The book is broader in scope than other introductory-level graduate texts on the subject, requires fewer prerequisites, and covers the relevant material at greater depth, mainly without rigorous techni
¥537.00
海外直订Modern Methods of Construction 现代施工方法
¥829.00
【预售 按需印刷】Research Methods and Techniques
¥802.40
【预订】Difference Methods for Singular Perturbation Problems 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367386825 Author 作者 Grigory I. Shishkin and Lidia P. Shishkina Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-08-30 Language 语种 英语 Book Contents 内容简介 This book presents a systematic, detailed development of approaches to construct uniformly convergent finite difference schemes for wide classes of singularly perturbed boundary value problems. The first part of the book explores boundary value problems for elliptic and parabolic reaction-diffusion and convection-diffusion equations in n-dimensional domains with smooth and piecewise-smooth boundaries. Containing material published mainly in the last four years, the second section focuses on problems with boundary layers and additional singularities generated by nonsmooth data, unboundedness of the domain, and the perturbation vector par
¥813.00
预订 New Methods of Teaching and Learning in Libraries 图书馆教学与学 国外库房发货，通常付款后3-5周到货
¥1760
【预订】Lysosomes: Methods and Protocols (Softcover Reprint of t 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493983438 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-07-20 Language 语种 英语
¥1643
【预订】Histones: Methods and Protocols (Softcover Reprint of th 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493982547 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-27 Language 语种 英语
¥1205
预订 SNAREs: Methods and Protocols 可溶解的N-乙基马来酰亚胺敏感因子附着蛋白受体：方法与 国外库房发货，通常付款后3-5周到货
¥2190
【预订】Oogenesis: Methods and Protocols (Softcover Reprint of t 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493981410 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-09 Language 语种 英语
¥1040
预订 New Methods in Cognitive Psychology [ISBN:9781848726307] 【全球购】进口原版图书，一般5-8周左右到国内
¥1977
3-6周达 Formal Methods for Distributed Processing: A Survey of 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥563.00
预订 HYBRID METHODS IN PATTERN RECOGNITION [ISBN:9789810248321 【全球购】进口原版图书，一般5-8周左右到国内
¥973.00
【3-6周达】Genetic Methods and Tools for Managing Crop Pests [IS 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Modern Methods of Construction Design: Proceedings of 【全球购】进口原版图书，一般3-6周左右到国内
¥3212
【3-6周达】Direct Methods for Limit States in Structures and Mat 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Research Methods for Nurses and Midwives: Theory and Prac 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥992.00
预订 Wavelet Methods for Time Series Analysis [ISBN:9780521685 【全球购】进口原版图书，约3-6周到达国内后发出
¥761.00
【3-6周达】New methods for generating significance levels from m 【全球购】进口原版图书，一般3-6周左右到国内
¥798.00
【3-6周达】Snares: Methods and Protocols (Softcover Reprint of t 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
海外直订String Methods for Beginners 面向初学者的字符串方法
¥560.00
【预订】Integral Methods In Low-Frequency Electromagnetics 97804 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780470195505 Author 作者 Pavel Solin Format 版本 精装 Pages Number 页数 416页 Publisher 出版社 Wiley-Interscience Publication Date 出版日期 2009-06-30 Language 语种 英语 Book Contents 内容简介 This book provides state-of-the-art knowledge on integral methods in low-frequency electromagnetics. Blending theory with numerous examples, it introduces key aspects of the integral methods used in engineering as a powerful alternative to PDE-based model
¥1703
【预订】Formal Methods: Foundations and Applications 97836423329 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642332951 Author 作者 Gheyi Format 版本 平装-胶订 Pages Number 页数 227页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-08-11 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 373g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
¥504.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车