E- text books

Interactive Theorem Proving

Author : Kaufmann 

Springer

Access online

Pro SQL Server 2005 Service Broker

Author : Aschenbrenner 

Springer

Access online

Trust Management II

Author : Karabulut 

Springer

Access online

Computer Aided Verification

Author : Chockler 

Springer

Access online

Atlas of Sarcoidosis

Author : Mihailovic-Vucinic 

Springer

Access online