Computação Verificada Aplicada à Resolução de Sistemas Lineares Intervalares Densos em Arquiteturas Multicore
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- https://brcris.ibict.br/individual/cour_57127f0f-f632-4c42-ba2f-e3e5aeb43d16
- CIÊNCIA DA COMPUTAÇÃO Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 2010-01-01