Logics and Meanings of Programs
Computers , ProgrammingAdvanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures
Free Download
Computers , Algorithms and Data StructuresAdvanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Free Download- Technique , Electronics: Telecommunications
Advances in Agent Communication: International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers
Free Download 
Mathematics , AlgebraAlgebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Free Download
Mathematics , AlgebraAlgebraic and Logic Programming: 4th International Conference, ALP ’94 Madrid, Spain, September 14–16, 1994 Proceedings
Free Download
Mathematics , AlgebraAlgebraic and Logic Programming: 5th International Conference, ALP’96 Aachen, Germany, September 25–27, 1996 Proceedings
Free Download- Mathematics , Algebra
Algebraic and Logic Programming: 6th International Joint Conference ALP ’97 — HOA ’97 Southampton, UK, September 3–5, 1997 Proceedings
Free Download 
Mathematics , AlgebraAlgebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings
Free Download
Mathematics , AlgebraAlgebraic and Logic Programming: Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings
Free Download
- Computers , Programming
Automata, Languages and Programming: 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings
Free Download - Computers , Programming
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Free Download 
Education , International Conferences and SymposiumsAutomated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
Free Download
Mathematics , AlgebraCAAP’83: Trees in Algebra and Programming 8th Colloquium L’Aquila, March 9–11, 1983 Proceedings
Free Download- Mathematics , Algebra
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
Free Download
