E- text books

Computer Aided Verification

Author : Chockler 

Springer

Access online

Bounded Incremental Computation

Author : Ramalingam 

Springer

Access online

Selected Areas in Cryptography

Author : Jacobson 

Springer

Access online

Atlas of Neuromuscular Diseases

Author : Feldman 

Springer

Access online

Class 3 Hydrolases

Author : Chang 

Springer

Access online

Quantum Circuit Simulation

Author : Viamontes 

Springer

Access online

Advances in Numerical Methods

Author : Mastorakis 

Springer

Access online

Human-Computer Interaction

Author : Blumenthal 

Springer

Access online

Selection Theorems and their Applications

Author : Parthasarathy 

Springer

Access online