Colección: TEMAS
| Temas | Cantidad |
|---|---|
| BPL | 1 |
| Ciencias Informáticas | 10 |
| Compilers | 2 |
| Educación | 3 |
| Games | 1 |
| Intelligent agents | 1 |
| Juegos de Video | 1 |
| Lenguajes de Programación | 2 |
| Model checking | 1 |
| Network management | 1 |
| PLC | 1 |
| People | 1 |
| Process models | 1 |
| SNMP | 1 |
| Security | 2 |
| Software | 1 |
| Software process | 1 |
| Software process models (e.g., CMM, ISO, PSP) | 1 |
| TIC | 1 |
| Tecnología Educacional | 1 |
| Temporal logic | 1 |
| Verification | 1 |
| análisis estático | 1 |
| análisis numérico | 1 |
| aritmética de punto flotante | 1 |
| certificación de código | 1 |
| criptografía | 1 |
| educación superior; modelos y simulación; entornos de enseñanza-aprendizaje; simuladores; modelos de existencias | 1 |
| error de redondeo | 1 |
| gestión de información educativa | 1 |
| inglés; pre ingreso; EVEA; texto; virtual | 1 |
| sistema de información | 1 |
| tecnología de la información | 1 |
| verificación de código | 1 |