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