E- text books

Automated Deduction – CADE 27

Author : Fontaine 

Springer

Access online

Statistical Physics

Author : Yoshioka 

Springer

Access online

Automated Deduction – CADE-21

Author : Pfenning 

Springer

Access online

Computer Security - ESORICS 2008

Author : Jajodia 

Springer

Access online

Codici Cifrati

Author : Beckman 

Springer

Access online

A Taste of Topology

Author : RundeAxler 

Springer

Access online

Automated Deduction — Cade-13

Author : McRobbie 

Springer

Access online