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
5
Languages
2
Concurrent Programming
1
Código Móvil Seguro
1
Códigos
1
Logic Programming
1
Mobile Code
1
PROGRAMMING LANGUAGES
1
Parallel programming
1
Programming Languages
1
Proof-Carrying Code
1
SOFTWARE ENGINEERING
1
Security Properties
1
Translating fork specification
1
análisis estático
1
base de datos
1
certificación de código
1
compiladores certificantes
1
construcción formal de programas
1
fork álgebras
1
logic programs
1
teoría de la programación
1
teoría de listas
1
tipos de datos
1
verificación de código
1
-
1por Mocciola, Pablo AndrésMaterias: “...Concurrent Programming...”
Publicado 1998
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
2por Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Arroyo, MarceloMaterias: “...Logic Programming...”
Publicado 2001
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Nordio, Martín, Bavera, Francisco, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel AlfredoMaterias: “...Programming Languages...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia -
4
-
5por Aguirre, Jorge, Baum, Gabriel Alfredo, Arroyo, Marcelo, Bavera, Francisco, Medel, Ricardo, Nordio, Martín, Kilmurray, Cecilia, Mussolini, JohannaMaterias: “...Parallel programming...”
Publicado 2005
Aportado por: SEDICI (UNLP)Objeto de conferencia