E- text books

Evolutionary Programming VI

Author : Angeline 

Springer

Access online

Model-Based Safety and Assessment

Author : Ortmeier 

Springer

Access online

Bioconductor Case Studies

Author : Hahne 

Springer

Access online

Computer Aided Verification

Author : Lahiri 

Springer

Access online

Computer Security — ESORICS 2002

Author : Gollmann 

Springer

Access online

Proof Theory and Intuitionistic Systems

Author : Scarpellini 

Springer

Access online