Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
COMPUTACION DISTRIBUIDA
AUTOMATAS TEMPORIZADOS
3
AUTOMATED VERIFICATION
3
COMPUTACION PARALELA
3
DISTRIBUTED COMPUTING
3
MODEL CHECKING
3
MULTIPROCESADOR
3
MULTIPROCESSOR
3
PARALLEL COMPUTING
3
REAL-TIME SYSTEMS
3
SISTEMAS DE TIEMPO REAL
3
TIMED AUTOMATA
3
VERIFICACION AUTOMATICA
3
ZEUS
3
COMPUTACION DE REJILLAS
2
ANALISIS DE DATOS
1
BIG DATA
1
FLUJO DE TRABAJO
1
INTERFACES HOMBRE-MAQUINA
1
PROCESAMIENTO DE DATOS
1
QUIMICA
1
REJILLA SEMANTICA
1
SOFTWARE
1
WEB SEMANTICA
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7