The proceedings of ETAPS conferences are available online from the Springer web site. You can get them at the following URL:

R. Wilhelm (Ed.)
Compiler Construction
10th International Conference, CC 2001
Lecture Notes in Computer Science, vol 2027

D. Sands (Ed.)
Programming Languages and Systems
10th European Symposium on Programming, ESOP 2001
Lecture Notes in Computer Science, vol 2028

H. Hussmann (Ed.)
Fundamental Approaches to Software Engineering
4th International Conference, FASE 2001
Lecture Notes in Computer Science, vol 2029

F. Honsell, M. Miculan (Eds.)
Foundations of Software Science and Computation Structures
4th International Conference, FOSSACS 2001
Lecture Notes in Computer Science, vol 2030

T. Margaria, W. Yi (Eds.)
Tools and Algorithms for the Construction and Analysis of Systemsi
7th International Conference, TACAS 2001
Lecture Notes in Computer Science, vol 2031