Logics and Meanings of Programs
ComputersCSL ’88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
Free Download
Computers , Organization and Data ProcessingDatatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Free Download- Computers
Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems
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 SymposiumsESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings
Free Download
Computers , ProgrammingFormal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
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 - Education , International Conferences and Symposiums
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings
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 
