Software Engineering
Computers , ProgrammingDependable Systems: Software, Computing, Networks: Research Results of the DICS Program
Free Download
Science (general) , Scientific-popularEmbedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation — SAMOS
Free Download
Education , International Conferences and SymposiumsESOP ’90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
Free Download
Computers , ProgrammingFormal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
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 
Education , International Conferences and SymposiumsFrontiers of High Performance Computing and Networking – ISPA 2006 Workshops: ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings
Free Download
- Computers , Organization and Data Processing
Future Directions in Distributed Computing: Research and Position Papers
Free Download 
Computers , Algorithms and Data StructuresGenetic algorithms for applied CAD problems
Free Download
