Mostrando 1 - 8 resultados de 8 para a busca '(("and computational in computing program") OR ("based computational user computing program"))~', tempo de busca: 1,31s Refinar Resultados
1
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Acessar documento
Tese
2
Publicado em 2012
... de cálculo numérico. Este trabalho descreve a aplicação SIMCOMB.exe, um programa que através da realização...
Acessar documento
Dissertação
3
Publicado em 2016
... that characterize different levels of structuration and an analytical tool proposition based...
Acessar documento
Tese
Exportar CSV Export RIS