Mostrando ítems 1-10 de 68
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)
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)
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)
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)
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)
Gestión de Múltiples Puntos de Vista en Análisis y Diagnóstico de PyMEs
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
mcBrief: un descriptor local de features para imágenes color
(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)
Selección dinámica de pivotes que se adaptan a las búsquedas en Espacios Métricos
(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)