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 ...
اقرأ المزيد
