E- text books

Reset

Automated Deduction—CADE-11

Author : Kapur 

Springer

Access online

Automated Reasoning

Author : Goré 

Springer

Access online

Algorithms for Computational Biology

Author : Botón-Fernández 

Springer

Access online

Advances in Information Retrieval

Author : Hiemstra 

Springer

Access online

Advances in Petri Nets 1990

Author : Rozenberg 

Springer

Access online