SEDICI - Repositorio de la Universidad Nacional de La Plata
Inicio
Buscar material
Colecciones
Autores
Temas
Subir material
Institucional
¿Que es SEDICI?
Políticas del repositorio
Links
Staff
Cómo llegar
Preguntas frecuentes
Cómo agregar trabajos
Información para tesistas
Revistas de Acceso Abierto
Más preguntas frecuentes
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Refine su busqueda
Tipo de documento
Objeto de conferencia (4)
Fecha de publicación
2001 (2)
1999 (2)
1998 (1)
1997 (1)
Materia
Ciencias Informáticas (4)
Informática (1)
Autor
Baum, Gabriel Alfredo (4)
Argarañaz, Verónica (1)
Frias, Marcelo F. (1)
Luna, Carlos Daniel (1)
Medel, Ricardo (1)
Pons, Claudia Fabiana (1)
Presso, María José (1)
Prieto, Máximo (1)
Romero, Natalia (1)
Palabra Clave
Algebras Fork (1)
Algorithms (1)
Análisis de Algoritmos (1)
base de datos (1)
Divide and Conquer (1)
Especificación y Transformación de Programas (1)
Estrategias de Diseño de Algoritmos: Programación Dinámica (1)
Formalising Sharing Mechanisms (1)
Interoperability (1)
Lógica Modal (1)
Ver más
Unidades académicas
→
Facultad de Informática
Facultad de Informática
Resultados de su búsqueda...
Mostrando 4 de un total de 4 resultados de la comunidad: Facultad de Informática.
(0.186 segundos)
Mostrando ítems 1-4 de 4
1
Objeto de conferencia
III Congreso Argentino de Ciencias de la Computación
1997
Formalising sharing mechanisms in object-oriented paradigm
Argarañaz, Verónica; Baum, Gabriel Alfredo; Pons, Claudia; Presso, María José; Prieto, Máximo; Romero, Natalia
Objeto de conferencia
IV Congreso Argentina de Ciencias de la Computación
1998
Optimización del orden de evaluación de programas recursivos
Luna, Carlos Daniel; Baum, Gabriel Alfredo
Objeto de conferencia
V Congreso Argentino de Ciencias de la Computación
2001
A proof of the interpretability of P/PML in a relational setting
Baum, Gabriel Alfredo; Frias, Marcelo F.
Objeto de conferencia
V Congreso Argentino de Ciencias de la Computación
2001
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal
Medel, Ricardo; Baum, Gabriel Alfredo
Mostrando ítems 1-4 de 4
1
Iniciar sesión
Resultados
5
10
20
40
60
80
100
Ordenar por
Relevancia
Título (ascendente)
Título (descendente)
Fecha de publicación (ascendente)
Fecha de publicación (descendente)
Fecha de carga (ascendente)
Fecha de carga (descendente)