>> Logics and Meanings of Programs
Computers , ProgrammingFunctional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings
Free Download
Computers , ProgrammingFunctional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings
Free Download
Computers , ProgrammingFunctional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings
Free Download
Computers , ProgrammingFunctional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
Free Download- Computers , Programming
Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
Free Download 
Mathematics , Computational MathematicsFundamentals of Computation Theory: 10th International Conference, FCT ’95 Dresden, Germany, August 22–25, 1995 Proceedings
Free Download
Mathematics , Computational MathematicsFundamentals of Computation Theory: 8th International Conference, FCT ’91 Gosen, Germany, September 9–13, 1991 Proceedings
Free Download
Mathematics , Computational MathematicsFundamentals of Computation Theory: 9th International Conference, FCT ’93 Szeged, Hungary, August 23–27, 1993 Proceedings
Free Download
Mathematics , Computational MathematicsFundamentals of Computation Theory: International Conference FCT ’89 Szeged, Hungary, August 21–25, 1989 Proceedings
Free Download
- Mathematics , Computational Mathematics
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
Free Download 
