海外直订Formal Methods and Software Engineering 形式化方法与软件工程
¥553.00
【预售 按需印刷】Formal Methods for Industrial
¥1030.2
【预售 按需印刷】Manual of Methods for Marine Plankton
¥825.35
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
¥1729
[预定]Ensemble Methods: Foundations and Algorithms 海外预定商品，预计60-90天发货，非质量问题不支持退货
.
¥1037.4
【预订】Numerical Methods for Partial Differential Equations 978 美国库房发货，通常付款后3-5周到货！
¥1386
【预订】Geometric Methods in PDE’s 9783319026657 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods in Geotechnical Engineering 9789054105 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789054105107 Format 版本 精装 Pages Number 页数 444页 Publisher 出版社 CRC Press Publication Date 出版日期 1994-01-01 Shipping Weight 商品重量 929g Language 语种 其它（含多语） Book Contents 内容简介 This volume is based on a conference on numerical methods in geotechnical engineering held in Manchester in 1994. It examines topics involved in the application of numerical techniques, including: thermomechanical problems; foundations; reinforced...
¥3316
预订 SUMO: Methods and Protocols 小泛素样修饰蛋白：方法与协议: 9781071647097 国外库房发货，通常付款后3-5周到货
¥1861
【预订】Asymptotic Methods in Quantum Mechanics: Application to 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Scientific Methods for the Study of Polymer Colloids and 美国库房发货，通常付款后3-5周到货！
¥3285
【3-6周达】Beyond Methods: Macrostrategies for Language Teaching 【全球购】进口原版图书，一般3-6周左右到国内
¥1004
【3-6周达】Formal Methods and Software Engineering: 13th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Material Methods: Researching and Thinking with Thing 【全球购】进口原版图书，预计3-6周左右到国内
¥596.00
【预订】Meshfree Methods for Partial Differential Equations VI 9 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Meshfree Methods for Partial Differential Equations V 97 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Subspace Methods for Pattern Recognition in Intelligent 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Differential Equations, Optimizati 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Numerical Methods for Two-phase Incompressible Flows 978 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Preventive Methods for Coastal Protection: Towards the U 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Sirtuins: Methods and Protocols 9781493960453 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Asymptotic Methods in Fluid Mechanics: Survey and Recent 美国库房发货，通常付款后3-5周到货！
¥3033
【预订】Fusion Methods for Unsupervised Learning Ensembles 97836 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Epigenetic Methods in Neuroscience Research 978149392753 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Advanced Methods in Computer Graphics: With Examples in 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Research Methods in Africana Studies 美国库房发货，通常付款后3-5周到货！
¥851.00
【预订】Regression Methods for Medical Research 美国库房发货，通常付款后3-5周到货！
¥828.00
【预订】Research Methods in Interpreting: A Practical Resource 美国库房发货，通常付款后3-5周到货！
¥1669
【预订】Research Methods: Designing and Conducting Research with 美国库房发货，通常付款后3-5周到货！
¥1525
【预订】Numerical Methods and Applications 9783540006084 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540006084 Author 作者 Dimov Format 版本 平装-胶订 Pages Number 页数 580页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-01-31 Language 语种 英语
¥1095
【预订】Integral Methods in Science and Engineering, Volume 1 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319866130 Author 作者 Christian Constanda The University of Tulsa Tulsa OK USA Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2018-08-10 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection
¥1095
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688624 Author 作者 Gilles Barthe Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-29 Shipping Weight 商品重量 427g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of
¥548.00
【预订】Formal Methods and Testing 9783540789161 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540789161 Author 作者 Robert M. Hierons Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-04-08 Shipping Weight 商品重量 593g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal
¥548.00
【预订】Numerical Methods in Sensitivity Analysis and Shape Opti 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Polyhedral Methods in Geosciences 9783030693626 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030693626 Author 作者 Daniele Antonio Di Pietro Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-01-07 Language 语种 其它（含多语） Book Contents 内容简介 The last few years have witnessed a surge in the development and usage of discretization methods supporting general meshes in geoscience applications. The need for general polyhedral meshes in this context can arise in several situations, including the modelling of petroleum reservoirs and basins, CO2and nuclear storage sites, etc. In the above and other situations, classical discretization methods are either not viable or require ad hoc modifications that add to the implementation complexity. Discretization methods able to operate on polyhedral meshes and possibly delivering arbitrary-order approximations constitute in this context a verit
¥1643
【预订】Advanced Methods in Biomedical Signal Processing and Ana 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323859554 Format 版本 平装-胶订 Pages Number 页数 432页 Publisher 出版社 Academic Press Publication Date 出版日期 2022-09-07 Product Dimensions 商品尺寸 9.25 x 7.50 x 0.88 Shipping Weight 商品重量 1.63 Language 语种 其它（含多语）
¥1600
【预订】Modern methods in protein chemistry 9783110095142 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110095142 Format 版本 精装 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 1983-04-01 Language 语种 其它（含多语）
¥1825
海外直订Mixed Methods Research and Culture-Specific Intervention
¥759.00
海外直订医药图书Methods for Analysing and Reporting EQ-5D Data EQ-5D
¥481.00
预订 New Methods of Special Education [ISBN:9783631744208] 【全球购】进口原版图书，约3-6周到达国内后发出
¥679.00
【预订】Research Methods for Public Health 9781526430007 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781526430007 Author 作者 Stuart McClean Format 版本 精装 Pages Number 页数 296页 Publisher 出版社 Sage Publication Date 出版日期 2019-10-07 Language 语种 英语 Book Contents 内容简介 Research Methods for Public Health offers an in-depth introduction to the theories, concepts, approaches and practices, relevant to research methods in a public health setting. Informed by a socio-ecological model of public health, the book uses real world research examples and contemporary social, political and environmental themes of public health that reflect UK and international contexts. The book provides a straightforward approach to developing a research project and applying methods in practical and realistic ways, using an innovative, integrative approach that combines methodologies. The authors have moved away from traditional approaches to research methods, and include chapters
¥1166
【预订】Linear Methods for the Liberal Arts 9781138049215 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138049215 Author 作者 HECKER Format 版本 平装-胶订 Pages Number 页数 450页 Publication Date 出版日期 2018-07-20 Language 语种 英语 Book Contents 内容简介 The Linear Methods textbook covers elementary topics in linear algebra with freshman liberal arts majors as the target audience. Although the textbook includes some theoretical topics, these are covered at an elementary level. In this way, students can have some flavor of the abstract nature of linear algebra without the rigorous approach that would be expected of mathematics majors. We also include proofs of several interesting theorems and properties to give students a justification for some of the results that are presented. However, only selected statements are proved.
¥1153
【预订】Nuclear Methods for Transmutation of Nuclear Waste 97898 美国库房发货，通常付款后3-5周到货！
¥1274
【预订】Aging: Methods and Protocols 9781071605912 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071605912 Author 作者 Sean P Curran Format 版本 精装 Pages Number 页数 300页 Publisher 出版社 Humana Press Publication Date 出版日期 2020-05-14 Language 语种 英语 Book Contents 内容简介 This volume details the impact of aging on biological system and to understand the basis of this diversity with the goal of elucidating mechanisms to optimize health. Chapters guide readers through different animal models and methodologies to examine aging at the organism, tissue, cellular, and molecular levels across the lifespan. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls. Authoritative and cutting-edge, Aging: Methods and Protoco
¥1753
【预订】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 Industrial Critical Systems 978331919 美国库房发货，通常付款后3-5周到货！
¥525.00
【预订】Numerical Methods for Reliability and Safety Assessment 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Advanced Methods in the Evaluation of Nuclear Scattering 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Asymptotic Methods in Equations of Mathematical Physics 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9782881246647 Author 作者 B Vainberg Format 版本 精装 Pages Number 页数 498页 Publisher 出版社 CRC Press Publication Date 出版日期 1989-02-25 Shipping Weight 商品重量 825g Language 语种 英语 Book Contents 内容简介 Provides a single source for both students and advanced researchers on asymptotic methods employed in the linear problems of mathematical physics.
¥3089
预订 Applied Methods and Techniques for Mechatronic Systems 预订商品
¥1095
【预订】Research Methods in Clinical Psychology - an Introductio 美国库房发货，通常付款后3-5周到货！
¥695.00
【预订】Research Methods in Language Policy and Planning 9781118 美国库房发货，通常付款后3-5周到货！
¥635.00
【预订】Computer Methods for Tolerance Design 9789810210588 美国库房发货，通常付款后3-5周到货！
¥812.00
预订 Pulse methods of control alternative voltage 控制交流电压的脉冲方法: 国外库房发货，通常付款后3-5周到货
¥641.00
【预售 按需印刷】Entry mode Methods for Foreign Direct Investment to
¥528.70
【3-6周达】Methods in Neurobiology: Volume 2 [ISBN:9781468438116 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
海外直订Maize: Methods and Protocols 玉米：方法和协议
¥1476
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车