E- text books

Text, Speech and Dialogue

Author : Sojka 

Springer

Access online

Intelligent Computing Theory

Author : Huang 

Springer

Access online

Trends in Functional Programming

Author : McCarthy 

Springer

Access online

The Semantic Web – ISWC 2012

Author : Cudré-Mauroux 

Springer

Access online

Computer Aided Verification

Author : Brinksma 

Springer

Access online