Electronic Books

Total Books: 41 - 60 /125

Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...

Formulating Poorly Water Soluble Drugs / Robert O. Williams III, Daniel A. Davis Jr., Dave A. Miller

A pharmaceutical scientist’s approach toward solubility enhancement of a poorly water-soluble molecule typically includes ...

Fractional-in-Time Semilinear Parabolic Equations and Applications

This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain ...

From Bilateral Arbitral Tribunals and Investment Courts to a Multilateral Investment Court Options Regarding the Institutionalization of Investor-State Dispute Settlement

This book considers the potential setup for a future Multilateral Investment Court (MIC). The option of an MIC was first ...

Frontiers of Combining Systems

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...

Frontiers of Numerical Analysis

Contains lecture notes on four topics at the forefront of research in computational mathematics. This book presents a self-contained ...

Fuzzy-Neuro Approach to Agent Applications

The book provides a full explanation of the concepts and theories of intelligent agents and agent-based systems. Providing ...

GPS

This reference and handbook describes Global Positioning System (GPS) theory, algorithms and applications. It is primarily ...

Generalized Bounds for Convex Multistage Stochastic Programs

The auther was involved in several industry projects in the field of power management, on the occasion of which I was repeatedly ...

Geotechnics of Roads: Fundamentals / Bernardo Caicedo

Presents stresses and strains in road structures, water and heat migration within and between layers of road materials, and ...

Global Conflict Resolution Through Positioning Analysis

Positioning analysis penetrates beneath surface issues to their underlying psychological causes and social effects, with ...

Graph Drawing (vol. # 3843)

The 13th International Symposium on Graph Drawing (GD 2005) was held in Limerick, Ireland, September 12-14, 2005. One hundred ...

Handbook of Biomedical Image Analysis

Handbook of Biomedical Image Analysis: Registration Models (Volume III) is dedicated to the algorithms for registration of ...

Handbook of Biomedical Image Analysis

Handbook of Biomedical Image Analysis: Segmentation Models (Volume II) is dedicated to the segmentation of complex shapes ...

Handbook of Contact Mechanics : Exact Solutions of Axisymmetric Contact Problems

This book contains a structured collection of complete solutions of all significant axially symmetric contact problems. It ...

High Performance Computing for Computational Science - VECPAR 2004

VECPAR is a series of international conferences dedicated to the promotion and advancement of all aspects of high-performance ...

High Resolution Infrared Spectroscopy in Astronomy

Two specialized new instruments for ESO's VLT, VISIR and CRIRES, spawned the idea for this workshop. CRIRES is a dedicated ...

High Time Resolution Astrophysics

High Time Resolution Astrophysics (HTRA) is an important new window to the universe and a vital tool in understanding a range ...

High-Resolution Methods for Incompressible and Low-Speed Flows

This book covers the basic techniques for simulating incompressible and low-speed flows with high fidelity in conjunction ...

Insurance Distribution Directive A Legal Analysis

This book of the AIDA Europe Research Series on Insurance Law and Regulation offers the first comprehensive legal and regulatory ...

Total Books: 41 - 60 /125