Revista de Informática Teórica e Aplicada - Volume 3
16 registros retornados
Número 2 - Ano 1996
Tim Kersten.
A case study for the use of verifying BLAS in na LAPACK like verifying driver-routine for the solution of linear systems. 
5
- 20
Buscar na Web Processando consulta.
João Batista S. de Oliveira.
A Backward Mode for slope evaluation and remark on backward methods for interval variables. 
7
- 21
Buscar na Web Processando consulta.