Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Ciencias Informáticas | 2 |
| Deductive Databases | 1 |
| Formal methods | 1 |
| Languages | 2 |
| Metric Temporal Logic | 1 |
| Metrics | 1 |
| Negation | 1 |
| Programming Languages | 1 |
| RAISE language | 1 |
| Reengineering of processes | 1 |
| Reverse engineering | 1 |
| SOFTWARE ENGINEERING | 2 |
| base de datos | 2 |