【预订】Iterative Methods in Combinatorial Optimization 97811070 美国库房发货，通常付款后3-5周到货！
¥1110
预订 Eeg Methods for the Psychological Sciences [ISBN:97814462 【全球购】进口原版图书，约3-6周到达国内后发出
¥911.00
【3-6周达】Modern Methods in Mathematical Physics [ISBN:97898119 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Allergy Methods and Protocols [ISBN:9780896038967] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】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
3-6周达 Energy Methods and Finite Element Techniques: Stress a 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥2420
【预订】Numerical Methods for Nonlinear Estimating 美国库房发货，通常付款后3-5周到货！
¥2729
【预订】Modeling Methods for Marine Science 美国库房发货，通常付款后3-5周到货！
¥1018
【预订】Research Methods for Human-Computer Interaction 美国库房发货，通常付款后3-5周到货！
¥648.00
【预订】Analytic Methods for Diophantine Equations and 美国库房发货，通常付款后3-5周到货！
¥661.00
【预订】Narrative Methods for Organizational & Communication 美国库房发货，通常付款后3-5周到货！
¥548.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
预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥855.72
【预订】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
海外直订Design Methods and Practices for Research of Pro... 项目管理
¥482.00
海外直订Modern Methods of Geochemical Analysis 地球化学分析的现代方法
¥1325
社会网络分析模型与方法 英文原版 Models and Methods in Social Network Analys
¥615.00
【预订】Numerical Methods for Optimal Control Problems with Stat 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540662143 Author 作者 Pytlak Format 版本 平装-胶订 Pages Number 页数 218页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-08-19 Language 语种 英语 Book Contents 内容简介 While optimality conditions for optimal control problems with state constraints have been extensively investigated in the literature the results pertaining to numerical methods are relatively scarce. This book fills the gap by providing a family of new methods. Among others, a novel convergence analysis of optimal control algorithms is introduced. The analysis refers to the topology of relaxed controls only to a limited degree and makes little use of Lagrange multipliers corresponding to state constraints. This approach enables the author to provide global convergence analysis of first order and superlinearly convergent second order methods. Further, the implementatio
¥548.00
预订 Walking Methods: Research on the Move [ISBN:9781138182486 【全球购】进口原版图书，一般5-8周左右到国内
¥568.00
【预订】Algebraic Methods in Statistics and Probability 97808218 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821826874 Author 作者 Marlos A. G. Viana Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2001-12-10 Language 语种 英语 Book Contents 内容简介 Algebraic methods and arguments in statistics and probability are well known, from Gauss’s least squares principle through Fisher’s method of variance decomposition. The relevance of group-theoretic arguments, for example, became evident in the 1980s. Such techniques continue to be of interest today, along with other developments, such as the use of graph theory in modelling complex stochastic systems. This volume is based on lectures presented at the AMS Special Session on Algebraic Methods and Statistics held at the University of Notre Dame (Indiana) and on contributed articles solicited for this volume. The articles are intended t
¥1040
【预订】Effective Methods for Modern Healthcare Service Quality 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466699618 Author 作者 Panagiotis Manolitzas Format 版本 精装 Pages Number 页数 315页 Publisher 出版社 IGI Publishing Publication Date 出版日期 2016-05-30 Product Dimensions 商品尺寸 10 x 7 x 0.8 cm Shipping Weight 商品重量 1770g Language 语种 英语 Book Contents 内容简介 Turbulent changes in worldwide economies and decreases in overall quality of life have led to a re-evaluation of the current state of health services. Improvements in this sector will allow for more efficient healthcare delivery to the public, as well as increased patient satisfaction. Effective Methods for Modern Healthcare Service Quality and Evaluation is an authoritative reference source for the latest research on emerging tools and methodologies for the design of healthcare models, providing expert analyses on trouble-shooting specific problems in the industry and creating
¥1625
【预订】Nuclear Methods in Science and Technology 美国库房发货，通常付款后3-5周到货！
¥2713
【预订】Advanced Methods and Applications in Chemoinformatics 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781609608606 Author 作者 Eduardo A. Castro Format 版本 精装 Pages Number 页数 512页 Publisher 出版社 Engineering Science Reference Publication Date 出版日期 2011-08-31 Language 语种 英语 Book Contents 内容简介 Chemoinformatics is a scientific area that endeavours to study and solve complex chemical problems using computational techniques and methods. The collection of topics in this book aims to reflect the diversity of recent advances in chemoinformatics with a broad perspective which may be useful for scientists as well as for graduate students and engineers. This book presents leading-edge research from around the world in this dynamic field.Advanced Methods and Applications in Chemoinformatics: Research Methods and New Applications provides innovative chapters on the growth of educational, scientific, and industrial research activities among chemists and chemical
¥1669
海外直订Formal Methods in Developmental Psychology: Progress in
¥550.00
【预订】Computer Methods for Circuit Analysis and Design Y978044 美国库房发货，通常付款后3-5周到货！
¥2738
【预订】Laboratory Methods in Food Microbiology 美国库房发货，通常付款后3-5周到货！
¥1301
【预订】Numerical Methods for Experimental Mechanics 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】A Guide to Methods in the Biomedical Sciences Y978038722 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods in Finance Y9780521061698 美国库房发货，通常付款后3-5周到货！
¥687.00
【预订】Level Set Methods and Fast Marching Methods: 美国库房发货，通常付款后3-5周到货！
¥753.00
预订 New Methods in Reading Comprehension Research [ISBN:97811 【全球购】进口原版图书，一般5-8周左右到国内
¥1841
【3-6周达】The Methods of Contemporary Thought [ISBN:97894010358 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预售 按需印刷】Training Methods for Older Adults
¥754.80
【预订】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
¥548.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
【预订】Behavioral Methods in Consciousness Research 97801996888 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780199688890 Author 作者 Overgaard Format 版本 精装 Pages Number 页数 288页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2015-03-26 Language 语种 英语 Book Contents 内容简介 ’Behavioral Methods in Consciousness Research’ is the first book of its kind, providing an overview of methods and approaches for studying consciousness. The chapters are written by leading researchers and experts who describe the methods they actually use in their own studies, along with their pitfalls, problems, and difficulties.
¥1078
【预订】Passive Methods as a Solution for Improving Indoor Envir 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781447123354 Author 作者 Orosa Format 版本 精装 Pages Number 页数 148页 Publisher 出版社 Springer London Publication Date 出版日期 2011-11-06 Shipping Weight 商品重量 409g Language 语种 英语 Book Contents 内容简介 There are many aspects to consider when evaluating or improving an indoor environment; thermal comfort, energy saving, preservation of materials, hygiene and health are all key aspects which can be improved by passive methods of environmental control. Passive Methods as a Solution for Improving Indoor Environments endeavours to fill the lack of analysis in this area by using over ten years of research to illustrate the effects of methods such as thermal inertia and permeable coverings; for example, the use of permeable coverings is a well known passive method, but its effects and ways to improve indoor environments have been rarely analyzed. ?Pass
¥1095
【预订】Spectral Methods 9783642270970 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642270970 Author 作者 Shen Format 版本 平装-胶订 Pages Number 页数 472页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 741g Language 语种 英语 Book Contents 内容简介 Along with finite differences and finite elements, spectral methods are one of the three main methodologies for solving partial differential equations on computers. This book provides a detailed presentation of basic spectral algorithms, as well as a systematical presentation of? basic convergence theory and error analysis for spectral methods. Readers of this book will be exposed to a unified framework for designing and analyzing spectral algorithms for a variety of problems, including in particular high-order differential equations and problems in unbounded domains. The bo
¥1424
【预订】Matrix Methods of Structural Analysis 9780367571269 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367571269 Author 作者 Praveen Nagarajan Format 版本 平装-胶订 Pages Number 页数 368页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 680g Language 语种 英语 Book Contents 内容简介 This book deals with matrix methods of structural analysis for linearly elastic framed structures. It starts with background of matrix analysis of structures followed by procedure to develop force-displacement relation for a given structure using flexibility and stiffness coefficients. The remaining text deals with the analysis of framed structures using flexibility, stiffness and direct stiffness methods. Simple programs using MATLAB for the analysis of structures are included in the appendix.Key FeaturesExplores matrix methods of structural analysis for linearly elastic framed structures Introduces key concepts in the development of
¥611.00
【预订】MicroRNA Methods 美国库房发货，通常付款后3-5周到货！
¥2399
【预订】Social, Methods, and Microeconomics - Contributions to D 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781444350326 Author 作者 Frederic S. Lee Format 版本 精装 Pages Number 页数 274页 Publisher 出版社 Wiley-Blackwell Publication Date 出版日期 2011-07-27 Language 语种 英语 Book Contents 内容简介 This book consists of ten essays which speak to doing economics better. Has an essay on social ecological economics--perhaps the first such essayHas an essay on the creation of money that arises not from markets but from holy debts to deities--a very provocative essayHas an essay on Emily Balch, the first and only economist to get a Nobel prize (all other economists have received the Swedish Bank Prize978144435033300414This book consists of ten essays which speak to doing economics better. Has an essay on social ecol
¥1402
【预订】Modern Methods in Carbohydrate Synthesis 9783718657858 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783718657858 Author 作者 Shaheer H. Khan Format 版本 精装 Pages Number 页数 576页 Publisher 出版社 CRC Press Publication Date 出版日期 1996-03-01 Shipping Weight 商品重量 1424g Language 语种 英语 Book Contents 内容简介 Presenting a sequence of chapters leading from classical methods through to the technology for oligosaccharide synthesis, this book places particular emphasis on the breakthroughs in the field, including emerging technologies for both oligosaccharide and glycoconjugate synthesis.
¥5274
【预售 按需印刷】Practical Methods of Optimization 2e 北京发货，付款后10天内发货
¥1106.65
【预售 按需印刷】 Modern methods in protein chemistry 北京直发，付款后10日内发货
¥1320
【预售 按需印刷】Research Methods in Language P 北京发货，付款后10天内发货
¥513.46
预订Modern Methods of Teaching 预订，预计下单后2-3周左右发货！
¥1072
【预订】Numerical Methods for Unconstrained Optimization and Non 美国库房发货，通常付款后3-5周到货！
¥778.00
【预订】Analytical Methods in Anisotropic Elasticity: With Symbo 美国库房发货，通常付款后3-5周到货！
¥970.00
海外直订Ray Methods for Nonlinear Waves in Fluids and Plasmas 流体
¥2439
预订 按需印刷 Methods for Solving Inverse Problems in Mathematical
¥3320.1
预订 按需印刷 Methods for Neural Ensemble Recordings
¥1992.4
【预订】Diagnostic Methods in the Cardiac Catheterization Labora 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138114111 Author 作者 || Format 版本 平装-胶订 Pages Number 页数 306页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-06-07 Language 语种 英语 Book Contents 内容简介 This premier reference guide discusses the specialized conditions that every interventional cardiologist encounters in the cardiac catheterization lab and examines advanced clinical approaches to diagnosis and treatment. It provides the tools necessary for correctly identifying complex coronary lesions and plaques as well as the information needed to accurately recognize rare disease progression and patterns. Exploring all the essential diagnostic modalities needed in the lab, the book covers intracardiac ultrasonography, multidetecter computed tomography, pre-procedure planning, guidance of stent deployment, and stent thrombosis treatment.
¥949.00
预订 人文地理学方法Methods in Human Geography [ISBN:9780582473218] 【全球购】进口原版图书，一般5-8周左右到国内
¥786.00
【预订】Research Methods in Physical Activity and Health 9781138 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138067677 Format 版本 精装 Publisher 出版社 Routledge Publication Date 出版日期 2018-12-31 Language 语种 英语 Book Contents 内容简介 This is the first book to present the issues associated with physical activity and health research and introduce students to the methods available. The book works through the full research process, from;devising a proposal, through selecting a research methodology and quantifying physical activity and outcome measures, to disseminating findings.
¥1958
【预订】Iterative Methods without Inversion 9781498758925 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498758925 Author 作者 Anatoly Galperin Format 版本 精装 Pages Number 页数 240页 Publication Date 出版日期 2016-10-26 Language 语种 英语 Book Contents 内容简介 This book is about iterative methods for solving operator equations f(x) = 0 in Banach and/or Hilbert spaces. Its subject are methods that do not require inversions of f (or solving linearized subproblems). The typical representatives of the class of methods discussed are Ulm’s and Broyden’s methods. Convergence analyses of the methods considered are based on Kantorovich’s majorization principle which allows to avoid unnecessary simplifying assumptions like differentiability of the operator or solvability of the equation. These analyses are carried out under a more general assumption about degree of continuity of the operator than traditional Lipschitz continuity: regular continuity.
¥2035
海外直订Formal Methods and Software Engineering: 21st Internatio
¥534.00
海外直订医药图书Methods of Cancer Diagnosis, Therapy, and Prognosis:
¥3976
海外直订Formal Methods for Industrial Critical Systems: 24th Int
¥662.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车