【预订】Formal Methods and Software Engineering 9783642342806 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642342806 Author 作者 Aoki Format 版本 平装-胶订 Pages Number 页数 512页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-09-19 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 801g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, tempor
¥548.00
![预订 Kernel Methods for Pattern Analysis [ISBN:9780521813976]](images/model/guan/url_none.png)
预订 Kernel Methods for Pattern Analysis [ISBN:9780521813976] 【全球购】进口原版图书，约3-6周到达国内后发出
¥1089
预订 Cospar: Methods of Measurements and Results of Lower Iono 国外库房发货，通常付款后3-5周到货
¥2260
【3-6周达】Current Methods in Historical Semantics [ISBN:9783110 【全球购】进口原版图书，一般3-6周左右到国内
¥2745
预订 神经遗传学方法Methods in Genomic Neuroscience [ISBN:978084932397 【全球购】进口原版图书，一般5-8周左右到国内
¥2589
预订 Key Methods in Geography 地理方面的主要研究方法 9780761974918 国外库房发货，通常付款后3-5周到货
¥1362
【3-6周达】Rapid Methods and Automation in Microbiology and Immu 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Rapid Methods for Analysis of Edible Oils and Fats by 【全球购】进口原版图书，一般3-6周左右到国内
¥1052
【预订】Computer Methods, Imaging and Visualization in Biomechan 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030431945 Author 作者 Ateshian Format 版本 精装 Pages Number 页数 657页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-01 Language 语种 英语 Book Contents 内容简介 This book gathers selected, extended and revised contributions to the 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, and the 4th Conference on Imaging and Visualization (CMBBE 2019), held on August 14-16, 2019, in New York City, USA. It reports on cutting-edge models and algorithms for studying various tissues and organs in normal and pathological conditions; innovative imaging and visualization techniques; and the latest diagnostic tools. Further topics addressed include: numerical methods, machine learning approaches, FEM models, and high-resolution imaging and real-time visualization methods applied for biomedical purposes.
¥1643
【预订】Research Methods for Engineers 美国库房发货，通常付款后3-5周到货！
¥502.00
预订 Novel Methods and Applications for Mineral Exploration, V 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥823.00
预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥704.00
【预售 按需印刷】Study of Methods Used to Locate Partial B 北京发货，付款后10天内发货
¥793.00
【预售 按需印刷】Research Methods in Palliative Care
¥707.20
【预订】Biofouling Methods 美国库房发货，通常付款后3-5周到货！
¥2566
【预订】Research Methods in Biomineralization Science 美国库房发货，通常付款后3-5周到货！
¥2122
【预订】Analytical Methods in the Determination of Bioactive Com 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030618810 Author 作者 Magdalena Jeszka-Skowron Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-02-03 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.80 Shipping Weight 商品重量 1.20 Language 语种 其它（含多语） Book Contents 内容简介 Most bioactive compounds have antioxidant activity, particularly tocochromanols, phenolics (flavonoids and phenolic acids), methylxantines and capsaicinoids. Some of these compounds have also other properties important for human health. For example, vitamin E protects against oxidative stress, but it is also known for its “non-antioxidant” functions, including cell signalling and antiproliferation. Selenium compounds and indoleamins are the components of the antioxidant enzymes. Selenium makes vitamin E acquisition easier and controls
¥2190
海外直订Formal Methods for Software Architectures: Third Interna
¥662.00
海外直订Direct Methods for Limit States in Structures and Materi
¥1203
【3-6周达】New Methods of Sensory Visual Testing [ISBN:978146138 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Energy Methods in Continuum Mechanics: Proceedings of 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Malaria Methods and Protocols [ISBN:9780896038233] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
海外直订Formal Methods in Computer-Aided Design: First Internati
¥659.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783540 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Formal Methods in Macro-Biology: First International 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 New Methods of Special Education: 9783631744208 国外库房发货，通常付款后3-5周到货
¥1284
【预订】Modern Methods of Construction Design: Proceedings of IC 美国库房发货，通常付款后3-5周到货！
¥3285
Analytical Methods in Economics 经济学分析方法: 9780472081356
¥613.00
预订 Mining Methods: 9786207842537 国外库房发货，通常付款后3-5周到货
¥798.00
【预订】Research Methods for Sports Studies 9781032017525 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032017525 Author 作者 Jones Format 版本 平装-胶订 Pages Number 页数 384页 Publisher 出版社 Routledge Publication Date 出版日期 2022-03-01 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.71kg Language 语种 其它（含多语） Book Contents 内容简介 Research Methods for Sports Studies;is a comprehensive, engaging and practical textbook that provides a grounding in qualitative and quantitative research for students studying programmes related to sport and physical activity.;Leading the reader step-by-step through the entire research process, from identifying a research question and collecting and analysing data to writing and presenting the research report, the book is richly illustrated throughout with sport-related case studies and examples from around the world. Research Methods for Sports Studies;is designed
¥679.00
【预订】Tensorial Methods and Renormalization in Group Field The 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Modern Methods of Food Analysis 9789401173810 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Glycomics: Methods and Protocols 9781617377693 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Modern Methods for Affordable Clinical Gait Analysis 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323852456 Author 作者 Nandy Anup Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Academic Press Publication Date 出版日期 2021-07-30 Product Dimensions 商品尺寸 9.25 x 7.50 x 0.41 Shipping Weight 商品重量 0.76 Language 语种 其它（含多语）
¥1066
【预订】Numerical Methods in Geotechnical Engineering: (Numge 20 美国库房发货，通常付款后3-5周到货！
¥5085
【预订】Research Methods in Sport Studies and Sport Management: 美国库房发货，通常付款后3-5周到货！
¥2637
【预订】Research Methods for Interior Design 9780367139490 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367139490 Format 版本 平装-胶订 Pages Number 页数 272页 Publisher 出版社 Routledge Publication Date 出版日期 2020-07-30 Product Dimensions 商品尺寸 7-1/2 x 10 Language 语种 其它（含多语） Book Contents 内容简介 Through four distinct sections, the authors not only lay out the theory of interiority—a subjective sense a person feels in his or her relation to a physical environment, which results in positive attachments of communal belonging—but also how designers can access interiority through a variety of research methodologies.
¥603.00
【预订】Formal Methods Teaching 9783031275333 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031275333 Author 作者 Catherine Dubois Format 版本 平装-胶订 Pages Number 页数 107页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-21 Language 语种 其它（含多语）
¥603.00
【预订】Formal Methods in Architecture 9783030575113 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030575113 Author 作者 Sara Eloy Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-01-05 Product Dimensions 商品尺寸 11.00 x 8.25 x 0.72 Shipping Weight 商品重量 1.73 Language 语种 其它（含多语） Book Contents 内容简介 This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in
¥1698
【预订】Regression Methods in Biostatistics 9781461413523 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461413523 Author 作者 Vittinghoff Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer New York Publication Date 出版日期 2011-09-01 Product Dimensions 商品尺寸 23.9 x 16.3 x 3.8 cm Shipping Weight 商品重量 0.9 kg Language 语种 其它（含多语） Book Contents 内容简介 This new book provides a unified, in-depth, readable introduction to the multipredictor regression methods most widely used in biostatistics: linear models for continuous outcomes, logistic models for binary outcomes, the Cox model for right-censored survival times, repeated-measures models for longitudinal and hierarchical outcomes, and generalized linear models for counts and other outcomes. Treating these topics together takes advantage of all they have in common. The authors point out the many-shared elements in the methods they present for selecting, estimati
¥1205
Numerical Methods of Approximation Theory/Numerische Method. 现货图书
¥508.00
海外直订Formal Methods for Industrial Critical Systems 工业关键系统的形式
¥559.00
海外直订医药图书Methods in Cellular Immunology 细胞免疫学方法
¥2427
【预订】Meshless Methods in Solid Mechanics 9781441921482 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441921482 Author 作者 Chen Format 版本 平装-胶订 Pages Number 页数 200页 Publisher 出版社 Springer New York Publication Date 出版日期 2010-10-29 Language 语种 英语 Book Contents 内容简介 Finiteelementmethodhasbeenthedominanttechniqueincomputationalmech- icsinthepastdecades,andithasmadesignicantcontributionstothedevelopments in engineering and science. Nevertheless, FEM is not well suited to problems h- ing severe mesh distortion owing to extremely large deformations of materials, encountering moving discontinuities such as crack propagation along arbitrary and complex paths, involving considerable meshings and remeshings in structural optimization problems, or having multidomain of in?uence in multiphenomena physical problems. It is impossible to completely overcome those mesh-related dif?culties by a mesh-based method. The highly structured nature of ?nite e- m
¥548.00
【预订】Asymptotic Methods in Probability and Statistics with Ap 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461266631 Author 作者 Balakrishn Format 版本 平装-胶订 Pages Number 页数 549页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2012-10-14 Product Dimensions 商品尺寸 10 x 7 x 1.1 cm Shipping Weight 商品重量 2170g Language 语种 英语 Book Contents 内容简介 Traditions of the 150-year-old St. Petersburg School of Probability and Statis? tics had been developed by many prominent scientists including P. L. Cheby? chev, A. M. Lyapunov, A. A. Markov, S. N. Bernstein, and Yu. V. Linnik. In 1948, the Chair of Probability and Statistics was established at the Department of Mathematics and Mechanics of the St. Petersburg State University with Yu. V. Linik being its founder and also the first Chair. Nowadays, alumni of this Chair are spread around Russia, Lithuania, France, Germany, Sweden, China, the United States, and Canada. The fiftieth
¥548.00
【预订】Computer Methods in Mechanics 9783642052408 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642052408 Author 作者 Kuczma Format 版本 精装 Pages Number 页数 528页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-02-04 Shipping Weight 商品重量 1096g Language 语种 英语 Book Contents 内容简介 Prominent scientists present the latest achievements in computational methods and mechanics in this book. These lectures were held at the CMM 2009 conference.
¥2190
【预订】Handbook Methods For Oxygen Radical Research 97813158938 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781315893822 Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-12-08 Language 语种 英语
¥3255
【预订】Research Methods 9780750689533 美国库房发货，通常付款后3-5周到货！
¥558.00
【预订】Symplectic Methods in Harmonic Analysis and in Mathemati 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783764399917 Author 作者 de Gosson Format 版本 平装-胶订 Pages Number 页数 338页 Publisher 出版社 Springer Basel Publication Date 出版日期 2011-07-30 Shipping Weight 商品重量 617g Language 语种 英语 Book Contents 内容简介 The aim of this book is to give a rigorous and complete treatment of various topics from harmonic analysis with a strong emphasis on symplectic invariance properties, which are often ignored or underestimated in the time-frequency literature. The topics that are addressed include (but are not limited to) the theory of the Wigner transform, the uncertainty principle (from the point of view of symplectic topology), Weyl calculus and its symplectic covariance, Shubin’s global theory of pseudo-differential operators, and Feichtinger’s theory of modulation spaces. Several applications to time-frequency analysis and quantum mechanics are g
¥932.00
【预订】Formal Methods for Performance Evaluation 9783540724827 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540724827 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 472页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-05-18 Language 语种 英语 Book Contents 内容简介 This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
¥548.00
海外直订Formal Methods and Software Engineering 形式化方法与软件工程“，
¥662.00
【预售 按需印刷】Numerical Methods with algorithms and pro
¥677.00
【预订】Numerical Methods for Engineers and Scientists 美国库房发货，通常付款后3-5周到货！
¥2926
【预订】Efficient Methods for Preparing Silicon Compounds 978012 美国库房发货，通常付款后3-5周到货！
¥2132
预订 New Methods of Teaching and Learning in Libraries 图书馆教学与学 国外库房发货，通常付款后3-5周到货
¥1760
预订 Robust Methods and Asymptotic Theory in Nonlinear Econome 国外库房发货，通常付款后3-5周到货
¥548.00
预订Research Methods and Statistics in Psychology [ISBN:978152 【全球购】进口原版图书，约3-6周到达国内后发出
¥844.00
【预订】Research Methods in Neurochemistry: Volume 6 97814615776 美国库房发货，通常付款后3-5周到货！
¥1095
预订 Mixed Methods in Ethnographic Research: Historical Perspe 【全球购】进口原版图书，一般5-8周左右到国内
¥2249
【预订】Iterative Methods for Ill-Posed Problems: An Introductio 美国库房发货，通常付款后3-5周到货！
¥1521
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车