【预订】Newton Methods for Nonlinear Problems 9783540210993 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540210993 Author 作者 Deuflhard Format 版本 精装 Pages Number 页数 424页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-04-26 Language 语种 英语 Book Contents 内容简介 This book deals with the efficient numerical solution of challenging nonlinear problems in science and engineering, both in finite dimension (algebraic systems) and in infinite dimension (ordinary and partial differential equations). Its focus is on local and global Newton methods for direct problems or Gauss-Newton methods for inverse problems. The term ’affine invariance’ means that the presented algorithms and their convergence analysis are invariant under one out of four subclasses of affine transformations of the problem to be solved. Compared to traditional textbooks, the distinguishing affine invariance approach leads to shorter theorems and proofs and permits
¥1205
【预订】Discrete Methods in Epidemiology 9780821843796 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821843796 Author 作者 James Abello Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2007-06-07 Language 语种 英语 Book Contents 内容简介 Studies of the spread and containment of disease rely at heart on a variety of mathematical and computational techniques. This collection aims to introduce the fundamentals of epidemiology and to showcase contemporary work using discrete mathematical techniques. Introductory chapters explain the fundamental concepts of epidemiology, the basic tools provided by mathematics and computer science, and some of the outstanding open problems in the area. Contributed articles then highlight particular problems in monitoring disease outbreaks, vaccination strategies, and modelling disease survival factors, and successfully apply techniques such as for
¥1231
海外直订Formal Methods for Safety and Security 安全与保安的正式方法
¥1337
【预订】Assessment Methods in Statistical Education: An Internat 美国库房发货，通常付款后3-5周到货！
¥1050
【预订】Physical Methods of Chemistry Second Edition 美国库房发货，通常付款后3-5周到货！
¥9378
【3-6周达】Soft Methods for Data Science [ISBN:9783319429717] 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
海外直订Field Methods for Geologists and Hydrogeologists 地质学家和水文
¥1988
【3-6周达】Formal Methods for Components and Objects: 11th Inter 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
【3-6周达】Survey Methods Workbook: From Design to Analysis [ISB 【全球购】进口原版图书，一般3-6周左右到国内
¥1163
【预订】Geometric Methods in Physics XXXVII: Workshop and Summer 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030340742 Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Birkhauser Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 870g Language 语种 其它（含多语）
¥1643
【3-6周达】Malaria Methods and Protocols [ISBN:9781617372056] 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【3-6周达】Methods of Studies of Integro-Differential Equations 【全球购】进口原版图书，一般3-6周左右到国内
¥532.00
【3-6周达】Formal Methods: Foundations and Applications: 20th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
海外直订医药图书Methods in Chemosensory Research 化学感觉研究方法
¥2648
海外直订Key Methods and Concepts in Condensed Matter Physics: Gr
¥1146
【预订】Assessment Methods for Student Affairs 美国库房发货，通常付款后3-5周到货！
¥522.00
海外直订Cilia: Methods and Protocols 纤毛：方法和协议
¥629.00
海外直订Formal Methods in Programming and Their Applications: In
¥662.00
海外直订Formal Methods in Computer-Aided Design: Second Internat
¥662.00
【预订】Numerical Methods in Geotechnical Engineering IX, Volume 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138332034 Author 作者 Edited by Manuel de Matos Fernandes Format 版本 精装 Pages Number 页数 900页 Publisher 出版社 CRC Press Publication Date 出版日期 2018-06-19 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. This work is the second volume of NUMGE 2018.
¥2780
预订 Formal Methods in Computer Science 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781498775328 Author 作者 Jiacun Wang and William Tepfenhart Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 20190702 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-lev
¥949.00
【预订】Numerical Methods and Methods of Approximation in Scienc 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367136727 Author 作者 Karan S. Surana Format 版本 精装 Pages Number 页数 498页 Publication Date 出版日期 2018-11-02 Language 语种 英语 Book Contents 内容简介 This unique textbook focuses on building a theoretical foundation for understanding and applying numerical methods in engineering. Readers will learn to structure sequences of operations into programs in any language; this approach builds a deep understanding of the methods and how best to apply them, backed by numerous examples and problems.
¥1899
【预订】Energy Methods in Dynamics 美国库房发货，通常付款后3-5周到货！
¥1767
【预订】Models and Methods Used in the Analysis of 美国库房发货，通常付款后3-5周到货！
¥1384
【预订】Analytic Methods for Design Practice 美国库房发货，通常付款后3-5周到货！
¥1126
【预订】Seismic Methods 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods for Components and Objects: 9th 美国库房发货，通常付款后3-5周到货！
¥548.00
海外直订Direct Methods for Solving Macromolecular Structures 求解大
¥2638
Elementary Methods of Graph Ramsey Theory 9783031127618 现货图书
Product Details 基本信息 ISBN-13 书号 9783031127618 Author 作者 Li Yusheng Format 版本 精装 Pages Number 页数 346页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.81 Shipping Weight 商品重量 1.50 Language 语种 其它（含多语）
¥1156
【预订】Research Methods for Interior Design 9780367139445 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367139445 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.
¥1958
【预订】Formal Methods and Software Engineering 9789819975839 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789819975839 Author 作者 Yi Li Format 版本 平装-胶订 Pages Number 页数 288页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-23 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.
¥711.00
【预订】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
【预售 按需印刷】Narrative Methods for Organizational & Co
¥816.00
【预售 按需印刷】Research Methods in Accounting
¥1882.75
【预订】Dry Mix Methods for Deep Soil Stabilization 978905809108 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789058091086 Author 作者 Edited by H. Bredenberg, B.B. Broms and G. Holm Format 版本 精装 Pages Number 页数 368页 Publication Date 出版日期 1999-01-01 Shipping Weight 商品重量 816g Language 语种 英语 Book Contents 内容简介 It is a truism that we can no longer freely pick areas with the most suitable ground conditions for building purposes. Soils must often be improved in order to take the loads from buildings, roads and other objects. This volume contains papers cov...
¥3164
海外直订Formal Methods: Foundations and Applications: 21st Brazi
¥768.00
预订 Fuzzy Methods for Customer Relationship Management and Ma 【全球购】进口原版图书，一般5-8周左右到国内
¥2259
【3-6周达】Formal Methods for Components and Objects [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods for Industrial Critical Systems [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Chemical Methods for Processing Nanomaterials 9780367085 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367085889 Format 版本 精装 Pages Number 页数 296页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-03-16 Language 语种 英语 Book Contents 内容简介 This book discusses the latest advancements in the processing of various types of nanomaterials. The main objective of the book is to provide the reader with a comprehensive review of the latest advances in synthesis as well as processing of almost all kinds of nanomaterials using various physical and chemical methods.
¥2305
【3-6周达】Formal Methods: Foundations and Applications: 14th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Passive Methods as a Solution for Improving Indoor En 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】The Methods and Materials of Demography [ISBN:9780126 【全球购】进口原版图书，一般3-6周左右到国内
¥2464
【3-6周达】Modern Methods of Geochemical Analysis, 地质学 [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Methods in Membrane Biology [ISBN:9781475758191] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783540 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】PCR: Methods Express [ISBN:9781904842286] 【全球购】进口原版图书，一般3-6周左右到国内
¥1109
【预订】Geological Methods in Mineral Exploration and Mining 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780412800108 Author 作者 Marjoribanks Format 版本 精装 Pages Number 页数 115页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 1997-07-31 Language 语种 英语 Book Contents 内容简介 This book is written as a practical field manual to effective. Each geolOgist has to develop his/her be used by geologists engaged in mineral explo? own techniques and will ultimately be judged on ration. It is also hoped that it will serve as a text results, not the process by which these results and reference for students in Applied Geology were reached. In mineral exploration, the only courses of universities and colleges. The book ’right’ way of doing anything is the way that aims to outline some of the practical skills that locates ore in the quickest and most cost-effective turn the graduate geologist into an explo? manner. It is preferable, however, for an individ
¥1643
预订Research Methods: A Practical Guide for Students and Resea 【全球购】进口原版图书，一般5-8周左右到国内
¥526.00
【预订】Numerical Methods in Sensitivity Analysis and Shape 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Advanced Methods Of Biomedical Signal Processing 美国库房发货，通常付款后3-5周到货！
¥1623
【预订】Physical Methods to Characterize Pharmaceutical 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Modern Methods Of Polymer Characterization 美国库房发货，通常付款后3-5周到货！
¥4994
【预订】Numerical Methods for Nonlinear Engineering Models 美国库房发货，通常付款后3-5周到货！
¥2738
【预订】Integral Methods in Science and Engineering, Volume 1 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319593838 Author 作者 Constanda Format 版本 精装 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2017-09-18 Shipping Weight 商品重量 707g 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 will be of interest to researcher
¥1095
【预订】Formal Methods Teaching 9783030324407 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030324407 Author 作者 Brijesh Dongol Format 版本 平装-胶订 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-16 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers werecarefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
¥548.00
【预订】Formal Methods for Distributed Processing: A Survey 美国库房发货，通常付款后3-5周到货！
¥1783
【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498772655 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 376页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-09-02 Language 语种 英语 Book Contents 内容简介 The bookprovides an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.
¥2035
【预订】Geometric Methods In Elastic Theory Of Membranes In Liqu 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789813227729 Author 作者 Tu Zhanchun et Al Format 版本 精装 Pages Number 页数 280页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 2017-12-01 Language 语种 英语 Book Contents 内容简介 This is the second edition of the book Geometric Methods in Elastic Theory of Membranes in Liquid Crystal Phases published by World Scientific in 1999. This book gives a comprehensive treatment of the conditions of mechanical equilibrium and the deformation of membranes as a surface problem in differential geometry. It is aimed at readers engaging in the field of investigation of the shape formation of membranes in liquid crystalline state with differential geometry. The material chosen in this book is mainly limited to analytical results. The main changes in this second edition are: we add a chapter (Chapter 4) to explain how to calculate variational problems on
¥1433
【预售 按需印刷】Innovative Methods for Analyzing and Forecasting Wo
¥1073.55
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车