【预订】Formal Methods: Foundations and Applications 97830306388 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030638818 Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic S
¥711.00
海外直订NMR Methods for the Investigation of Structure and Trans
¥1325
海外直订医药图书Methods for Fragments Screening Using Surface Pl...
¥2467
海外直订Formal Methods for Industrial Applications: Specifying a
¥1325
海外直订Formal Methods and Software Engineering: 14th Internatio
¥662.00
海外直订医药图书Methods of Cancer Diagnosis, Therapy, and Prognosis:
¥3344
【预订】Analytical Methods in the Determination of Bioactive Com 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030618810 Author 作者 Magdalena Jeszka-Skowron Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-02-03 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.80 Shipping Weight 商品重量 1.20 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
¥2190
【预订】Bayesian Methods in Cosmology 国外库房发货, 通常付款后12-16周到货
¥581.00
【预售 按需印刷】Bayesian Methods for Managemen
¥1342.15
【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367235444 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 676页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-09-20 Language 语种 英语 Book Contents 内容简介 The book begins with an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.
¥4668
【预订】Computer Methods for Engineering with MATLAB? Applicatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781591690368 Author 作者 Yogesh Jaluria Format 版本 精装 Pages Number 页数 632页 Publisher 出版社 CRC Press Publication Date 出版日期 2011-09-08 Shipping Weight 商品重量 1020g Language 语种 英语 Book Contents 内容简介 Now with MATLAB?, this substantially revised and updated edition shows how computational approaches can solve complex mathematical equations, such as simultaneous algebraic equations, ODEs, and PDEs, that typically arise in engineering problems. It explores the applicability, efficiency, and behavior of various numerical methods and explains how to use MATLAB and Fortran to solve numerous engineering examples and problems. This edition incorporates recent advances in computational software and hardware, additional exercises and examples, and new and updated references. A solutions manual is available upon qualifying course adoption.
¥1763
海外直订Formal Methods - The Next 30 Years: Third World Congress
¥662.00
海外直订Formal Methods and Software Engineering: 12th Internatio
¥1325
【预售 按需印刷】Research Methods for Education in the Digital Age
¥1203.6
【预订】Numerical Methods for Seakeeping Problems 9783030625634 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030625634 Author 作者 Bettar Ould el Moctar Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-01-20 Language 语种 其它（含多语） Book Contents 内容简介 The book describes currently applied and newly developed advanced numerical methods for wave-induced ship motions and loads. Besides well-established computational methods based on strip theory, panel methods and finite volume methods for unsteady Reynolds-averaged Navier-Stokes equations (URANS), recent advances like a fully nonlinear Rankine panel method, URANS calculations including elastic hull deformations, and an improved method to predict added resistance in waves are explained in detail. Furthermore, statistical methods to assess extreme motions and loads are described both for linear and nonlinear responses in a stationary seaw
¥1753
【预售 按需印刷】Research Methods in Sign Language Studies
¥506.60
【预订】Advanced Methods in Structural Biology 9781071631461 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071631461 Author 作者 ?ngela Maria Almeida de Sousa Format 版本 精装 Pages Number 页数 292页 Publisher 出版社 Humana Press Publication Date 出版日期 2023-04-29 Language 语种 其它（含多语） Book Contents 内容简介 This volume explores the latest integrated bioprocesses and technologies used to study the production of the target recombinant protein of therapeutic or diagnostic interest; its isolation, purification, and stabilization; and the bio-interaction and structural analyses. The chapters in this book are organized into four parts. Part One covers production methods of soluble and membrane proteins in prokaryotic and eukaryotic expression systems, such as Lactococcus lactis and Escherichia coli. Part Two describes traditional and novel approaches for recombinant protein purification and stabilization, and buffers and additives. Part Three discusses automat
¥2190
预订 Numerical Methods in Physics with Python 9781009303866 国外库房发货, 通常付款后12-16周到货
Product Details 基本信息 ISBN-13 书号 9781009303866 Author 作者 Alex Gezerlis Format 版本 平装-胶订 Pages Number 页数 700页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-04-01 Language 语种 其它（含多语） Book Contents 内容简介 Bringing together idiomatic Python programming, foundational numerical methods, and physics applications, this is an ideal standalone textbook for courses on computational physics. All the frequently used numerical methods in physics are explained, including foundational techniques and hidden gems on topics such as linear algebra, differential equations, root-finding, interpolation, and integration. The second edition of this introductory book features several new codes and 140 new problems (many on physics applications), as well as new sections on the singular-value decomposition, derivative-free optimization, Bayesian linear regression, neural
¥727.00
预售 英文预定 Methods of Algebraic Geometry 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥1308.31
【预订】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
【预订】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
预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥855.72
【预订】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
【预售 按需印刷】Processing methods for mandarin (Citrus r
¥1125.4
【预订】Optical Methods for Managing the Diabetic Foot 978103246 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032463513 Author 作者 Saiko Format 版本 精装 Pages Number 页数 206页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-12-11 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 This book discusses optical technologies for Diabetic Foot management. It combines the current medical literature review with an overview of the technology and physics behind it. Thus, it is a single-source introduction to the topic. It can also be used as a reference source and practical guide for the use of technology. The particular focus is on low-cost technologies, including hyperspectral imaging, thermography, and endogenous bacterial fluorescence. Moving diagnostic modalities closer to the patient (e.g., primary care) allows the disease to be detected at an earlier stage, thus improving outcomes. However, wh
¥1708
【预订】Polyhedral Methods in Geosciences 9783030693657 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030693657 Author 作者 Di Pietro Format 版本 平装-胶订 Pages Number 页数 332页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-06-15 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.72 Shipping Weight 商品重量 1.07 Language 语种 其它（含多语） Book Contents 内容简介 The last few years have witnessed a surge in the development and usage of discretization methods supporting general meshes in geoscience applications. The need for general polyhedral meshes in this context can arise in several situations, including the modelling of petroleum reservoirs and basins, CO2 and nuclear storage sites, etc. In the above and other situations, classical discretization methods are either not viable or require ad hoc modifications that add to the implementation complexity. Discretization methods able to operate on polyhedral meshes a
¥1643
【预订】Advanced Methods for Processing and Visualizing the Rene 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811586057 Format 版本 精装 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-12-27 Language 语种 英语 Book Contents 内容简介 This book is a collection of research work conducted by researchers at Centre for Smart Grid Energy Research (CSMER), Institute of Autonomous System, Universiti Teknologi PETRONAS (UTP), and Seismic Modelling and Inversion Group, King Abdullah University of Science and Technology (KAUST), Saudi Arabia. The book covers topics in the field of renewable energy where visualization, artificial neural network and deep learning techniques have been applied to optimize the performance of various applications in energy-related industries. These examples include a natural gas vehicle (NGV), a single axis and a fixed axis solar tracker, seismic inversion enhanced oil recovery, viability of a PV system and constr
¥1753
【预订】Physical Methods for Microorganisms Detection 9781315896 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781315896496 Format 版本 平装-胶订 Publication Date 出版日期 2019-01-01 Language 语种 英语
¥1709
【预订】Spectral Methods in Chemistry and Physics 9789401776943 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789401776943 Author 作者 Bernard Shizgal Format 版本 平装-胶订 Pages Number 页数 415页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-10-06 Shipping Weight 商品重量 772g Language 语种 英语 Book Contents 内容简介 This book is a pedagogical presentation of the application of spectral and pseudospectral methods to kinetic theory and quantum mechanics. There are additional applications to astrophysics, engineering, biology and many other fields. The main objective of this book is to provide the basic concepts to enable the use of spectral and pseudospectral methods to solve problems in diverse fields of interest and to a wide audience. While spectral methods are generally based on Fourier Series or Chebychev polynomials, non-classical polynomials and associated quadratures are used for many of the applications presented in the book
¥1095
【3-6周达】Methods in Biological Oxidative Stress [ISBN:97816173 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Methods In Climatology [ISBN:9781443725811] 【全球购】进口原版图书，一般3-6周左右到国内
¥516.00
【预订】Research Methods in Health Promotion, Second Edition 978 美国库房发货，通常付款后3-5周到货！
¥1231
3-6周达 Select Methods in Chemical Analysis: Third Edition [IS 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥688.00
【预订】Molecular Methods for Evolutionary Genetics 978149395861 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493958610 Author 作者 Virginie Orgogozo Université Paris VII CNRS UMR7592 Paris Format 版本 平装-胶订 Pages Number 页数 503页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 979g Language 语种 英语 Book Contents 内容简介 We are entering a particularly fruitful period in evolutionary genetics, as rapid technological progress transforms the investigation of genetic variation within and between species. Molecular Methods for Evolutionary Genetics is a collection of advanced molecular biology protocols and general overviews intended to represent the essential methods currently bringing evolutionary genetics to fruition. Divided into six thematic sections, this volume covers methods for characterizing genomes, diverse approaches to enrich DNA for subsets of the genome prior to sequencing, and state-of-the-art
¥1205
【3-6周达】New Methods and Applications in Multiple Attribute De 【全球购】进口原版图书，一般3-6周左右到国内
¥916.00
【3-6周达】Formal Methods for Industrial Critical Systems: 16th 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】RNA: Methods and Protocols [ISBN:9781493956432 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Complex Methods for Partial Differential Equations [ISBN: 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1095
【3-6周达】Research Methods for Criminology and Criminal Justice 【全球购】进口原版图书，一般3-6周左右到国内
¥1821
【3-6周达】Modern Methods of Igneous Petrology: Understanding Ma 【全球购】进口原版图书，一般3-6周左右到国内
¥689.00
海外直订DNA Methods in Food Safety DNA方法在食品安全中的应用
¥2149
【预订】Direct Methods in Control Problems 9780817647223 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780817647223 Author 作者 Peter L. Falb Format 版本 精装 Pages Number 页数 311页 Publisher 出版社 Birkh?user Publication Date 出版日期 2020-01-31 Language 语种 英语 Book Contents 内容简介 The primary focus of this book is on explicating the direct method approach. Historically, direct methods have not been fully exploited in control problems. The key is constructing convergent minimizing families. Integration methods (for example the gradient method) and representation methods (such as the Ritz-Galerkin and Finite Element methods) are examined in this text in an abstract (with concrete examples) functional analytic way. The aim is to consider direct methods from a unified general point of view and to provide a stimulus for future research. Explicitly, implicitly and by example, potential areas of research interest are indicated.The book is a suitable reference for gra
¥932.00
【3-6周达】Design Methods and Applications for Distributed Embed 【全球购】进口原版图书，一般3-6周左右到国内
¥1254
3-6周达 Formal Methods for Protocol Engineering and Distribute 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥2767
预订 Design Methods and Practices for Research of Project Mana 【全球购】进口原版图书，一般5-8周左右到国内
¥2589
【3-6周达】Material Methods: Researching and Thinking with Thing 【全球购】进口原版图书，预计3-6周左右到国内
¥598.00
【3-6周达】Modern Methods of Construction Design: Proceedings of 【全球购】进口原版图书，一般3-6周左右到国内
¥3212
海外直订Lie Methods in Deformation Theory 变形理论中的Lie方法
¥1739
海外直订医药图书Methods of Cancer Diagnosis, Therapy and Prognosis:
¥4707
海外直订Mixing Methods in Psychology: The Integration of Qualita
¥700.00
海外直订Rapid Methods for Analysis of Biological Materials in th
¥662.00
海外直订Modern Methods of Construction Design: Proceedings of IC
¥3976
【预售 按需印刷】Numerical Methods For Simulation
¥1101.6
海外直订Field Methods for Petroleum Geologists: A Guide to Compu
¥740.00
海外直订Local Methods in Nonlinear Differential Equations: Part
¥1325
海外直订Energy Methods in Continuum Mechanics: Proceedings of th
¥1988
预售 按需印刷 Methods, Models, and Computation for Medic对于医学信息的方法、 北京发货，付款后10天内发货
¥1878.75
Product Details 基本信息 ISBN-13 书号 9783540710400 Author 作者 Shen Format 版本 精装 Pages Number 页数 472页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-08-25 Shipping Weight 商品重量 889g 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 book contains a large number of figures which are designed to illu
¥1237
【预订】Separation Methods in Proteomics 9780367391577 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367391577 Format 版本 平装-胶订 Pages Number 页数 536页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 6.1 x 1.2 cm Shipping Weight 商品重量 1600g Language 语种 英语
¥1015
【3-6周达】Rapid Methods in Clinical Microbiology: Present Statu 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车