Skip navigation
Navegación
Inscribir Institución
Inicio
Colecciones
Acerca de RODNA
Iniciar Sesión
RODNA
Buscar por Autor Bonelli, Eduardo
Ir a:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
O introducir las primeras letras:
Ordenar por:
Título
Fecha de publicación
Fecha de envío
En orden:
Ascendente
Descendente
Resultados por página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autor/Registro:
Todo
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 9 de 9
Fecha de publicación
Título
???itemlist.dc.creator.*???
???itemlist.dc.provenance???
1-may-2015
Algoritmos eficientes para problemas de grafos
Soulignac, Francisco
Repositorio Digital de Acceso Abierto RIDAA-UNQ
2008
Análisis de vulnerabilidades en aplicaciones web basado en flujo de información
Videla, Gabriel
SEDICI
2010
Compilación de programas seguros
Molinari, Enrique
SEDICI
15-dic-2014
Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas
Steren, Gabriela
Facultad de Ciencias Exactas y Naturales de la UBA
2009
Lógica de pruebas para certificación de computación móvil
Feller, Federico
SEDICI
1-may-2015
Programación funcional : fundamentos revisados
Bonelli, Eduardo
;
Martínez López, Pablo
Repositorio Digital de Acceso Abierto RIDAA-UNQ
2003
Reescritura de términos y sustituciones explícitas
Bonelli, Eduardo
Facultad de Ciencias Exactas y Naturales de la UBA
1996
Sobre la representación de S4.3
Bonelli, Eduardo
;
Menni, Matías
SEDICI
2012
Tipos para seguridad basada en flujo de información y computación auditada
Bavera, Francisco Pedro
Facultad de Ciencias Exactas y Naturales de la UBA