【3-6周达】Formal Methods and Software Engineering: 24th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【预订】Spectral Methods for Operators of Mathematical Physics 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783034896320 Author 作者 Jas Format 版本 平装-胶订 Pages Number 页数 244页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2012-10-24 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 800g Language 语种 英语 Book Contents 内容简介 This book presents recent results in the following areas: spectral analysis of one-dimensional Schroedinger and Jacobi operators, discrete WKB analysis of solutions of second order difference equations, and applications of functional models of non-selfadjoint operators.
¥1643
【3-6周达】Field Methods for Petroleum Geologists [ISBN:97836420 【全球购】进口原版图书，一般3-6周左右到国内
¥916.00
【预订】Spectral Methods in Quantum Field Theory 9783642001383 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642001383 Author 作者 Noah Graham Middlebury College Dept. Physics Middlebury V Format 版本 精装 Pages Number 页数 182页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-05-08 Shipping Weight 商品重量 461g Language 语种 英语 Book Contents 内容简介 In this monograph we apply scattering theory methods to calculations in quantum eld theory, with a particular focus on properties of the quantum vacuum. These methods will provide e?cient and reliable solutions to a - riety of problems in quantum ?eld theory. Our approach will also elucidate in a concrete context many of the subtleties of quantum ?eld theory, such as divergences, regularization, and renormalization, by connecting them to more familiar results in quantum mechanics. We will use tools of scattering theory to characterize the spectrum of energyeigenstatesinapotentialbac
¥548.00
【3-6周达】Lectin Methods and Protocols [ISBN:978161737024 【全球购】进口原版图书，一般3-6周左右到国内
¥1675
【预订】Asymptotic Methods in Stochastics 9780821835616 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821835616 Author 作者 Lajos Horváth Format 版本 精装 Pages Number 页数 530页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2004-12-07 Language 语种 英语 Book Contents 内容简介 This volume, honoring over forty years of Mikl s Cs rg ’s work in probability and statistics, reflects the state of current research. It offers a comprehensive collection of surveys introducing new results with complete proofs and expository papers giving an historic overview. Contributions were made by an international group of experts. The book covers the following topics: path properties of stochastic processes, probability theory with applications, complete convergence of renewal counting processes and bootstrap means, weak convergence of random size sums, almost sure stability of weighted maxima, procedures for detecting changes in statisti
¥1885
海外直订Modern Methods for Affordable Clinical Gait Analysis: Th
¥1351
【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030549930 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 523页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-13 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2
¥548.00
【预售 按需印刷】Research Methods and Techniques
¥802.40
【预订】Assessment Methods in Statistical Education: An Internat 美国库房发货，通常付款后3-5周到货！
¥1050
【预订】Research Methods in Physical Education and Youth Sport 9 美国库房发货，通常付款后3-5周到货！
¥738.00
【预订】Physical Methods of Chemistry Second Edition 美国库房发货，通常付款后3-5周到货！
¥9378
【预订】Difference Methods for Singular Perturbation Problems 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367386825 Author 作者 Grigory I. Shishkin and Lidia P. Shishkina Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-08-30 Language 语种 英语 Book Contents 内容简介 This book presents a systematic, detailed development of approaches to construct uniformly convergent finite difference schemes for wide classes of singularly perturbed boundary value problems. The first part of the book explores boundary value problems for elliptic and parabolic reaction-diffusion and convection-diffusion equations in n-dimensional domains with smooth and piecewise-smooth boundaries. Containing material published mainly in the last four years, the second section focuses on problems with boundary layers and additional singularities generated by nonsmooth data, unboundedness of the domain, and the perturbation vector par
¥813.00
【预订】Computer Methods, Part B 美国库房发货，通常付款后3-5周到货！
¥2239
【预订】Research Methods and Statistics in Psychology 9781138708 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138708952 Author 作者 COOLICAN Format 版本 精装 Pages Number 页数 826页 Publisher 出版社 Routledge Publication Date 出版日期 2018-11-29 Language 语种 英语 Book Contents 内容简介 The seventh edition of Research Methods and Statistics in Psychology provides students with the most readable and comprehensive survey of research methods, statistical concepts and procedures in psychology today. Assuming no prior knowledge, this bestselling text takes you through every stage of your research project giving advice on planning and conducting studies, analysing data and writing up reports.The book provides clear coverage of experimental, interviewing and observational methods, psychological testing, qualitative methods and analysis and statistical procedures which include nominal level tests, multi-factorial ANOVA designs, multiple regression, log linear analysis, and factor
¥2185
【预订】Molecular Methods in Plant Pathology 美国库房发货，通常付款后3-5周到货！
¥3616
【预订】Molecular Methods in Developmental Biology: Xenopus and 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Marketing Methods and Policies 9781143780035 美国库房发货，通常付款后3-5周到货！
¥493.00
【预订】Numerical Methods for Engineers and Scientists, Second E 美国库房发货，通常付款后3-5周到货！
¥1733
【预订】Antiviral Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
【3-6周达】Methods in Computational Chemistry: Volume 2 Relativi 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Various Methods of Electrolytic Mitigation 美国库房发货，通常付款后3-5周到货！
¥748.00
【预售 按需印刷】Synthetic Methods, Chemistry and Anticonv 北京发货，付款后10天内发货
¥1059
海外直订Modern Methods of Reflector Antenna Analysis and Design
¥1341
【预订】Numerical Methods in Industrial Forming Processes 978905 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789054100874 Format 版本 精装 Pages Number 页数 928页 Publisher 出版社 CRC Press Publication Date 出版日期 1992-01-01 Shipping Weight 商品重量 1764g Language 语种 其它（含多语） Book Contents 内容简介 A collection of papers on numerical or physical problems relating to numerical method in industrial forming processes. It also presents examples of computer code simulation of specific processes, such as rolling, extrusion, sheet forming, polymer ...
¥1510
【预订】Operator Methods in Wavelets, Tilings, and Frames 978147 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781470410407 Author 作者 Veronika Furst Format 版本 平装-胶订 Pages Number 页数 177页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2014-10-08 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the AMS Special Session on Harmonic Analysis of Frames, Wavelets, and Tilings, held April 13-14, 2013, in Boulder, Colorado. Frames were first introduced by Duffin and Schaeffer in 1952 in the context of nonharmonic Fourier series but have enjoyed widespread interest in recent years, particularly as a unifying concept. Indeed, mathematicians with backgrounds as diverse as classical and modern harmonic analysis, Banach space theory, operator algebras, and complex analysis have recently worked in frame theory. Frame theory appears in the context of wavelets, spectra and tilings, sampling theory, and more
¥1614
【3-6周达】Kernel Methods for Machine Learning with Math and Pyt 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
【3-6周达】Schwarz Methods and Multilevel Preconditioners for Bo 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【3-6周达】Golgi: Methods and Protocols [ISBN:9781071626412] 【全球购】进口原版图书，一般3-6周左右到国内
¥2444
【预订】Formal Methods in Systems Biology 9783540684107 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540684107 Author 作者 Jasmin Fisher Format 版本 平装-胶订 Pages Number 页数 139页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-26 Shipping Weight 商品重量 248g Language 语种 英语 Book Contents 内容简介 ThisvolumecontainstheproceedingsoftherstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4–5, 2008. While there are several venues that cover computational methods in systems biology,there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci?cation, development and veri?cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways
¥548.00
【预订】Formal Methods and Models for System Design 978144195464 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441954640 Author 作者 Gupta Format 版本 平装-胶订 Pages Number 页数 372页 Publisher 出版社 Springer US Publication Date 出版日期 2011-12-14 Language 语种 英语 Book Contents 内容简介 Perhaps nothing characterizes the inherent heterogeneity in embedded sys? tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre? sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conceptualization, mod? art, though eling, opt
¥1751
【预售 按需印刷】Icp Design Methods for Driven Piles in Sands and Cl 北京发货，付款后10天内发货
¥758.44
预订Modern Methods of Teaching 预订，预计下单后2-3周左右发货！
¥1072
【预订】Modern Methods in Crop Protection Research 美国库房发货，通常付款后3-5周到货！
¥2015
【预订】Numerical Methods in Geomechanics: Proceedings of 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Hybrid Methods in Pattern Recognition 美国库房发货，通常付款后3-5周到货！
¥1296
【预订】Analytical Methods for Food Additives 美国库房发货，通常付款后3-5周到货！
¥2607
【预订】Asymptotic Methods in the Buckling Theor 美国库房发货，通常付款后3-5周到货！
¥1440
【预订】Analytical Methods for Heat Transfer and Fluid Flow 美国库房发货，通常付款后3-5周到货！
¥1417
【预订】Geometric Methods in Bio-Medical Image Processing 美国库房发货，通常付款后3-5周到货！
¥1095
【预售 按需印刷】ESTIMATION METHODS IN MULTILEVEL STRUCTUR
¥1046.35
¥2466.7
海外直订Formal Methods for Embedded Distributed Systems: How to
¥1033
海外直订NMR Methods for Characterization of Synthetic an... 合成聚合
¥2186
¥1603
海外直订Modern Methods for Business Research 商业研究的现代方法
¥801.00
【预订】Research Methods in Practice: Strategies for De*ion and 美国库房发货，通常付款后3-5周到货！
¥763.00
海外直订EEG Methods for the Psychological Sciences 心理科学的脑电图方法
¥2497
海外直订医药图书Methods of Partial Deafness Treatment 部分耳聋的治疗方法
¥1225
海外直订Modern Methods for Business Research 现代商业研究方法
¥1587
海外直订Formal Methods for Industrial Critical Systems: 29th Int
¥642.00
海外直订Formal Methods and Testing: An Outcome of the Fortest Ne
¥553.00
【预订】Modern Methods in Equilibrium Statistical Mechanics 9789 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789971966270 Author 作者 Rasetti M Format 版本 精装 Pages Number 页数 270页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1986-06-01 Shipping Weight 商品重量 602g Language 语种 其它（含多语） Book Contents 内容简介 This book consists of a set of lecture notes on graduate courses in Analytical Mechanics and Statistical Mechanics which the author successively gave at the University of Miami, and at the University and Polytechnic of Turin over the past decade. The book centers on the idea that st
¥720.00
海外直订Basic Methods and Protocols on Sourdough Basic Methods a
¥1540
海外直订Tracer Methods in Hormone Research 激素研究中的示踪方法
¥1033
海外直订Formal Methods and Software Engineering: 9th Internation
¥553.00
海外直订Formal Methods for Software Engineering: Languages, Meth
¥784.00
【预订】Numerical Methods in Astrophysics: An Introduction (Seri 美国库房发货，通常付款后3-5周到货！
¥1356
【预订】Energy Methods and Finite Element Techniques 97803238866 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323886666 Author 作者 Jweeg Muhsin Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Elsevier Publication Date 出版日期 2021-09-28 Product Dimensions 商品尺寸 9.25 x 7.50 x 1.19 Shipping Weight 商品重量 2.20 Language 语种 其它（含多语）
¥2559
【预订】Research Methods in Performance Studies 9781138486737 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138486737 Format 版本 平装-胶订 Pages Number 页数 252页 Publisher 出版社 Routledge Publication Date 出版日期 2023-05-05 Product Dimensions 商品尺寸 246x174 mm Language 语种 其它（含多语） Book Contents 内容简介 This Handbook provides an overview of research and methods in performance studies. It examines ways of making performance, researching performance cultures, researching performers who themselves are engaged in research, and conducting research in the context of enduring and emergent themes of performance studies inquiry. The volume covers practice and research in four key areas of performance studies: 1) Critical examination of a conspicuous performance as an artefact, 2) Metaphoric extension of "performance" as a heuristic for analyzing dimensions in everyday life, 3) Using performance as a mode of inquiry into a given phenomenon, and 4) Construct
¥603.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车