【3-6周达】Formal Methods for Mobile Computing: 5th Internationa 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods: An Introduction to Symbolic Logic and 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Mixed Methods in Ethnographic Research: Historical Perspe 【全球购】进口原版图书，一般5-8周左右到国内
¥663.00
【3-6周达】Research Methods for Anthropological Studies of Food 【全球购】进口原版图书，一般3-6周左右到国内
¥5882
海外直订Agile Methods: 11th Brazilian Workshop, Wbma 2021, Virtu
¥861.00
【3-6周达】Digital Methods and Remote Sensing in Archaeology: Ar 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【预售 按需印刷】BAYESIAN METHODS FOR STRUCTURA
¥1672.8
【3-6周达】Formal Methods and Software Engineering: 14th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Formal Methods for Nonmonotonic and Related Logics Vol. I 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥876.00
【3-6周达】Bilevel Methods for Image Reconstruction [ISBN:978163 【全球购】进口原版图书，一般3-6周左右到国内
¥1212
【3-6周达】Seismic Methods in Uranium Exploration [ISBN:97838433 【全球购】进口原版图书，一般3-6周左右到国内
¥1048
¥1199
海外直订Formal Methods for Components and Objects
¥662.00
海外直订Modern Methods in Scientific Computing and Applications
¥1325
按需印刷Robust Methods for Data Reduction 预订，预计下单后2-3周左右发货！
¥1197
【3-6周达】Formal Methods for the Analysis of Biomedical Ontolog 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Test Methods for Explosives [ISBN:9781461269045] 【全球购】进口原版图书，一般3-6周左右到国内
¥3011
预订 New Methods of Market Research and Analysis 市场研究与分析新方法: 9 国外库房发货，通常付款后3-5周到货
¥1417
海外直订Formal Methods: Foundations and Applications: 26th Brazi
¥724.00
【预订】Formal Methods for Computational Systems Biology 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688921 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 527页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-20 Shipping Weight 商品重量 819g Language 语种 英语
¥548.00
【预订】Formal Methods in Computer-Aided Design 9783540001164 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540001164 Author 作者 Aagaard Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-10-23 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional verication has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, t
¥548.00
【预订】Formal Methods for Industrial Critical Systems 978354079 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540797067 Author 作者 Stefan Leue Universit?t Konstanz FB Informatik und Konstan Format 版本 平装-胶订 Pages Number 页数 254页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-19 Shipping Weight 商品重量 412g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods an
¥548.00
海外直订String Methods for Beginners 面向初学者的字符串方法
¥626.00
【预订】Newton Methods for Nonlinear Problems 9783642238987 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642238987 Author 作者 Peter Deuflhard Format 版本 平装-胶订 Pages Number 页数 424页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-09-16 Shipping Weight 商品重量 670g 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 appro
¥821.00
【预订】Analytical Methods for Problems of Molecular Transport 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048174621 Author 作者 I.N. Ivchenko Format 版本 平装-胶订 Pages Number 页数 409页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-11-30 Language 语种 英语 Book Contents 内容简介 The transport of a given species (atoms, molecules, neutrons, photons, etc. ), either through its own kind or through some other host medium, is a problem of considerable interest. Practical applications may be found in many technologically and environmentally relevant areas such as the transport of neutrons in a nuclear power reactor or in a nuclear weapon, the transport of ions and electrons in plasma, the transport of photons which constitutes radiative heat transfer in various industrial, environmental and space applications, the transport of atoms or molecules of one species either through itself or as one component of a multi-component gas mixture, and the inte
¥548.00
【预订】Advanced Methods for Knowledge Discovery from Complex Da 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781849969918 Author 作者 Maulik Ujjwal Format 版本 平装-胶订 Pages Number 页数 369页 Publisher 出版社 Springer London Publication Date 出版日期 2010-10-22 Language 语种 英语 Book Contents 内容简介 The growth in the amount of data collected and generated has exploded in recent times with the widespread automation of various day-to-day activities, advances in high-level scientic and engineering research and the development of e?cient data collection tools. This has given rise to the need for automa- callyanalyzingthedatainordertoextractknowledgefromit,therebymaking the data potentially more useful. Knowledge discovery and data mining (KDD) is the process of identifying valid, novel, potentially useful and ultimately understandable patterns from massive data repositories. It is a multi-disciplinary topic, drawing from s- eral ?elds including expert systems, machine l
¥1643
预订 Formal Methods for Autonomous Systems 国外库房发货，通常付款后3-5周到货
¥1101
【预订】Narrative Methods for Organizational & Communication Res 美国库房发货，通常付款后3-5周到货！
¥1715
【预订】Forensic Methods: Excavation for the Archaeologist and I 美国库房发货，通常付款后3-5周到货！
¥629.00
【预订】Research Methods for Clinical and Health Psychology Y978 美国库房发货，通常付款后3-5周到货！
¥1305
预订 New Methods of Literacy Research [ISBN:9780415624435] 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
【预订】Research Methods for Rural Criminologists 9780367632885 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367632885 Author 作者 Edited by Ralph A. Weisheit Format 版本 精装 Pages Number 页数 264页 Publisher 出版社 Routledge Publication Date 出版日期 2022-04-29 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Conducting rural criminological research exposes researchers to concerns such as absence or inadequate official data about crime and superficial rural-urban comparisons, rural isolation and distance from the researchers’ office to the study site, and lack of services or access to justice. This distinct cultural context means that studying rural crime requires creatively adapting existing research methods. Conducting research about or in rural settings requires unique researcher preparation, as everything from defining the space at the conception of a project, to collecting and analyzing data
¥1958
【预订】Silac: Methods and Protocols 9781071628652 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071628652 Format 版本 平装-胶订 Pages Number 页数 286页 Publisher 出版社 Humana Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 10.00 x 7.00 x 0.63 Shipping Weight 商品重量 1.15磅 Language 语种 其它（含多语）
¥1424
【预订】Conformal Methods in General Relativity 9781009291330 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781009291330 Author 作者 Juan A. Valiente Kroon Format 版本 平装-胶订 Pages Number 页数 622页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-02-01 Product Dimensions 商品尺寸 244x170mm Language 语种 其它（含多语） Book Contents 内容简介 This book offers a systematic exposition of conformal methods and how they can be used to study the global properties of solutions to the equations of Einstein’s theory of gravity. It shows that combining these ideas with differential geometry can elucidate the existence and stability of the basic solutions of the theory. Introducing the differential geometric, spinorial and PDE background required to gain a deep understanding of conformal methods, this text provides an accessible account of key results in mathematical relativity over the last thirty years, including the stability of de S
¥621.00
【预售 按需印刷】Icp Design Methods for Driven Piles in Sands and Cl 北京发货，付款后10天内发货
¥758.44
【预订】Physical Methods in Chemistry and Nano Science. Volume 2 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781838008550 Author 作者 Barron Andrew Format 版本 平装-胶订 Pages Number 页数 274页 Publisher 出版社 Midas Green Innovations, Ltd Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.71 Shipping Weight 商品重量 1.13 Language 语种 其它（含多语）
¥1138
¥2269.5
预订 New Methods in Financial Modeling: Explorations and Appli 国外库房发货，通常付款后3-5周到货
¥1199
【预订】Formal Methods: Foundations and Applications 97830314934 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031493416 Author 作者 Haniel Barbosa Format 版本 平装-胶订 Pages Number 页数 153页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-12-19 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.38 Shipping Weight 商品重量 0.56磅 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
¥603.00
【预订】Formal Methods for Software Engineering 9783030387990 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030387990 Author 作者 Markus Roggenbach Format 版本 精装 Pages Number 页数 528页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-16 Language 语种 其它（含多语） Book Contents 内容简介 Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the
¥821.00
预订 Modern Methods of Plant Analysis / Moderne Methoden der P 国外库房发货，通常付款后3-5周到货
¥548.00
【预订】Research Methods for Understanding Child Second Language 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367417024 Format 版本 精装 Pages Number 页数 216页 Publisher 出版社 Routledge Publication Date 出版日期 2022-09-15 Product Dimensions 商品尺寸 229 x 152 mm (6 x 9) Language 语种 其它（含多语） Book Contents 内容简介 Butler;and Huang’s book is one of the first to focus on second language (L2) development research methods and techniques specifically targeted at children of primary and pre-primary years.The last decade has seen a growing number of;L2 studies of children aged 4–12, a demographic with special developmental characteristics that confound research methods designed for studying adults. Written by experts from a variety of disciplines, this book covers major research methods and techniques in existing L2 development research, including observations, surveys, interviews, introspective methods, speech production methods, receptive methods, eye trac
¥1958
【预订】Standard Methods of Chemical Analysis: A Manual of Analy 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781015910720 Author 作者 Scott Format 版本 精装 Pages Number 页数 680页 Publisher 出版社 Legare Street Press Publication Date 出版日期 2022-10-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.44 Shipping Weight 商品重量 2.47 Language 语种 其它（含多语）
¥628.00
海外直订Tensor Methods in Statistics: Monographs on Statistics a
¥836.00
【预订】Integral Methods in Science and Engineering 978303134098 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031340987 Author 作者 Christian Constanda Format 版本 精装 Pages Number 页数 390页 Publisher 出版社 Birkh?user Publication Date 出版日期 2023-09-07 Language 语种 其它（含多语） Book Contents 内容简介 This volume contains a collection of articles on state-of-the-art developments in the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Seventeenth International Conference on Integral Methods in Science and Engineering, held virtually in July 2022, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical, electrical, and petroleum engineering, as well as graduate students in these disciplines and other professionals for whom integration is an
¥2409
【预订】Numerical Methods for Scientists and Engineers 978999498 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789994988327 Author 作者 Sharma Format 版本 平装-胶订 Pages Number 页数 110页 Publisher 出版社 Eliva Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.23 Shipping Weight 商品重量 0.35磅 Language 语种 其它（含多语）
¥551.00
【预订】Applied Methods in Design and Construction of Bridges, H 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781803555553 Author 作者 Khaled Ghaedi Format 版本 精装 Pages Number 页数 164页 Publisher 出版社 Intech Publication Date 出版日期 2022-12-07 Language 语种 其它（含多语） Book Contents 内容简介 This book presents a comprehensive overview of bridge and road engineering. Apart from bridge structures, roads and highways are integral to the advancement of cities. The lack of quantifiable, sustainable construction methods creates gaps in sustainability knowledge, leading to public, environmental, and financial dissatisfaction with completed highways and urban roads. This book discusses the key points in the design and construction assessment of bridges, highways, and roads. Chapters discuss such topics as bridge optimization techniques, risk assessment of roads, highway management systems, and challenges in highway construction. The book provides detailed insight into
¥1571
【预订】Efficient Methods for Valuing Interest Rate Derivatives 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781852333041 Author 作者 Pelsser Format 版本 精装 Pages Number 页数 172页 Publisher 出版社 Springer London Publication Date 出版日期 2000-07-31 Language 语种 英语 Book Contents 内容简介 Efficient Methods for Valuing Interest Rate Derivatives provides an overview of the models that can be used for valuing and managing interest rate derivatives. Split into two parts, the first discusses and compares the traditional models, such as spot- and forward-rate models, while the second concentrates on the more recently developed Market models. Unlike most of his competitors, the author’s focus is not only on the mathematics: Antoon Pelsser draws on his experience in industry to explore the practical issues, such as the implementation of models, and model selection. Aimed at people with a solid quantitative background, this book will be of particular interest to risk managers
¥1424
【预订】Geomatic Methods for the Analysis of Data in the Earth S 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540674764 Author 作者 Dermanis Format 版本 平装-胶订 Pages Number 页数 262页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-06-21 Language 语种 英语 Book Contents 内容简介 Geomatics is an amalgam of methods, algorithms and practices in handling data referred to the Earth by informatic tools. This book is an attempt to identify and rationally organize the statistical-mathematical methods which are common in many fields where geomatics is applied, like geodesy, geophysics and, in particular, the field of inverse problems and image analysis as it enters into photogrammetry and remote sensing.These lecture notes aim at creating a bridge between people working in different disciplines and making them aware of a common methodological basis.
¥1643
【预订】Numerical Methods for Fractal-Fractional Differential Eq 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032415222 Author 作者 Muhammad Altaf Khan and Abdon Atangana Format 版本 精装 Pages Number 页数 432页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-05-04 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 This book is about the simulation and modeling of novel chaotic systems within the frame of fractal-fractional operators. The methods used, their convergence, stability, and error analysis are given, and this is the first book to offer mathematical modeling and simulations of chaotic problems with a wide range of fractal-fractional operators, to find solutions.Numerical Methods for Fractal-Fractional Differential Equations and Engineering: Simulations and Modeling provides details for stability, convergence, and analysis along with numerical methods and their solution procedures for
¥1628
【预订】Laboratory Methods in Electroanalytical Chemistry 978012 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128159323 Author 作者 Fernandez Abedul Format 版本 平装-胶订 Pages Number 页数 200页 Publisher 出版社 Elsevier Publication Date 出版日期 2019-10-01 Language 语种 英语 Book Contents 内容简介 Laboratory Methods in Dynamic Electroanalysis is a useful guide to introduce analytical chemists to the world of electroanalysis using simple, low-cost methods. As electroanalytical devices have moved from conventional electrochemical cells (10-20 mL) to current cells (1-5 mL) with different materials such as paper, interesting strategies have emerged, including nanostructuration of electrodes, microfluidic cells and biosensing. This book provides detailed, up-to-date procedures for electroanalysis and covers the main trends in electrochemical cells and electrodes, including microfluidic electrodes, paper-based electrochemical devices, microchip electrophoresis with integrate
¥1333
【预订】Research Methods and Solutions to Current Transport Prob 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030276867 Format 版本 平装-胶订 Pages Number 页数 494页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-10-03 Language 语种 英语 Book Contents 内容简介 The book is dedicated as an auxiliary literature for academic staff of universities, research institutes, as well as for students of transport teaching. The aim of the conference was to present the achievements of national and foreign research and scientific centers dealing with the issues of rail, road, air and sea transport in technical and technological aspects, as well as organization and integration of the environment conducting research and education in the discipline of civil engineering and transport. International Scientific Conference Transport of the 21st Century was held in Ryn, Poland, in the 9th–12th of June 2019.The research areas of the conference were as follows:? tran
¥1643
预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥855.72
海外直订Ford Methods and the Ford Shops 福特方法和福特商店
¥581.00
海外直订Real Methods in Complex and Cr Geometry: Lectures Given
¥595.00
海外直订Basic Methods of Structural Geology 构造地质学基本方法
¥2194
预售 按需印刷 Methods for Diseases Diagnostic with Appli 北京发货，付款后10天内发货
¥638.00
【预订】Geometric Methods in Physics 9783034807814 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783034807814 Author 作者 Kielanowski Format 版本 平装-胶订 Pages Number 页数 237页 Publisher 出版社 Springer Basel Publication Date 出版日期 2015-08-08 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 385g Language 语种 英语 Book Contents 内容简介 The Biaowie?a workshops on Geometric Methods in Physics, taking place in the unique environment of the Bia?owie?a natural forest in Poland, are among the important meetings in the field. Every year some 80 to 100 participants both from mathematics and physics join to discuss new developments and to interchange ideas. The current volume was produced on the occasion of the XXXI meeting in 2012. For the first time the workshop was followed by a School on Geometry and Physics, which consisted of advanced lectures for graduate students and young researchers. Selected speakers of the w
¥713.00
【预订】Spectral Methods and Their Applications 9789810233334 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789810233334 Author 作者 Guo Ben-Yu Format 版本 精装 Pages Number 页数 360页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1998-05-05 Shipping Weight 商品重量 613g Language 语种 英语 Book Contents 内容简介 This book presents the basic algorithms, the main theoretical results, and some applications of spectral methods. Particular attention is paid to the applications of spectral methods to nonlinear problems arising in fluid dynamics, quantum mechanics, weather prediction, heat conduct
¥1372
【预订】Iterative Methods for the Solution of Equations 97808284 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780828403122 Author 作者 J. F. Traub Format 版本 精装 Pages Number 页数 310页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1982-01-01 Language 语种 英语 Book Contents 内容简介 From the Preface (1964): "This book presents a general theory of iteration algorithms for the numerical solution of equations and systems of equations. The relationship between the quantity and the quality of information used by an algorithm and the efficiency of the algorithm is investigated. Iteration functions are divided into four classes depending on whether they use new information at one or at several points and whether or not they reuse old information. Known iteration functions are systematized and new classes of computationally effective iteration functions are introduced. Our interest in the efficient use of information is influenced by th
¥779.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车