【预订】Advanced Methods for Processing and Visualizing the Rene 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811586088 Format 版本 平装-胶订 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-10-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.3 cm Shipping Weight 商品重量 540g 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 s
¥1753
【预售 按需印刷】Research Methods in Accounting
¥627.30
【预订】Unique Methods For Analyzing Failures And Catastrophic E 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119748250 Author 作者 Anthony Sofronas Format 版本 精装 Pages Number 页数 336页 Publisher 出版社 Wiley Publication Date 出版日期 2022-05-16 Product Dimensions 商品尺寸 15.24 x 22.86 cm. Language 语种 其它（含多语） Book Contents 内容简介 Design and fabrication problems are ever present in both new and existing manufacturing unit equipment. Sometimes the potential problems that could arise are caused by field changes to the physical design and/or operation of equipment. This book is vital to the practicing engineer who must work under the pressures of safe process operation. Unique Methods for Analyzing Failures and Catastrophic Events: An Illustrated Guide for Engineers will be useful to anyone seeking practical insight and relevant case studies to solve an existing problem or to understand how complex engineering problems are solved.? Using techni
¥1419
预售 按需印刷 Methods and Applications of Geospatial Tec
¥1687
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
海外直订医药图书Methods in Asthmology 方法在Asthmology
¥662.00
【3-6周达】Modern Methods of Igneous Petrology: Understanding Ma 【全球购】进口原版图书，一般3-6周左右到国内
¥689.00
【3-6周达】高被引Java Methods for Financial Engineering: Applicatio 【全球购】进口原版图书，一般3-6周左右到国内
¥916.00
【3-6周达】Formal Methods for Software Engineering [ISBN:9783030 【全球购】进口原版图书，一般3-6周左右到国内
¥868.00
【3-6周达】Methods for recognizing multispectral images based on 【全球购】进口原版图书，一般3-6周左右到国内
¥821.00
预订 Digital Methods and Tools to Support Healthy Ageing 英文原版 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1346
海外直订Novel Methods for Monitoring and Managing Land and Water
¥1988
【预售 按需印刷】PRACTICAL METHODS FOR SUCCESSFUL CLASSROO 北京发货，付款后10天内发货
¥905.00
海外直订Direct Methods in the Calculus of Variations 变分法中的直接法
¥2253
海外直订Key Methods in Geography 地理学关键方法
¥2476
海外直订Hybrid Methods of Molecular Modeling 分子模型的混合方法
¥6628
【预售 按需印刷】Models and methods used in the analysis o 北京发货，付款后10天内发货
¥1239
海外直订Proof Methods for Modal and Intuitionistic Logics 模态逻辑和直
¥2651
海外直订Formal Methods: Foundations and Applications: 25th Brazi
¥728.00
【3-6周达】Direct Methods: Methodological Progress and Engineeri 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
按需印刷Mixed-Methods Research in Wellbeing and Health 预订，预计下单后3-4周左右发货！
¥504.00
海外直订Sumo: Methods and Protocols 相扑：方法和协议
¥1850
【3-6周达】RNA: Methods and Protocols [ISBN:9781493956432 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Standard Methods for Thermal Comfort Assessment of Cloth 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138390980 Author 作者 Ivana ?peli? Format 版本 平装-胶订 Pages Number 页数 228页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-06-25 Language 语种 英语 Book Contents 内容简介 Providing analysis of the thermal comfort assessment of clothing as the basis for developing standards, this book discusses the thermal protective role of clothing as a way of modelling heat transfer from the body, general thermal regulation of humans and the importance of globally accepted test methods and standards to improve quality.
¥1768
海外直订Formal Methods for Software Architectures: Third Interna
¥662.00
海外直订Direct Methods for Limit States in Structures and Materi
¥1203
预订 Mixed-Methods Research in Wellbeing and Health [ISBN:9780 【全球购】进口原版图书，一般5-8周左右到国内
¥1977
【3-6周达】Formal Methods and Testing: An Outcome of the Fortest 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Unified Methods for Censored Longitudinal Data and Ca 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内
¥2609
【3-6周达】Mixed Methods and Cross Disciplinary Research [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【3-6周达】Methods for laparoscopic instrument tracking and moti 【全球购】进口原版图书，一般3-6周左右到国内
¥1261
【3-6周达】Research Methods in Neurochemistry: Volume 2 (Softcov 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering: 15th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Formal Methods for Open Object-Based Distributed Systems: 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥2122
【预订】Standard Methods for Thermal Comfort Assessment of Cloth 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138391475 Author 作者 Ivana ?peli? Format 版本 精装 Pages Number 页数 228页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-06-25 Language 语种 英语 Book Contents 内容简介 Providing analysis of the thermal comfort assessment of clothing as the basis for developing standards, this book discusses the thermal protective role of clothing as a way of modelling heat transfer from the body, general thermal regulation of humans and the importance of globally accepted test methods and standards to improve quality.
¥3382
海外直订Formal Methods in Computer-Aided Design: First Internati
¥662.00
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 语种 英语
¥922.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
【预订】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
海外直订Ray Methods for Nonlinear Waves in Fluids and Plasmas 流体
¥611.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
预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥855.72
【预订】Ideas and Methods in Mathematical Analysis, Stochastics, 美国库房发货，通常付款后3-5周到货！
¥1943
【预订】Numerical Methods for Ordinary Differential Equations 美国库房发货，通常付款后3-5周到货！
¥2179
【预售 按需印刷】Inventory Methods in LCA
¥775.20
海外直订Design Methods for Digital Systems 数字系统设计方法“，
¥662.00
海外直订Formal Methods and Stochastic Models for Performance Eva
¥662.00
海外直订Simple Methods to Study Pedology and Edaphology of India
¥1233
【预订】Formal Methods for Software Engineering: Languages, Meth 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030388027 Author 作者 Roggenbach Markus Format 版本 平装-胶订 Pages Number 页数 524页 Publisher 出版社 Springer Publication Date 出版日期 2023-07-07 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.13 Shipping Weight 商品重量 1.70 Language 语种 其它（含多语）
¥603.00
【3-6周达】Block Methods for Special Second Order Ordinary Diffe 【全球购】进口原版图书，一般3-6周左右到国内
¥903.00
海外直订Modern Methods of Speech Processing 现代语音处理方法
¥1988
海外直订医药图书Methods of Protein Microcharacterization: A Practica
¥1325
【预订】Kernel Methods for Machine Learning with Math and Python 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811904004 Author 作者 Joe Suzuki Format 版本 平装-胶订 Pages Number 页数 208页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-05-24 Language 语种 其它（含多语） Book Contents 内容简介 The most crucial ability for machine learning and data science is mathematical logic for grasping their essence rather than relying on knowledge or experience. This textbook addresses the fundamentals of kernel methods for machine learning by considering relevant math problems and building Python programs. The book’s main features are as follows:The content is written in an easy-to-follow and self-contained style.The book includes 100 exercises, which have been carefully selected and refined. As their solutions are provided in the main text, readers can solve all of the exercises by reading the book.The mathematical premises of kernels are proven
¥492.00
【预订】Level Set Methods for Fluid-Structure Interaction 978303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031086588 Author 作者 Georges-Henri Cottet Format 版本 精装 Pages Number 页数 196页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-21 Language 语种 其它（含多语） Book Contents 内容简介 This monograph is devoted to the study of Eulerian models for fluid-structure interaction from the original point of view of level set methods.In the last 15 years, Eulerian models have become popular tools for studying fluid-structure interaction problems. One major advantage compared to more conventional methods such as ALE methods is that they allow the use of a single grid and a single discretization method for the different media. Level set methods in addition provide a general framework to follow the fluid-solid interfaces, to represent the elastic stresses of solids, and to model the contact forces between solids.This book offers a combina
¥1095
【预订】Research Methods in Building Science and Technology 9783 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030736941 Author 作者 Rahman Azari Format 版本 平装-胶订 Pages Number 页数 180页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-10 Language 语种 其它（含多语） Book Contents 内容简介 This book covers the range of methodological approaches, methods and tools currently used in various areas of building science and technology research and addresses the current lack of research-method literature in this field. The book covers the use of measurement-based methods in which data is collected by measuring the properties and their variations in ‘actual’ physical systems, simulation-based methods which work with ‘models’ of systems or processes to describe, examine and analyze their behaviors, performances and operations, and data-driven methodologies in which data is collected via measurement or simulation to identify and exami
¥2409
【3-6周达】Real Methods in Complex and CR Geometry : Lectures gi 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Green Methods for Wastewater Treatment,环境科学基础理论 [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Direct Methods of Solving Crystal Structures [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车