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.
SISTEMAS DE TIEMPO REAL
AUTOMATAS TEMPORIZADOS
3
AUTOMATED VERIFICATION
3
COMPUTACION DISTRIBUIDA
3
COMPUTACION PARALELA
3
DISTRIBUTED COMPUTING
3
MODEL CHECKING
3
MULTIPROCESADOR
3
MULTIPROCESSOR
3
PARALLEL COMPUTING
3
REAL-TIME SYSTEMS
3
TIMED AUTOMATA
3
VERIFICACION AUTOMATICA
3
ZEUS
3
ARBOLES DE DECISION
2
VERIFICACION DE MODELOS
2
ADQUISICION DE DATOS
1
LINUX
1
PROGRAMACION ORIENTADA A OBJETOS
1
SISTEMAS DE CONTROL
1
SISTEMAS DE TELETRATAMIENTO
1
-
1por Balaguer, Federico
Publicado 1996Aportado por: Biblioteca Cs. Sociales E. Faletto (FLACSO)Libro -
2
-
3
-
4
-
5
-
6
-
7
-
8