E- text books

Interactive Theorem Proving

Author : Ayala-Rincón 

Springer

Access online

Computers and Productivity

Author : Hempell 

Springer

Access online

Interactive Theorem Proving

Author : Avigad 

Springer

Access online

Advances in Conceptual Modeling

Author : Jeusfeld 

Springer

Access online

Communications and Networking

Author : Cowley 

Springer

Access online

Enterprise Information Systems

Author : Filipe 

Springer

Access online

Photosystem I

Author : Golbeck 

Springer

Access online

Data Mining

Author : Cios 

Springer

Access online

Hand Bone Age

Author : Gilsanz 

Springer

Access online