E- text books

Introduction to Affine Group Schemes

Author : Waterhouse 

Springer

Access online

Cholera Toxins

Author : Chaudhuri 

Springer

Access online

Computer Security — ESORICS 94

Author : Gollmann 

Springer

Access online

Operating Systems Engineering

Author : Maekawa 

Springer

Access online

Computer Aided Verification

Author : Majumdar 

Springer

Access online

Discontinuous Čebyšev Systems

Author : Zielke 

Springer

Access online

NASA Formal Methods

Author : Barrett 

Springer

Access online