Information Theory and Artificial Intelligence to Manage Uncertainty in Hydrodynamic and Hydrological Models 2004 · PDF View details →
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs 1990 · ENGLISH · DJVU View details →