E- text books

Néron Models and Base Change

Author : Halle 

Springer

Access online

Algorithms and Data Structures

Author : Dehne 

Springer

Access online

The Semantic Web - ISWC 2006

Author : Cruz 

Springer

Access online

Computer Vision - ECCV 2004

Author : Pajdla 

Springer

Access online

Interactive Theorem Proving

Author : Kaufmann 

Springer

Access online