E- text books

Computer Aided Verification

Author : Dillig 

Springer

Access online

Energy in Africa

Author : Hafner 

Springer

Access online

Cryptology and Network Security

Author : Franklin 

Springer

Access online

Enterprising Worlds

Author : Gatrell 

Springer

Access online

Affe und Affekt

Author : Shah 

Springer

Access online

Modeling and Using Context

Author : Blackburn 

Springer

Access online