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.
Ciencias Informáticas
3
SOFTWARE ENGINEERING
3
base de datos
Análisis Estático
1
Certificación de Código
1
Compiladores Certificantes
1
Código Móvil Seguro
1
Mobile Code
1
Métodos Formales
1
Optimization
1
PCC
1
Procesadores de Lenguajes
1
Programming Languages
1
Proof-Carrying Code
1
Security Properties
1
UNRC
1
Verificación de Código
1
línea de investigación
1
-
1por Córdoba, Laura, Tardivo, María Laura, Bavera, Francisco, Arroyo, Marcelo, Aguirre, Jorge
Publicado 2007Aportado por: SEDICI (UNLP)Objeto de conferencia -
2por Nordio, Martín, Bavera, Francisco, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Publicado 2004Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Publicado 2004Aportado por: SEDICI (UNLP)Objeto de conferencia