【预订】Numerical Methods in Finance with C++ 9780521177160 美国库房发货，通常付款后3-5周到货！
¥502.00
【预订】Research Methods for Education 9780273775102 美国库房发货，通常付款后3-5周到货！
¥783.00
【预订】Research Methods for Sports Performance Analysis 9780415 美国库房发货，通常付款后3-5周到货！
¥2637
【预订】Research Methods for Nursing and Healthcare 美国库房发货，通常付款后3-5周到货！
¥603.00
【预订】Practical Methods for Biocatalysis and Biotransformation 美国库房发货，通常付款后3-5周到货！
¥2100
【预订】Advanced Methods in Material Forming 9783642089237 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642089237 Author 作者 Dorel Banabic Format 版本 平装-胶订 Pages Number 页数 362页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-10-15 Language 语种 英语 Book Contents 内容简介 This book contains the most relevant papers presented in the International Conference on Materials Forming, ESAFORM 2005.
¥1643
【预订】Formal Methods for Distributed System Development 978147 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781475752649 Author 作者 Bolognesi Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer US Publication Date 出版日期 2013-02-28 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 1310g Language 语种 英语 Book Contents 内容简介 th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --’Fonna! Methods? Implementation Under Test’ --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM’s), wit
¥2190
【预订】Numerical Methods for Fractional Calculus 9780367658793 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367658793 Author 作者 Changpin Li and Fanhai Zeng Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-09-30 Shipping Weight 商品重量 560g Language 语种 英语 Book Contents 内容简介 Numerical Methods for Fractional Calculus presents numerical methods for fractional integrals and fractional derivatives, finite difference methods for fractional ordinary differential equations (FODEs) and fractional partial differential equations (FPDEs), and finite element methods for FPDEs.The book introduces the basic definitions and properties of fractional integrals and derivatives before covering numerical methods for fractional integrals and derivatives. It then discusses finite difference methods for both FODEs and FPDEs, including the Euler and linear multistep methods. The final chapter shows how to so
¥611.00
【3-6周达】Newton Methods for Nonlinear Problems: Affine Invaria 【全球购】进口原版图书，一般3-6周左右到国内
¥868.00
【3-6周达】Formal Methods for Mining Structured Objects [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Cilia: Methods and Protocols [ISBN:9781493937875 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Models for System Design: A System 【全球购】进口原版图书，一般3-6周左右到国内
¥2483
【预订】Sampling Methods For Applied Research: Text And 美国库房发货，通常付款后3-5周到货！
¥2926
【预订】Spectral Methods for Time-Dependent Problems 美国库房发货，通常付款后3-5周到货！
¥1216
【预订】Current Methods in Forensic Gunshot Residue 美国库房发货，通常付款后3-5周到货！
¥2261
【预订】Numerical Methods for Roots of Polynomials: Part 1 美国库房发货，通常付款后3-5周到货！
¥1909
【预订】Transform Methods In Applied Mathematics: An 美国库房发货，通常付款后3-5周到货！
¥2668
【预订】Molecular Methods In Ecology 美国库房发货，通常付款后3-5周到货！
¥1646
【预订】Multiscale Methods: Averaging and Homogenization 美国库房发货，通常付款后3-5周到货！
¥876.00
【预订】Practical Methods For Design And Analysis Of Complex 美国库房发货，通常付款后3-5周到货！
¥1986
【3-6周达】Formal Methods. FM 2019 International Workshops [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】On Methods, Volume 2: Books III-IV. on Regressus [ISB 【全球购】进口原版图书，一般3-6周左右到国内
¥553.00
3-6周达 Advanced Methods and Mathematical Modeling of Biofilms 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥1518
【3-6周达】Powerful Methods for Solving Nonlinear evolution Equa 【全球购】进口原版图书，一般3-6周左右到国内
¥820.00
【预订】Policy and Methods in German and American Antitrust 美国库房发货，通常付款后3-5周到货！
¥1024
【预订】Narrative Methods for the Human Sciences 美国库房发货，通常付款后3-5周到货！
¥1134
【预订】Resampling Methods: A Practical Guide to Data 美国库房发货，通常付款后3-5周到货！
¥985.00
【预订】Numerical Methods for Controlled Stochastic Delay 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Microchip Methods in Diagnostics 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Research Methods In Communication Disorders 美国库房发货，通常付款后3-5周到货！
¥839.00
海外直订Formal Methods in Artificial Intelligence 人工智能中的形式化方法
¥586.00
【3-6周达】Exact Methods in the Study of Language and Text: Dedi 【全球购】进口原版图书，一般3-6周左右到国内
¥3787
【预订】mRNA Decay:Methods and Protocols 9781493985159 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493985159 Format 版本 平装-胶订 Publisher 出版社 Springer New York Publication Date 出版日期 2018-08-30 Language 语种 其它（含多语）
¥1205
【预订】Analytical Methods in Fuzzy Modeling and Control 9783642 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642100642 Author 作者 Jacek Kluska Format 版本 平装-胶订 Pages Number 页数 251页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-10-21 Shipping Weight 商品重量 433g Language 语种 英语 Book Contents 内容简介 This book is focused on mathematical analysis and rigorous design methods for fuzzy control systems based on Takagi-Sugeno fuzzy models, sometimes called Takagi-Sugeno-Kang models.
¥1643
【预订】Formal Methods for Components and Objects 9783642041662 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642041662 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 299页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-09-07 Shipping Weight 商品重量 480g Language 语种 英语 Book Contents 内容简介 All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and th
¥548.00
【预订】Analytic Methods for Design Practice 9781846284724 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781846284724 Author 作者 Gyung-Jin Park Format 版本 精装 Pages Number 页数 627页 Publisher 出版社 Springer London Publication Date 出版日期 2007-02-15 Language 语种 英语 Book Contents 内容简介 In the competitive world of modern engineering, rigorous and definite design methodologies are needed. However, many parts of engineering design are performed in either an ad-hoc manner or based on the intuition of the engineer. This is the first book to look at both stages of the design process – conceptual design and detailed design – and detail design methodologies for every step of the design process. The following analytic design methodologies are introduced and their usefulness is explored with many mathematical and practical examples: Axiomatic design; Optimization; Design of experiments; Robust design; Structural optimization; Dynamic response optimization; and Mult
¥1095
【预订】Research Methods and Organization Studies 美国库房发货，通常付款后3-5周到货！
¥707.00
【预订】Theory and Methods in Sociology: An Introduction to 美国库房发货，通常付款后3-5周到货！
¥1550
【预订】Physical Methods Of Chemistry Second Edition: Volume 美国库房发货，通常付款后3-5周到货！
¥5733
【预订】Apoptosis Methods in Pharmacology and Toxicology: Y97808 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Survey Methods In Multinational, Multiregional, And 美国库房发货，通常付款后3-5周到货！
¥1272
【预订】Bayesian Methods for Ecology 美国库房发货，通常付款后3-5周到货！
¥609.00
【预订】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
【预订】Research Methods in Education 美国库房发货，通常付款后3-5周到货！
¥777.00
预售 按需印刷 Methods of wound healing assessment 北京发货，付款后10天内发货
¥837.00
【预订】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
【预订】Formal Methods for Open Object-Based Distributed 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】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
【预订】Computer Methods in Structural Analysis 美国库房发货，通常付款后3-5周到货！
¥1801
预订 Video Methods: Social Science Research in Motion [ISBN:97 【全球购】进口原版图书，一般5-8周左右到国内
¥645.00
【预订】Molecular Methods for Evolutionary Genetics 978149395861 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493958610 Author 作者 Virginie Orgogozo Université Paris VII CNRS UMR7592 Paris Format 版本 平装-胶订 Pages Number 页数 503页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 979g Language 语种 英语 Book Contents 内容简介 We are entering a particularly fruitful period in evolutionary genetics, as rapid technological progress transforms the investigation of genetic variation within and between species. Molecular Methods for Evolutionary Genetics is a collection of advanced molecular biology protocols and general overviews intended to represent the essential methods currently bringing evolutionary genetics to fruition. Divided into six thematic sections, this volume covers methods for characterizing genomes, diverse approaches to enrich DNA for subsets of the genome prior to sequencing, and state-of-the-art
¥1205
【预订】Formal Methods for Components and Objects 9783540203032 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540203032 Author 作者 Boer Format 版本 平装-胶订 Pages Number 页数 512页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-10-09 Language 语种 英语 Book Contents 内容简介 Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modiability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware des
¥548.00
【预订】Geometric Methods in the Algebraic Theory of Quadratic F 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540207283 Author 作者 Izhboldin Format 版本 平装-胶订 Pages Number 页数 198页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-02-19 Language 语种 英语 Book Contents 内容简介 The geometric approach to the algebraic theory of quadratic forms is the study of projective quadrics over arbitrary fields. Function fields of quadrics have been central to the proofs of fundamental results since the 1960’s. Recently, more refined geometric tools have been brought to bear on this topic, such as Chow groups and motives, and have produced remarkable advances on a number of outstanding problems. Several aspects of these new methods are addressed in this volume, which includes an introduction to motives of quadrics by A. Vishik, with various applications, notably to the splitting patterns of quadratic forms, papers by O. Izhboldin and N. Karpenko on
¥492.00
【预订】Numerical Methods for Shallow-Water Flow 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Selected Methods and Models in Military Operations 美国库房发货，通常付款后3-5周到货！
¥481.00
【预订】Iterative Methods in Combinatorial Optimization 美国库房发货，通常付款后3-5周到货！
¥621.00
【预订】Geometric Methods and Optimization Problems 美国库房发货，通常付款后3-5周到货！
¥3067
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车