Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Ciencias Informáticas | 5 |
| Deductive Databases | 1 |
| EG (Electronic Government) | 1 |
| Languages | 1 |
| Metric Temporal Logic | 1 |
| Metrics | 1 |
| Negation | 1 |
| Programming Languages | 1 |
| RAISE | 1 |
| SOFTWARE ENGINEERING | 5 |
| base de datos | 5 |
| community of practice | 1 |
| computer supported collaboration | 1 |
| formal methods | 1 |
| message-oriented middleware | 1 |
| model checking | 1 |
| online communities | 1 |
| ontologies | 1 |
| semantic web | 2 |
| software infrastructure | 1 |
| verification techniques | 1 |