E- text books

Computer Aided Verification

Author : Shoham 

Springer

Access online

Häuser machen Schule

Author : Egger 

Springer

Access online

Algebraic and Logic Programming

Author : Kirchner 

Springer

Access online

Beginning Silverlight 2

Author : Lair 

Springer

Access online