E- text books

Reset

Computer Science Logic

Author : Baaz 

Springer

Access online

Computer-Aided Verification

Author : Clarke 

Springer

Access online

Cognitive Behavioural Systems

Author : Esposito 

Springer

Access online

CLU Reference Manual

Author : Liskov 

Springer

Access online

Coordination Models and Languages

Author : Ciancarini 

Springer

Access online

Cryptography and Coding

Author : Galbraith 

Springer

Access online