Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Ciencias Informáticas | 4 |
| Componentes Software | 1 |
| Deductive Databases | 1 |
| Formal methods | 1 |
| Interoperabilidad | 1 |
| Languages | 4 |
| Lenguajes de Coordinación | 1 |
| Metric Temporal Logic | 1 |
| Metrics | 1 |
| Negation | 1 |
| Programming Languages | 1 |
| RAISE language | 1 |
| Reengineering of processes | 1 |
| Reverse engineering | 1 |
| SOFTWARE ENGINEERING | 4 |
| SOL | 1 |
| Software | 1 |
| base de datos | 4 |
| lenguaje para el programador | 1 |