E- text books

Information Systems Security

Author : Bagchi 

Springer

Access online

Asymptotic Prime Divisors

Author : McAdam 

Springer

Access online

Interactive Theorem Proving

Author : Blanchette 

Springer

Access online

Prostate Biopsy

Author : Jones 

Springer

Access online

Interactive Theorem Proving

Author : Ayala-Rincón 

Springer

Access online

Network-Based Information Systems

Author : Enokido 

Springer

Access online

Photosynthesis in silico

Author : Laisk 

Springer

Access online

Circuits in the Brain

Author : Legéndy 

Springer

Access online

Interactive Theorem Proving

Author : Avigad 

Springer

Access online