E- text books

Reset

Types for Proofs and Programs

Author : Callaghan 

Springer

Access online

Theoretical Knowledge

Author : Stepin 

Springer

Access online

The IMO Compendium

Author : Djukić 

Springer

Access online

The Smart Grid

Author : Bollen 

Springer

Access online