E- text books

Computer Aided Verification

Author : Damm 

Springer

Access online

Cohomologie Galoisienne

Author : Serre 

Springer

Access online

Advances in Conceptual Modeling

Author : Indulska 

Springer

Access online

Computers and Productivity

Author : Hempell 

Springer

Access online