Mathematical Logic and Formal Languages
ComputersCSL ’88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
Free Download
ComputersEfficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems
Free Download
Education , International Conferences and SymposiumsESOP ’90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
Free Download
Education , International Conferences and SymposiumsESOP ’92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings
Free Download
- Education , International Conferences and Symposiums
EUROCAL ’85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions
Free Download 
ComputersEurocal ’87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings
Free Download- Computers , Programming
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Free Download - Other Social Sciences , Philosophy
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information
Free Download 
- Mathematics , Computational Mathematics
Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 – April 6, 2008. Proceedings
Free Download - Computers , Programming
Functional 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
