Mostrando 1 - 2 Resultados de 2 Para Buscar '' Saltar al contenido
BDU3
  • Inicio
Avanzado
Restablecer filtros
Materias: Commodity clusters
Restablecer filtros
Mostrar filtros (1)
Materias: Commodity clusters
  • Resultados de búsqueda
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
Alloy 2 Alloying 2 Cerium alloys 2 Code analysis 2 Commodity clusters DynAlloy 2 Novel techniques 2 Relational semantics 2 SAT-based code analysis 2 Sequential analysis 2 Software testing 2 Soundness and completeness 2 Static analysis 2 Symmetry-breaking 2 Tools 2
Mostrando 1 - 2 Resultados de 2 Para Buscar '', tiempo de consulta: 0.06s Limitar resultados
  1. 1
    Parallel bounded analysis in code with rich invariants by refinement of field bounds
    por Rosner, Nicolás, Galeotti, Juan Pablo, Frias, Marcelo
    Publicado 2013
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Enlace del recurso
  2. 2
    Parallel bounded analysis in code with rich invariants by refinement of field bounds
    por Rosner, N., Galeotti, J., Bermúdez, S., Blas, G.M., De Rosso, S.P., Pizzagalli, L., Zemín, L., Frias, M.F.
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    CONF
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda

Refine su búsqueda

Universidad de Buenos Aires 2
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) 2
CONF 1
Bermúdez, S. 1 Blas, G.M. 1 De Rosso, S.P. 1 Frias, M.F. 1 Frias, Marcelo 1 Galeotti, J. 1 Galeotti, Juan Pablo 1 Pizzagalli, L. 1 Rosner, N. 1 Rosner, Nicolás 1 Zemín, L. 1 ver todos ...

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...