E- text books

Runtime Verification

Author : Lahiri 

Springer

Access online

Advances in Information Retrieval

Author : Baeza-Yates 

Springer

Access online

Axioms and Hulls

Author : Knuth 

Springer

Access online

The Design of Implicit Interactions

Author : Ju 

Morgan & Claypool

Access online

Graph Transformation

Author : Corradini 

Springer

Access online

UML for SOC Design

Author : Martin 

Springer

Access online