E- text books

The Search for Life Continued

Author : Jones 

Springer

Access online

Automated Deduction — CADE-15

Author : Kirchner 

Springer

Access online

Security and Trust Management

Author : Mauw 

Springer

Access online

Coding Theory and Applications

Author : Barbero 

Springer

Access online

Algorithms and Computation

Author : Ng 

Springer

Access online