E- text books

Time Series: Theory and Methods

Author : P.J. Brockwell and R.A. Davis 

Springer
Access online

FM 2012: Formal Methods

Author : Giannakopoulou 

Springer

Access online

The Definitive Guide to SQLite

Author : Owens 

Springer

Access online