Programming Languages
Education , International Conferences and SymposiumsModel Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Free Download
Mathematics , Computational MathematicsModels of computation: An introduction to computability theory
Free Download
Technique , Electronics: RadioModular Programming Languages: Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings
Free Download
Mathematics , Optimization. Operations ResearchOptimal Interprocedural Program Optimization: A New Framework and Its Application
Free Download
Education , International Conferences and SymposiumsParallel Lisp: Languages and Systems: US/Japan Workshop on Parallel Lisp Sendai, Japan, June 5–8, 1989 Proceedings
Free Download
Computers , ProgrammingPrinciples and Practice of Constraint Programming – CP 2002: 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings
Free Download- Computers , Programming
Principles and Practice of Constraint Programming – CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings
Free Download 
Computers , ProgrammingPrinciples and Practice of Constraint Programming – CP 2000: 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings
Free Download
- Computers , Programming
Principles and Practice of Constraint Programming — CP ’95: First International Conference, CP ’95 Cassis, France, September 19–22, 1995 Proceedings
Free Download - Computers , Programming
Principles and Practice of Constraint Programming — CP96: Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings
Free Download 
Computers , ProgrammingPrinciples and Practice of Constraint Programming — CP98: 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings
Free Download- Computers , Programming
Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings
Free Download
