E- text books

Computer Aided Verification

Author : Lahiri 

Springer

Access online

Computer Aided Verification

Author : Dill 

Springer

Access online

TAPSOFT '87

Author : Ehrig 

Springer

Access online

ICAME 2007

Author : Gajbhiye 

Springer

Access online

A Brief History of Computing

Author : O’Regan 

Springer

Access online

Toward Artificial Sapience

Author : Mayorga 

Springer

Access online

Information Hiding

Author : Aucsmith 

Springer

Access online

Indigenous Knowledge and Education in Africa

Author : Ezeanya-Esiobu 

Springer

Access online

Trade Unions on YouTube

Author : Jansson 

Springer

Access online

Offshore Wind Energy

Author : Köller 

Springer

Access online