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
Informática
2
Optimization
2
Algorithms
1
Análisis de Algoritmos
1
Divide and Conquer
1
Especificación y Transformación de Programas
1
Estrategias de Diseño de Algoritmos: Programación Dinámica
1
Fork Algebras
1
Optimización de Programas
1
Optimización de Programas Recursivos
1
PROGRAMMING LANGUAGES
1
Software
1
Verification
1
construcción formal de programas
1
derivación de programas
1
fork álgebras
1
lógica de programacion
1
métodos formales
1
teoría de listas
1
tipos de datos
1
verificación formal
1
-
1por Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Medel, RicardoMaterias: “...Optimización de Programas...”
Publicado 1998
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2Materias: “...Especificación y Transformación de Programas...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Díaz, Javier RobertoMaterias: “...derivación de programas...”
Publicado 2001
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
4Materias: “...construcción formal de programas...”
Aportado por: SEDICI (UNLP)Objeto de conferencia