CP7201 Theoretical Foundations Of Computer Science E-books

REFERENCE BOOK DOWNLOAD:

1. Uwe schining "Logic for computer scientists", Birkhauser E-book Download- Click Here

2. M.Ben-ari, "Mathematical logic for computer science" E-book Download- Click Here

3.John Harrison, "Handbook of Practical logic and automated Reasoning" E-book Download- Click Here

4.Greg Michaelson, "An introduction to functional programming through lamba calculus" E-book Download- Click Here

5.Kenneth Slonneger and barry Kurtz, "Formal syntax and semantics of programming languages" E-book Download- Click Here

6.Kenneth H. Rosen, "Discrete Mathematics and its applications" E-book Download- Click Here

7.Sriram Pemmaraju and Steven Skiena, "Computational Discrete Mathematics" 
E-book Download- Click Here

8.M.Huth and M.Ryan, "Logic in computer science - Modeling and reasoning about systems" E-book Download- Click Here

9.Norman L. Biggs, " Discrete Mathematics" E-book Download- Click Here

10. Juraj Hromkovic, "Theoretical Computer Science" E-book Download- Click Here

11. J.E. Hopcroft, Rajeev Motwani, and J.D.Ullman, "Introducation to Automata Theory,Languages and Computation" E-book Download- Click Here