E- text books

Model Checking Software

Author : Bartocci 

Springer

Access online

Advances in Data Analysis

Author : Decker 

Springer

Access online

Theory of Cryptography

Author : Dodis 

Springer

Access online

Pervasive Computing

Author : Fishkin 

Springer

Access online

Logics in Artificial Intelligence

Author : Michael 

Springer

Access online

Microbiology and Aging

Author : Percival 

Springer

Access online

An Introduction to Kalman Filtering with MATLAB Examples

Author : Kovvali 

Computing and Processing

Access online

Multi-Armed Bandits

Author : Zhao 

Springer

Access online