Colección: TEMAS
Temas | Cantidad |
---|---|
Ciencias Informáticas | 3 |
Deductive Databases | 1 |
Formal methods | 1 |
Geología | 1 |
Languages | 1 |
Metric Temporal Logic | 1 |
Metrics | 1 |
Model checking | 1 |
Negation | 1 |
Programming Languages | 1 |
SOFTWARE ENGINEERING | 1 |
Verification | 1 |
base de datos | 1 |
interactions | 1 |
scientifc visualization | 1 |
spinels | 1 |
tratamiento de datos | 1 |