Some are freely availble and a link will be provided. Also I will update as much as possible this page.
For now, it'll be a simple list. in the future, I'll classify them so it'll be easier to found documentation.
- Brookshear G., Computer Science an overview 10th Edn. Addison-Wesley
- Schlansker, M. S and Ramakrishna Rau(2000), EPIC: An Architecture for Instruction-Level Parallel Processors
- Howard, P.G and Vitter J.S. (1992), Practical implementation of Arithmetic Coding
- Said, A. (2004), Introduction to Arithmetic Coding – Theory and practice
- Aho, A. and Ullman, J.(1992). Foundations of Computer Science
- Donald Knut (1975),’ Computer Programming as an Art’. Communication of the ACM, Vol 17, number 12
- Moore, J S(2005,Zurich), A Mechanized Program Verifier presented at The Verification Grand Challenge Workshop Zurich October 10--13, 2005
