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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lire la suite
Frontiers of Numerical Analysis
Contains lecture notes on four topics at the forefront of research in computational mathematics. This book presents a self-contained ...
Lire la suite
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 ...
Lire la suite
GPS
This reference and handbook describes Global Positioning System (GPS) theory, algorithms and applications. It is primarily ...
Lire la suite
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 ...
Lire la suiteGeotechnics of Roads: Fundamentals / Bernardo Caicedo
Presents stresses and strains in road structures, water and heat migration within and between layers of road materials, and ...
Lire la suite
Global Conflict Resolution Through Positioning Analysis
Positioning analysis penetrates beneath surface issues to their underlying psychological causes and social effects, with ...
Lire la suite
Graph Drawing (vol. # 3843)
The 13th International Symposium on Graph Drawing (GD 2005) was held in Limerick, Ireland, September 12-14, 2005. One hundred ...
Lire la suite
Handbook of Biomedical Image Analysis
Handbook of Biomedical Image Analysis: Registration Models (Volume III) is dedicated to the algorithms for registration of ...
Lire la suite
Handbook of Biomedical Image Analysis
Handbook of Biomedical Image Analysis: Segmentation Models (Volume II) is dedicated to the segmentation of complex shapes ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
