Buscar
Mostrando ítems 1-10 de 24
Sobre la computación del humor. Del uso de estereotipos para la computación de construcciones potencialmente humorísticas
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2014)
Fastest: Automatizando el testing de software
(Departamento de Ciencias de la Computación; Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2012)
Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Devs y patrones de diseño
(Departamento de Ciencias de la Computación; Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2012)
Implementación Autónoma de Métodos de Integración Numérica QSS
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Reconocimiento de Escritura Manuscrita (Online Handwriting Recognition)
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Poda de árboles de Testing a través de la detección de contradicciones matemáticas
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Combinando Métodos para Búsquedas en Espacios Métricos Anidados
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Especificación Formal del Modelo DNSSEC en el Cálculo de Construcciones Inductivas
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Documentación de Estilos Arquitectónicos en Sistemas Web Colaborativos Sensibles al Contexto
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)