Mostrando 1 - 7 resultados de 7 para a busca '(("based computational _ computing program") OR ("based applications in computation program"))~', tempo de busca: 1,48s Refinar Resultados
1
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Acessar documento
Tese
5
Publicado em 2016
.... For this reason, this work intends to show how the adoption of structures based in metadata contributes...
Acessar documento
Tese
7
Publicado em 2017
... classificações segundo o Programa de Qualidade do Café (PQC) da Associação Brasileira da Indústria do Café (ABIC...
Acessar documento
Tese
Exportar CSV Export RIS