Mostrando
1 - 3
Resultados de
3
Para Buscar '
Feller, Federico
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Feller, Federico
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Feller, Federico
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Lógica de pruebas para certificación de computación móvil
por
Feller
,
Federico
Publicado 2009
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Tesis
Tesis de grado
Agregar a favoritos
Guardado en:
2
Justification Logic as a foundation for certifying mobile computation
por
Bonelli, Eduardo
,
Feller
,
Federico
Publicado 2012
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Articulo
Agregar a favoritos
Guardado en:
3
MVC en O’Haskell
por
Ruiz, Germán Esteban
,
Feller
,
Federico
,
Martínez López, Pablo E.
Publicado 2004
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Ciencias Informáticas
Curry-de Bruijn-Howard isomorphism
Informática
Justification Logic
Lógica
Mobile computation
O’Haskell
Programación
SOFTWARE ENGINEERING
Typed lambda calculus
base de datos
combinación de paradigmas
lenguaje de programación
lógica matemática y lenguajes formales
programación funcional
programación orientada a objetos
Cargando...