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
Languages
4
SOFTWARE ENGINEERING
3
Código Móvil Seguro
2
análisis estático
2
certificación de código
2
código móvil seguro
2
verificación de código
2
Análisis Estático
1
Certificación de Código
1
Code generation
1
Compilador Certificante
1
Compiladores Certificantes
1
Compilers
1
Código Móvil
1
Código Móvil Seguro (CMS)
1
Códigos
1
Informática
1
Lenguajes de programación
1
Optimization
1
Parallel programming
1
Proof Carrying Code (PCC)
1
Security
1
Teoría de Tipos
1
Theory of Computation
1
Verificación de Código
1
base de datos
1
compiladores certificantes
1
concurrencia
1
código
1
-
1por Aguirre, Jorge, Baum, Gabriel Alfredo, Arroyo, Marcelo, Bavera, Francisco, Medel, Ricardo, Nordio, Martín, Kilmurray, Cecilia, Mussolini, JohannaMaterias: “...Código Móvil Seguro...”
Publicado 2005
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2
-
3por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel AlfredoMaterias: “...Código Móvil Seguro...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia -
4por Arroyo, Marcelo, Florio, Nicolás, Felippa, J., Aguirre, Jorge, Gómez, Gabriela, Bavera, Francisco, Caymes Scutari, Paola, Nordio, D.Materias: “...código...”
Publicado 2002
Aportado por: SEDICI (UNLP)Objeto de conferencia -
5por Bavera, Francisco, Nordio, Martín, Aguirre, Jorge, Arroyo, Marcelo, Baum, Gabriel Alfredo, Medel, RicardoMaterias: “...código móvil seguro...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia -
6por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel AlfredoMaterias: “...Código Móvil...”
Publicado 2003
Aportado por: SEDICI (UNLP)Objeto de conferencia -
7por Bavera, FranciscoMaterias: “...código móvil seguro...”
Publicado 2007
Aportado por: SEDICI (UNLP)Objeto de conferencia