E- text books

Language, Logic, and Computation

Author : Özgün 

Springer

Access online

Gathering Hopewell

Author : Carr 

Springer

Access online

Human Centered Computing

Author : Tang 

Springer

Access online

Computer Aided Verification

Author : Larsen 

Springer

Access online

Thought-Contents

Author : Boër 

Springer

Access online