E- text books

Computer Aided Verification

Author : Kroening 

Springer

Access online

Algebraic K-theory

Author : Swan 

Springer

Access online

Trends in Functional Programming

Author : Bowman 

Springer

Access online

Bond Valences

Author : Brown 

Springer

Access online

Institutional Analysis and Praxis

Author : Natarajan 

Springer

Access online

Virtual Reality

Author : Shumaker 

Springer

Access online

Middleware 2008

Author : Issarny 

Springer

Access online

Coordination Models and Languages

Author : Damiani 

Springer

Access online

AI '88

Author : Barter 

Springer

Access online

Magnetic Bearings

Author : Maslen 

Springer

Access online