| Títol | Autor | Ubicació | # | Disp. | Dig. | Data d'entrada | ||
| 1 | Teoria d'autòmats i llenguatges formals I | Vancells | EXEMPLARS ESPURGATS |
1 | 01/03/2006 | |||
| 2 | Teoria d'autòmats i llenguatges formals II | Bofill Arasa | EXEMPLARS ESPURGATS |
1 | 01/03/2006 | |||
| 3 | Teoría de la computación | Brookshear | BCU-Informàtica |
1 | 22/11/2007 | |||
| 4 | Teoria d'autòmats i llenguatges formals / | Ferri, Francesc J. | EXEMPLARS ESPURGATS |
1 | 08/04/2013 |