E- text books

Types for Proofs and Programs

Author : Dybjer 

Springer

Access online

Case-Based Approximate Reasoning

Author : Hüllermeier 

Springer

Access online

Biosphere Origin and Evolution

Author : Dobretsov 

Springer

Access online

Hybrid Systems Biology

Author : Maler 

Springer

Access online

Acute Care Surgery

Author : Britt 

Springer

Access online

Lipids in Aquatic Ecosystems

Author : Kainz 

Springer

Access online

Geometry and Monadology

Author : Risi 

Springer

Access online