Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised

Data Analysis in the Cloud: Models, Techniques and Applications (Computer Science Reviews Trends)

Formal Methods for Multicore Programming: 15th International School on the Design of...

I Heart Berg En Dal Netherlands Love Dutch Souvenir Stainless Steel Insulated Tumbler