Buscar por Autor Bonelli, Eduardo
Mostrando resultados 5 a 9 de 9
< Anterior
Fecha de publicación | Título | ???itemlist.dc.creator.*??? | ???itemlist.dc.provenance??? |
---|---|---|---|
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 |