Programming Languages
Education , International Conferences and Symposiums«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
Free Download- Computers , Programming: Modeling languages
«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
Free Download 
- Computers , Programming
Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures
Free Download 
Computers , ProgrammingAdvanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, 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
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: Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings
Free Download- Education , International Conferences and Symposiums
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
Free Download 
- Mathematics , Algebra
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
Free Download 
