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