【预订】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
【预订】Asymptotic Methods in Quantum Mechanics 9783540672401 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540672401 Author 作者 Patil Format 版本 精装 Pages Number 页数 174页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-04-26 Language 语种 英语 Book Contents 内容简介 Quantum mechanics and the Schrodinger equation are the basis for the de? ion of the properties of atoms, molecules, and nuclei. The development of reliable, meaningful solutions for the energy eigenfunctions of these many? is a formidable problem. The usual approach for obtaining particle systems the eigenfunctions is based on their variational extremum property of the expectation values of the energy. However the complexity of these variational solutions does not allow a transparent, compact deion of the physical structure. There are some properties of the wave functions in some specific, spatial domains, which depend on the general structure of the Schrodinger equation and
¥1095
【预订】Unified Methods for Censored Longitudinal Data and Causa 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441930552 Author 作者 Laan Format 版本 平装-胶订 Pages Number 页数 399页 Publisher 出版社 Springer New York Publication Date 出版日期 2011-05-26 Language 语种 英语 Book Contents 内容简介 During the last decades, there has been an explosion in computation and information technology. This development comes with an expansion of complex observational studies and clinical trials in a variety of fields such as medicine, biology, epidemiology, sociology, and economics among many others, which involve collection of large amounts of data on subjects or organisms over time. The goal of such studies can be formulated as estimation of a finite dimensional parameter of the population distribution corresponding to the observed time- dependent process. Such estimation problems arise in survival analysis, causal inference and regression analysis. This book provides a fundamenta
¥1643
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540348931 Author 作者 Gorrieri Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-06-09 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006.
¥548.00
【预订】Research Methods in Clinical Linguistics and Phonetics - 美国库房发货，通常付款后3-5周到货！
¥1419
【预订】Inverse Methods in Global Biogeochemical Cycles, Geophys 美国库房发货，通常付款后3-5周到货！
¥975.00
【预订】Research Methods in Intercultural Communication 97811188 美国库房发货，通常付款后3-5周到货！
¥1272
【预订】Quantum Methods In Social Science 9781786342775 美国库房发货，通常付款后3-5周到货！
¥652.00
【3-6周达】The Methods of Contemporary Thought [ISBN:97894010358 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 医学信息学方法Methods in Medical Informatics [ISBN:9781138374416 【全球购】进口原版图书，一般5-8周左右到国内
¥875.00
【预订】Graphic Methods for Presenting Facts 9781169333932 美国库房发货，通常付款后3-5周到货！
¥702.00
海外直订Formal Methods in Databases and Software Engineering: Pr
¥659.00
预订Research Methods:A Practical Guide for the Social Sciences 预订，预计下单后2-3周左右发货！
¥858.00
【预订】Research Methods for Social Psychology 9781118406052 美国库房发货，通常付款后3-5周到货！
¥1499
【预售 按需印刷】Narrative Methods for Organizational & Co
¥816.00
【预售 按需印刷】Research Methods in Accounting
¥1882.75
【预订】Commercial Methods of Analysis 美国库房发货，通常付款后3-5周到货！
¥2547
【预订】Analytical Methods in Corrosion Science and Engineering 美国库房发货，通常付款后3-5周到货！
¥2751
预订Optical Methods for Solid Mechanics: A Full-Field Approach 预订，预计下单后4-6周左右发货
¥2455
【3-6周达】Research Methods for Social Work: A Problem-Based App 【全球购】进口原版图书，一般3-6周左右到国内
¥2201
预订 Visual Methods in the Field: Photography for the Social S 国外库房发货，通常付款后3-5周到货
¥2110
预订 Formal Methods and Software Engineering 预订商品
¥1095
【预订】Scaling Methods 美国库房发货，通常付款后3-5周到货！
¥707.00
【3-6周达】Novel Methods & Applications of Tropane Alkaloids and 【全球购】进口原版图书，一般3-6周左右到国内
¥1192
【3-6周达】New Methods of Polymer Synthesis: Volume 2 [ISBN:9789 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【3-6周达】New Methods and Applications in Multiple Attribute De 【全球购】进口原版图书，一般3-6周左右到国内
¥916.00
【预订】Wavelet Methods in Mathematical Analysis and Engineering 美国库房发货，通常付款后3-5周到货！
¥765.00
【预订】Numerical Methods for VIscosity Solutions and Applicatio 美国库房发货，通常付款后3-5周到货！
¥1001
【预订】Adaptive Methods of Computing Mathematics and Mechanics 美国库房发货，通常付款后3-5周到货！
¥1759
【预订】Innovative Methods for Numerical Solution of Partial Dif 美国库房发货，通常付款后3-5周到货！
¥1570
【预订】Arts-Based Methods for Decolonising Participatory Resear 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367513313 Format 版本 平装-胶订 Pages Number 页数 264页 Publisher 出版社 Routledge Publication Date 出版日期 2023-01-09 Product Dimensions 商品尺寸 246 x 174 mm (6.85 x 9.69 Language 语种 其它（含多语） Book Contents 内容简介 In an effort to challenge the ways in which colonial power relations and Eurocentric knowledges are reproduced in participatory research, this book explores whether and how it is possible to use arts-based methods for creating more horizontal and democratic research practices.In discussing both the transformative potential and limitations of arts-based methods, the book asks: What can arts-based methods contribute to decolonising participatory research and its processes and practices The book takes part in ongoing debates related to the need to decolonise research, and investigates practical contributions of arts-based methods in the
¥558.00
【预订】Research Methods for Environmental Studies 9781032198408 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032198408 Author 作者 Kanazawa Format 版本 平装-胶订 Pages Number 页数 498页 Publisher 出版社 Routledge Publication Date 出版日期 2023-07-20 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.92kg Language 语种 其它（含多语） Book Contents 内容简介 The methodological needs of environmental studies are unique in the breadth of research questions that can be posed, calling for a textbook that covers a broad swath of approaches to conducting research with potentially many different kinds of evidence.Fully updated to address new developments such as the effects of the internet, recent trends in the use of computers, remote sensing, and large data sets, this new edition of Research Methods for Environmental Studies is written specifically for social science-based research into the environment. This revised editio
¥527.00
【预订】Notes and Methods 9780226591933 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780226591933 Author 作者 Klint Hilma AF Format 版本 精装 Pages Number 页数 288页 Publisher 出版社 University of Chicago Press Publication Date 出版日期 2018-09-25 Language 语种 其它（含多语） Book Contents 内容简介 At the turn of the twentieth?century, Swedish artist Hilma af Klint (1862–1944) created a body of work that left visible reality behind, exploring the radical possibilities of abstraction years before Vasily Kandinsky, Kazimir Malevich, or Piet Mondrian. Many consider her the first trained artist to create abstract paintings. With Hilma af Klint: Notes and Methods, we get to experience the arc of af Klint’s artistic investigation in her own words. Hilma af Klint studied at the Royal Swedish Academy in Stockholm where she was part of the first generation of female students.? Up until the beginning of the century, she painted mainly landscapes and
¥499.00
3-6周达 Copula Methods in Finance [ISBN:9780470863442] 【全球购】进口原版图书，预计3-6周左右到国内
¥1615
【3-6周达】Formal Methods for Components and Objects [ISBN:97835 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Matrix Methods of Structural Analysis [ISBN:9780367571269 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
3-6周达 Global Methods for Combinatorial Isoperimetric Problem 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥514.00
海外直订Fusion Methods for Unsupervised Learning Ensembles 无监督学习
¥1451
【预订】Epistasis: Methods and Protocols 9781493942756 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Cilia: Methods and Protocols 9781493937875 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Numerical Methods for Nonlinear Partial Differential Equ 美国库房发货，通常付款后3-5周到货！
¥1533
【预订】Continuum Methods of Physical Modeling 9783642058318 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642058318 Author 作者 Hutter Format 版本 平装-胶订 Pages Number 页数 636页 Publication Date 出版日期 2010-11-30 Language 语种 英语 Book Contents 内容简介 This book is a considerable outgrowth of lecture notes on Mechanics of en? vironmentally related systems I, which I hold since more than ten years in the Department of Mechanics at the Darmstadt University of Technology for upper level students majoring in mechanics, mathematics, physics and the classical engineering sciences. These lectures form a canon of courses over three semesters in which I present the foundations of continuum physics (first semester), those of physical oceanography and limnology (second semester) and those of soil, snow and ice physics in the geophysical context (third semester). The intention is to build an understanding of the mathemati? cal foundations of the mentioned geophysical research fie
¥1126
【预订】Sampling Methods, Remote Sensing and GIS Multiresource F 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642068980 Author 作者 K?hl Format 版本 平装-胶订 Pages Number 页数 373页 Publication Date 出版日期 2010-11-30 Language 语种 英语 Book Contents 内容简介 When we talk about forests, we talk about 30% of our planet’s land surface 6 area. In 2000 there was an estimated 3 870×10 ha of forest worldwide, of which 1 5% is in forest plantations and 95% in natural forests (FAO 2003). Forests are not only a source for timber; they also generate significant nonwood goods and services, mitigate climate change, conserve biological diversity, provide prot- tion from natural hazards, and not least: provide recreational areas for an increasingly urbanized world population. The availability of timber and n- wood goods and services is waning as deforestation and degradation of tro- cal forests continue. While forest area has stabilized or is slightly increasing in the boreal and tempera
¥2190
【预订】Kernel Methods and Hybrid Evolutionary Algorithms in Ene 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783038972921 Author 作者 Hong, Wei-Chiang(Guest Editor) Format 版本 平装-胶订 Pages Number 页数 186页 Publisher 出版社 Mdpi AG Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.6 x 6.6 x 0.5 cm Shipping Weight 商品重量 900g Language 语种 英语
¥587.00
【预订】Numerical Methods in Finance 9783642257452 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642257452 Author 作者 Carmona Format 版本 精装 Pages Number 页数 474页 Publication Date 出版日期 2012-03-26 Shipping Weight 商品重量 895g Language 语种 英语 Book Contents 内容简介 Numerical methods in finance have emerged as a vital field at the crossroads of probability theory, finance and numerical analysis. Based on presentations given at the workshop Numerical Methods in Finance held at the INRIA Bordeaux (France) on June 1-2, 2010, this book provides an overview of the major new advances in the numerical treatment of instruments with American exercises. Naturally it covers the most recent research on the mathematical theory and the practical applications of optimal stopping problems as they relate to financial applications. By extension, it also provides an original treatment of Monte Carlo methods for the recursive computation of conditional expectations an
¥1533
【预订】Formal Methods for Industrial Critical Systems 978364232 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642324680 Author 作者 Stoelinga Format 版本 平装-胶订 Pages Number 页数 223页 Publication Date 出版日期 2012-07-17 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 373g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 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.
¥504.00
【3-6周达】Formal Methods: Foundations and Applications: 13th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Modern Methods of Statistical Analysis of Medical Dat 【全球购】进口原版图书，一般3-6周左右到国内
¥1006
Research Methods in Intercultural Communication 978111883743 现货图书
¥486.00
【预订】Synthetic Methods for Biologically Active Molecules Expl 美国库房发货，通常付款后3-5周到货！
¥1972
【预订】Modern Methods for Analysing Archaeological and Historic 美国库房发货，通常付款后3-5周到货！
¥4099
预售 按需印刷New Methods 北京发货，付款后10天内发货
¥1132
现货 Bayesian Methods For Structural Dynamics And Civilenginee
Product Details 基本信息 ISBN-13 书号 9780470824542 Author 作者 Ka-Veng Yuen Format 版本 精装 Pages Number 页数 312页 Publisher 出版社 Wiley Publication Date 出版日期 2010-03-11 Shipping Weight 商品重量 690g Language 语种 其它（含多语） Book Contents 内容简介 Bayesian methods are a powerful tool in many areas of science and engineering, especially statistical physics, medical sciences, electrical engineering, and information sciences. They are also ideal for civil engineering applications, given the numerous types of modeling and parametric uncertainty in civil engineering problems. For example, earthquake ground motion cannot be predetermined at the structural design stage. Complete wind pressure profiles are difficult to measure under operating conditions. Material properties can be
¥1476
预订 New Methods in Reading Comprehension Research [ISBN:97811 【全球购】进口原版图书，一般5-8周左右到国内
¥1841
【3-6周达】Physical Methods in Chemistry and Nano Science. Volum 【全球购】进口原版图书，一般3-6周左右到国内
¥607.00
【3-6周达】TALENs: Methods and Protocols [ISBN:9781493929313 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Formal Methods for Executable Software Models: 14th I 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Krylov Methods for Nonsymmetric Linear Systems: From 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车