Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction t...

Modeling and Diagnostics of Polymer Electrolyte Fuel Cells

Polymer electrolyte fuel cells (PEFCs) or proton exchange m- brane fuel cells (PEMFCs) have been ...

Marine Corrosion of Steels

Bridges corrosion science and artificial intelligence to advance durable, high-performance marine...

Cryogenic Engineering and Technologies

Synthetic Gene Network

This book develops a rational design and systematic approach to construct a gene network with des...

Battery Systems Engineering

A complete all-in-one reference on the important interdisciplinary topic of Battery Syst...

Cryogenic Engineering and Technologies

Engineering Design under Uncertainty and Health Prognostics

This book presents state-of-the-art probabilistic methods for the reliability analysis and d...

Evaluation of Drug Candidates for Preclinical Development

Emphasizes the integration of major areas of drug discovery and their importance in candidate ...

Chinese Currency Exchange Rates Analysis

This book provides an overview of Chinese RMB exchange markets and its risk management strategies...

Battery Systems Engineering

A complete all-in-one reference on the important interdisciplinary topic of Battery Syst...

Characteristic Modes

Describes how to systematically implement various characteristic mode (CM) theories into de...