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
4
Languages
2
Theory of Computation
2
CODING AND INFORMATION THEORY
1
Code generation
1
Compilers
1
Código Móvil Seguro (CMS)
1
Dynamic programming
1
Educación
1
Formal Definitions and Theory
1
Proof Carrying Code (PCC)
1
Software
1
código
1
herramientas
1
informática
1
lenguajes
1
procesadores de lenguajes
1
proof-carrying code
1
-
1
-
2
-
3por Aguirre, Jorge, Medel, Ricardo, Arroyo, Marcelo, Florio, Nicolás, Bavera, Francisco, Caymes Scutari, Paola, Nordio, D.Materias: “...proof-carrying code...”
Publicado 2003
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: “...Proof Carrying Code (PCC)...”
Publicado 2002
Aportado por: SEDICI (UNLP)Objeto de conferencia