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