E- text books

Fun with Algorithms

Author : Crescenzi 

Springer

Access online

Interactive Theorem Proving

Author : Beringer 

Springer

Access online