Lectures on Formal Methods and Performance Analysis : First Eef Summer School...

Lectures on Formal Methods and Performance Analysis by Ed Brinksma: New

Lectures on Formal Methods and Performance Analysis : First Eef Summer School...

Naumov - Matrix and Analytical Methods for Performance Analysis of Tel - X555z

Boer - Formal Methods for Components and Objects First International - X555z

Morel - Symposium on Probability Methods in Analysis Lectures Delive - X555z

Zaitsev - Real Methods in Complex and CR Geometry Lectures given at - X555z

Turner - Numerical Analysis and Parallel Processing Lectures Given at - X555z