
【预订】Necrosis: Methods and Protocols 9781493960101 美国库房发货,通常付款后3-5周到货!
¥985.00

【预订】Research Methods for Engineers 9781107034884 美国库房发货,通常付款后3-5周到货!
¥1625

海外直订Formal Methods and Software Engineering: 9th Internation
¥662.00

海外直订Formal Methods for Software Engineering: Languages, Meth
¥936.00

【预售 按需印刷】Advanced Methods in Distance Education
¥606.05

海外直订Tracer Methods in Hormone Research 激素研究中的示踪方法
¥1325

【预订】Numerical Methods for Optimal Control Problems 978303001 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030019587 Author 作者 Falcone Format 版本 精装 Pages Number 页数 240页 Publication Date 出版日期 2019-01-20 Language 语种 英语 Book Contents 内容简介 This work presents recent mathematical methods in the area of optimal control with a particular emphasis on the computational aspects and applications. Optimal control theory concerns the determination of control strategies for complex dynamical systems, in order to optimize some measure of their performance. Started in the 60’s under the pressure of the "space race" between the US and the former USSR, the field now has a far wider scope, and embraces a variety of areas ranging from process control to traffic flow optimization, renewable resources exploitation and management of financial markets. These emerging applications require more and more efficient numerical methods for their solution, a very difficult task due the h
¥1205

【预订】Interval Methods for Solving Nonlinear Constraint Satisf 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030137946 Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2019-03-19 Language 语种 英语 Book Contents 内容简介 This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals’ endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.
¥1095

预订 Basic Methods and Protocols on Sourdough 酸面团的基本方法与协议: 978 国外库房发货,通常付款后3-5周到货
¥1314

预售 按需印刷 Methods for Diseases Diagnostic with Appli 北京发货,付款后10天内发货
¥638.00

海外直订DNA Methods in Food Safety DNA方法在食品安全中的应用
¥2149

海外直订Modern Methods of Igneous Petrology: Understanding Magma
¥719.00

预售 按需印刷 Methods of Fundamental Solutions in Solid
¥1235

海外直订Direct Methods for Limit and Shakedown Analysis of Struc
¥1325

海外直订Field Methods in Marine Science: From Measurements to Mo
¥1345

海外直订医药图书Methods of Clinical Epidemiology 临床流行病学方法
¥1325

Elementary Methods of Graph Ramsey Theory 9783031127618 国外库房发货, 通常付款后2-3周到货
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

【预订】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

海外直订Formal Methods for Components and Objects: 4th Internati
¥662.00

【预订】Advanced Methods in Structural Biology 9784431567585 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9784431567585 Author 作者 Toshiya Senda High Energy Accelerator Research Organization Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-06-07 Language 语种 英语 Book Contents 内容简介 This book provides practical information on a whole set of protein experiments for advanced structural biology, such as X-ray crystallography, NMR, electron microscopy, advanced mass spectroscopy, and surface plasmon resonance, as well as a wide variety of expression systems including eukaryotic and in vitro expression. In the past decade, structural genomics studies have pushed forward the development of automated methods in the field of structural biology, however there is an increasing need for the structural analysis of difficult targets, such as large protein complexes and membrane proteins, which are hard to achieve using conventional automa
¥1095

预订 按需印刷 Methods in Cellular Immunology
¥1881.9

【预订】Seismic Methods and Applications: A Guide for the Detect 【全球购】进口原版图书,一般10-12周左右到国内
¥721.00

【预订】Analytical Methods in the Determination of Bioactive Com 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030618780 Format 版本 精装 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-02 Language 语种 英语 Book Contents 内容简介 Most bioactive compounds have antioxidant activity, particularly tocochromanols, phenolics (flavonoids and phenolic acids), methylxantines and capsaicinoids. Some of these compounds have also other properties important for human health. For example, vitamin E protects against oxidative stress, but it is also known for its “non-antioxidant” functions, including cell signalling and antiproliferation. Selenium compounds and indoleamins are the components of the antioxidant enzymes. Selenium makes vitamin E acquisition easier and controls its physiological functions. In taking part in enzymatic reactions and protecting the cell against free radicals, selenium shows immunomodulative, antiphlogistic, an
¥2190

海外直订New Methods of Computing Radial Distribution Functions o
¥1210

【预订】New Methods of Source Reconstruction for Magnetoencephal 【全球购】进口原版图书,一般10-12周左右到国内
¥1048

【预订】Formal Methods for Software Engineering [ISBN:9783030387 【全球购】进口原版图书,一般10-12周左右到国内
¥868.00

预订 Digital Methods and Tools to Support Healthy Ageing 英文原版 【全球购】进口原版图书,一般5-8周左右到国内后发出
¥1346

【预订】Wavelet Methods for Dynamical Problems 9781439804612 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781439804612 Author 作者 S. Gopalakrishnan and Mira Mitra Format 版本 精装 Pages Number 页数 304页 Publisher 出版社 CRC Press Publication Date 出版日期 2010-03-17 Shipping Weight 商品重量 566g Language 语种 英语 Book Contents 内容简介 Explaining wavelet transform from a mechanical engineering perspective, this book discusses the numerical solution of structural dynamics and wave propagation problems using wavelet transform methods. After an introduction to signal processing aspects, the text examines the implementation of wavelet transform for simulating the response of a dynamical system and then discusses the development of a wavelet-based simulation scheme for wave propagation analysis. The chapters also address wave propagation analysis of carbon nanotubes and the application of wave propagation studies for structural health monitoring, force identifica
¥815.00

【预售 按需印刷】ABSTRACT METHODS IN INFORMATION THEORY (S
¥1384.65

【预订】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

海外直订Sumo: Methods and Protocols 相扑:方法和协议
¥1337

预订Mixed Methods Research Design for the Built Environment[97 预订,预计下单后4-6周左右发货
¥911.00

海外直订医药图书Methods in Cell Biology: Volume 158 细胞生物学方法:第158卷
¥2847

海外直订医药图书Methods in Methane Metabolism, Part a: Methanogenesi
¥3416

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

【预订】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

海外直订Mixed Methods Perspectives on Communication and ... 传播与社
¥2353

海外直订医药图书Methods in Biomedical Informatics: A Pragmatic Appro
¥1463

【预售 按需印刷】Topics and Methods in q-Series
¥1581

海外直订医药图书Methods in Brain Connectivity Inference Through Mult
¥3210

【预订】Bayesian Methods for Interaction and Design 978110883499 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781108834995 Author 作者 John H. Williamson Format 版本 精装 Pages Number 页数 400页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2022-08-01 Product Dimensions 商品尺寸 229 x 152 mm Language 语种 其它(含多语) Book Contents 内容简介 Intended for researchers and practitioners in interaction design, this book shows how Bayesian models can be brought to bear on problems of interface design and user modelling. It introduces and motivates Bayesian modelling and illustrates how powerful these ideas can be in thinking about human-computer interaction, especially in representing and manipulating uncertainty. Bayesian methods are increasingly practical as computational tools to implement them become more widely available, and offer a principled foundation to reason about interaction design. The book opens with a self-contained tutorial
¥1243

【预订】Functional Methods in Quantum Field Theory and Statistic 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789056990350 Author 作者 A.N. Vasiliev Format 版本 精装 Pages Number 页数 320页 Publisher 出版社 CRC Press Publication Date 出版日期 1998-07-28 Shipping Weight 商品重量 696g Language 语种 其它(含多语) Book Contents 内容简介 This text pays special attention to the use of those techniques which are fundamental to quantum field theory, in a wide variety of areas, including ordinary quantum mechanics, Euclidean field theory and quantum statistics at finite temperature.
¥2613

【预订】Diagnostic Methods for Cirrhosis and Portal Hypertension 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030102395 Author 作者 Annalisa Berzigotti UVCM DMLL Hepatology Inselspital Uni Format 版本 平装-胶订 Pages Number 页数 341页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-02-08 Language 语种 英语 Book Contents 内容简介 This book provides a unique up-to-date and comprehensive overview of the most important diagnostic methods available for assessing liver cirrhosis and portal hypertension.? The book covers all the significant advances ?made?in the last 10 years?in HVPG and biopsy interpretation, imaging and elastography.?This is a unique and well structured book authored by senior experts in the field aimed at providing updated knowledge to the hepatology specialist and to the physicians interested in chronic liver disease.?? The book starts by giving an overview of the disease, outlining the clinical needs in this field; this is f
¥876.00

预订 按需印刷 Methods and Tactics in Cognitive Science
¥1494.3

预订 按需印刷 Methods in Practical Laboratory Bacteriology
¥2380

【预订】Numerical Methods in Finance with C++ 美国库房发货,通常付款后3-5周到货!
¥819.00

海外直订Basic Methods for the Biochemical Lab 生化实验室基本方法
¥1603

海外直订Formal Methods for Components and Objects: Third Interna
¥662.00

海外直订Formal Methods for Web Services: 9th International Schoo
¥609.00

海外直订医药图书Methods for Computer Design of Diffractive Eleme...
¥2937

海外直订Coring Methods and Systems 取心方法和系统
¥1471

海外直订Modern Methods in Orchid Conservation 兰花保护的现代方法
¥1773

预订 Formal Methods for Managing and Processing Ontology Align 国外库房发货,通常付款后3-5周到货
¥1383

预订 Formal Methods, Informally How to Write Programs That Wor 国外库房发货,通常付款后3-5周到货
¥529.00

【预订】Evaluation Methods in Biomedical and Health Informatics 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030864552 Author 作者 Charles P. Friedman Format 版本 平装-胶订 Pages Number 页数 527页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-02-11 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.14 Shipping Weight 商品重量 1.71 Language 语种 其它(含多语) Book Contents 内容简介 This 3rd edition of Evaluation Methods in Biomedical and Health Informatics has been extensively revised and expanded. It builds on a solid foundation of evaluation theory to explain methods and techniques within health informatics, using many examples, real-world case studies and numerous self-tests with answers. Expanded to 20 rather than 12 chapters, new chapters have been added on qualitative methods, ethics, mixed methods, evidence-based informatics and how to conduct evaluation studies using routine, real-world data. Designed as a practic
¥658.00

【预订】Numerical Methods for Fractional Differentiation 9789811 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811500978 Author 作者 Kolade M. Owolabi Format 版本 精装 Pages Number 页数 328页 Publisher 出版社 Springer Singapore Publication Date 出版日期 2019-10-24 Language 语种 英语 Book Contents 内容简介 This book discusses numerical methods for solving partial differential and integral equations, as well as ordinary differential and integral equations, involving fractional differential and integral operators. Differential and integral operators presented in the book include those with exponential decay law, known as Caputo–Fabrizio differential and integral operators, those with power law, known as Riemann–Liouville fractional operators, and those for the generalized Mittag–Leffler function, known as the Atangana–Baleanu fractional operators.The book reviews existing numerical schemes associated with fractional operators including those with power law, while also
¥1424

【预订】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.
¥2306

海外直订医药图书Methods for Neural Ensemble Recordings 神经集成记录方法
¥2873

【预售 按需印刷】Data-Based Methods for Materials Design a
¥1140.7