>> Computation by Abstract Devices
- Computers , Organization and Data Processing
Languages and Compilers for Parallel Computing: 10th International Workshop, LCPC’97 Minneapolis, Minnesota, USA, August 7–9, 1997 Proceedings
Free Download - Computers , Organization and Data Processing
Languages and Compilers for Parallel Computing: 11th International Workshop, LCPC’98 Chapel Hill, NC, USA, August 7–9, 1998 Proceedings
Free Download 
Computers , Organization and Data ProcessingLanguages and Compilers for Parallel Computing: 12th International Workshop, LCPC’99 La Jolla, CA, USA, August 4–6, 1999 Proceedings
Free Download- Computers , Organization and Data Processing
Languages and Compilers for Parallel Computing: 13th International Workshop, LCPC 2000 Yorktown Heights, NY, USA, August 10–12, 2000 Revised Papers
Free Download - Computers , Organization and Data Processing
Languages and Compilers for Parallel Computing: 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers
Free Download 
Computers , Organization and Data ProcessingLanguages and Compilers for Parallel Computing: 9th International Workshop, LCPC’96 San Jose, California, USA, August 8–10, 1996 Proceedings
Free Download
- Computers , Algorithms and Data Structures
Lectures on Proof Verification and Approximation Algorithms
Free Download 
ComputersSelf-star Properties in Complex Information Systems: Conceptual and Practical Foundations
Free Download- Computers , Programming
TAPSOFT ’95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
Free Download
