Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
13
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
13
Languages
6
SOFTWARE ENGINEERING
4
Compilers
3
base de datos
3
ARTIFICIAL INTELLIGENCE
2
Código Móvil Seguro
2
Procesadores de Lenguajes
2
Security
2
Theory of Computation
2
análisis estático
2
certificación de código
2
procesadores de lenguajes
2
proof-carrying code
2
verificación de código
2
Análisis Estático
1
Certificación de Código
1
Compilador Certificante
1
Compiladores Certificantes
1
Código Móvil
1
Código Móvil Seguro (CMS)
1
Códigos
1
Lenguajes de Programación
1
Lenguajes de programación
1
Mobile Code
1
Métodos Formales
1
Optimization
1
PCC
1
Parallel programming
1
Program verification
1
-
1por Córdoba, Laura, Tardivo, María Laura, Bavera, Francisco, Arroyo, Marcelo, Aguirre, Jorge
Publicado 2007Aportado por: SEDICI (UNLP)Objeto de conferencia -
2por Aguirre, Jorge, Baum, Gabriel Alfredo, Arroyo, Marcelo, Bavera, Francisco, Medel, Ricardo, Nordio, Martín, Kilmurray, Cecilia, Mussolini, Johanna
Publicado 2005Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Nordio, Martín, Bavera, Francisco, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Publicado 2004Aportado por: SEDICI (UNLP)Objeto de conferencia -
4
-
5
-
6por Bavera, Francisco, Nordio, Martín, Aguirre, Jorge, Arroyo, Marcelo, Baum, Gabriel Alfredo, Medel, Ricardo
Publicado 2004Aportado por: SEDICI (UNLP)Objeto de conferencia -
7por Aguirre, Jorge, Medel, Ricardo, Arroyo, Marcelo, Florio, Nicolás, Bavera, Francisco, Caymes Scutari, Paola, Nordio, D.
Publicado 2003Aportado por: SEDICI (UNLP)Objeto de conferencia -
8por Arroyo, Marcelo, Florio, Nicolás, Felippa, J., Aguirre, Jorge, Gómez, Gabriela, Bavera, Francisco, Caymes Scutari, Paola, Nordio, D.
Publicado 2002Aportado por: SEDICI (UNLP)Objeto de conferencia -
9
-
10
-
11por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Publicado 2004Aportado por: SEDICI (UNLP)Objeto de conferencia -
12por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Publicado 2003Aportado por: SEDICI (UNLP)Objeto de conferencia -
13por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Publicado 2005Aportado por: SEDICI (UNLP)Objeto de conferencia