【预订】Formal Methods: 26th International Symposium, FM 2024, M 【全球购】进口原版图书，一般10-12周左右到国内
¥1684
按需印刷Energy Methods in Stress Analysis 预订，预计下单后2-3周左右发货！
¥615.00
按需印刷New Methods of Computing Radial Distribution Functions o 预订，预计下单后2-3周左右发货！
¥1163
预订 Wavelet Methods for Time Series Analysis 时间序列分析的小波方法 9780 国外库房发货，通常付款后3-5周到货
¥879.00
预订 Merged Methods: A Rationale for Full Integration [ISBN:97 【全球购】进口原版图书，约10-12周到达国内后发出
¥578.00
【预订】New Methods in Symmetric Cryptanalysis [ISBN:97838465510 【全球购】进口原版图书，一般10-12周左右到国内
¥1048
【预订】New methods for determining the static and impact hardne 【全球购】进口原版图书，一般10-12周左右到国内
¥476.00
【预订】Optical Methods of Measurement 9781138115491 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138115491 Author 作者 Sirohi, Rajpal Format 版本 平装-胶订 Pages Number 页数 316页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-06-14 Language 语种 其它（含多语）
¥1153
【预订】Concepts, Methods and Applications of Quantum Systems in 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319745817 Author 作者 Wang Format 版本 精装 Pages Number 页数 446页 Publication Date 出版日期 2018-05-05 Language 语种 英语 Book Contents 内容简介 This edited, multi-author volume contains selected, peerreviewed contributions based on the presentations given at the 21th International Workshop on Quantum Systems in Chemistry, Physics, and Biology (QSCP-XXI), held in?Vancouver, Canada, in July 2016.?This book is primarily aimed at scholars, researchers and graduate students working at universities and scientific laboratories and interested in the structure, properties, dynamics and spectroscopy of atoms, molecules, biological systems and condensed matter.
¥1643
海外直订Research Methods for Science 科学研究方法
¥559.00
海外直订Soft Methods for Integrated Uncertainty Modelling 集成不确定度
¥1988
预订 Basic Methods and Protocols on Sourdough 酸面团的基本方法与协议: 978 国外库房发货，通常付款后3-5周到货
¥1314
【预订】Energy Methods in Continuum Mechanics: Proceedings of th 【全球购】进口原版图书，一般10-12周左右到国内
¥1684
预订 Data, Methods and Theory in the Organizational Sciences: 【全球购】进口原版图书，一般5-8周左右到国内
¥675.00
【预订】Modern Methods of Plant Analysis / Moderne Methoden Der 【全球购】进口原版图书，一般10-12周左右到国内
¥1105
【预订】Formal Methods for Embedded Distributed Systems: How to 【全球购】进口原版图书，一般10-12周左右到国内
¥1105
预订 Quantum Methods in Social Science: A First Course [ISBN:9 【全球购】进口原版图书，一般5-8周左右到国内
¥714.00
英文原版 Sieve Methods Exponential Sums and their Applications i
¥939.00
【预订】Formal Methods at the Crossroads. From Panacea to Founda 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
预订 Seismic Methods and Applications: A Guide for the Detecti 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1017
预订 Hplc Methods for Recently Approved Pharmaceuticals *批准*的高 国外库房发货，通常付款后3-5周到货
¥3407
【预订】Formal Methods for Discrete-Time Dynamical Systems 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319507620 Author 作者 Gol, Ebru Aydin Format 版本 精装 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-15 Language 语种 英语 Book Contents 内容简介 This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is
¥1861
海外直订Formal Methods for Distributed Processing: A Survey of O
¥2171
【预订】Mtor: Methods and Protocols [ISBN:9781493962099 【全球购】进口原版图书，一般10-12周左右到国内
¥1202
预售 按需印刷Methods for the Summation of Series
¥2102.05
【预订】Formal Methods for Industrial Critical Systems: A 美国库房发货，通常付款后3-5周到货！
¥1204
现货Research Methods for Business Students
¥2720
预订 SNAREs: Methods and Protocols 可溶解的N-乙基马来酰亚胺敏感因子附着蛋白受体：方法与 国外库房发货，通常付款后3-5周到货
¥2190
海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
¥662.00
预订 序列求和方法 Methods for the Summation of Series [ISBN:97810321 【全球购】进口原版图书，一般5-8周左右到国内
¥820.00
【预订】Numerical Methods for Unsteady Compressible Flow Problem 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032021836 Author 作者 Birken Format 版本 平装-胶订 Pages Number 页数 246页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-07-24 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.46kg Language 语种 其它（含多语） Book Contents 内容简介 Numerical Methods for Unsteady Compressible Flow Problems is written to give both mathematicians and engineers an overview of the state of the art in the field, as well as of new developments. The focus is on methods for the compressible Navier-Stokes equations, the solutions of which can exhibit shocks, boundary layers and turbulence. The idea of the text is to explain the important ideas to the reader, while giving enough detail and pointers to literature to facilitate implementation of methods and application of concepts. The book covers high order methods in spa
¥692.00
【预订】Lysosomes: Methods and Protocols (Softcover Reprint of t 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493983438 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-07-20 Language 语种 英语
¥1643
海外直订Smart Methods for Environmental Externalities 环境外部性的智能方法
¥1422
【预订】New Sinc Methods of Numerical Analysis 9783030497187 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030497187 Author 作者 Gerd Baumann Format 版本 平装-胶订 Pages Number 页数 404页 Publisher 出版社 Birkh?user Publication Date 出版日期 2022-04-24 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.86 Shipping Weight 商品重量 1.30 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume honors the 80th birthday of Frank Stenger who established new Sinc methods in numerical analysis.The contributions, written independently from each other, show the new developments in numerical analysis in connection with Sinc methods and approximations of solutions for differential equations, boundary value problems, integral equations, integrals, linear transforms, eigenvalue problems, polynomial approximations, computations on polyhedra, and many applications. The approximation methods are exponentially converging compared with standard meth
¥1424
【预订】Mesh Methods for Boundary-Value Problems and Application 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030878085 Author 作者 Ildar B. Badriev Format 版本 精装 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-23 Language 语种 其它（含多语） Book Contents 内容简介 This book gathers papers presented at the 13th International Conference on Mesh Methods for Boundary-Value Problems and Applications, which was held in Kazan, Russia, in October 2020. The papers address the following topics: the theory of mesh methods for boundary-value problems in mathematical physics; non-linear mathematical models in mechanics and physics; algorithms for solving variational inequalities; computing science; and educational systems. Given its scope, the book is chiefly intended for students in the fields of mathematical modeling science and engineering. However, it will also benefit scientists and graduate students interested in these fields.
¥1643
海外直订Toyota Methods and Operating Models: Achieve Business Su
¥719.00
【预订】Agile Methods [ISBN:9783031256479] 【全球购】进口原版图书，一般10-12周左右到国内
¥722.00
预订 Copula Methods in Finance [ISBN:9780470863442] 【全球购】进口原版图书，预计10-12周左右到国内
¥1615
【预订】Formal Methods for Components and Objects [ISBN:97835407 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
【预订】Formal Methods for Executable Software Models: 14th Inte 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
预售 按需印刷 Methods of Fundamental Solutions in Solid
¥1235
【预订】Modern Methods in Operator Theory and Harmonic Analysis 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030267476 Author 作者 Karapetyants Format 版本 精装 Pages Number 页数 419页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-11-01 Language 语种 其它（含多语） Book Contents 内容简介 This proceedings volume gathers selected, peer-reviewed papers from the "Modern Methods, Problems and Applications of Operator Theory and Harmonic Analysis VIII" (OTHA 2018) conference, which was held in Rostov-on-Don, Russia, in April 2018.The book covers a diverse range of topics in advanced mathematics, including harmonic analysis, functional analysis, operator theory, function theory, differential equations and fractional analysis – all fields that have been intensively developed in recent decades. Direct and inverse problems arising in mathematical physics are studied and new methods for solving them are presented. Complex multiparameter objects t
¥1643
【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367579401 Author 作者 James K. Hallenburg Format 版本 平装-胶订 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.89 Language 语种 其它（含多语） Book Contents 内容简介 These three works cover the entire field of formation evaluation, from basic concepts and theories, through standard methods used by the petroleum industry, on to new and exciting applications in environmental science and engineering, hydrogeology, and other fields. Designed to be used individually or as a set, these volumes represent the first comprehensive assessment of all exploration methodologies. No other books offer the breadth of information and range of applications available in this set.
¥692.00
海外直订医药图书Methods for Stability Testing of Pharmaceuticals 药品稳
¥1048
【预订】Numerical Methods in Mechanics of Materials, 3rd ed 9781 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138719163 Author 作者 Ken P. Chong, Arthur P. Boresi, Sunil Saigal and James D. Le Format 版本 精装 Pages Number 页数 340页 Publication Date 出版日期 2017-12-04 Language 语种 英语 Book Contents 内容简介 Although software can be used to model and analyze complex systems, the solution of an engineering problem and the accurate use of numerical results require some physical modeling and an understanding of the assumptions employed. This book provides the grounding in numerical methods necessary to avoid the blind acceptance of results.
¥1691
【预订】Fourier Methods In Imaging 美国库房发货，通常付款后3-5周到货！
¥2315
预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103220 【全球购】进口原版图书，一般5-8周左右到国内
¥1501
【预订】Krylov Methods for Nonsymmetric Linear Systems: From The 【全球购】进口原版图书，一般10-12周左右到国内
¥1684
【预订】Physical Methods in Chemistry and Nano Science. Volume 8 【全球购】进口原版图书，一般10-12周左右到国内
¥607.00
【预订】TALENs: Methods and Protocols [ISBN:9781493929313 【全球购】进口原版图书，一般10-12周左右到国内
¥1105
预订 Formal Methods in Human-Computer Interaction [ISBN:978052 【全球购】进口原版图书，一般10-12周左右到国内后发出
¥502.00
海外直订Mixed Methods in Criminology 犯罪学中的混合方法
¥2353
海外直订Real Methods in Complex and Cr Geometry: Lectures Given
¥595.00
【预订】Automated Methods in Cryptographic Fault Analysis 978303 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030113322 Author 作者 Breier Format 版本 精装 Pages Number 页数 320页 Publication Date 出版日期 2019-04-14 Language 语种 英语 Book Contents 内容简介 This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated deployment of countermeasures. The third part provides automated evaluation of countermeasures against fault attacks. Finally, the fourth part focuses on automating fault attack experiments. The presented methods enable software developers, circuit designers, and cryptographers to test and harden their products.
¥1095
【预订】Clustering Methods for Big Data Analytics: Techniques, T 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030074197 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-04-26 Language 语种 英语
¥1643
海外直订Formal Methods in Computer-Aided Design: Third Internati
¥1325
海外直订Modern Methods for Musicology 现代音乐学方法
¥2353
【预售 按需印刷】Research Methods in Educational Studies
¥606.05
Research Methods in Second Language Acquisition - a Practic. 国外库房发货, 通常付款后2-3周到货
Product Details 基本信息 ISBN-13 书号 9781444334272 Author 作者 Alison Mackey Format 版本 平装-胶订 Pages Number 页数 334页 Publication Date 出版日期 2011-12-02 Language 语种 英语 Book Contents 内容简介 "Research Methods in Second Language Acquisition: A Practical Guide"is an informative guide to research design and methodology for graduate students and scholars. Each chapter of this volume offers background, step-by-step guidance, and relevant studies t
¥576.00
【预订】Formal Methods and Software Engineering: 24th Internatio 【全球购】进口原版图书，一般10-12周左右到国内
¥722.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车