Mostrando 1 - 7 resultados de 7 para a busca '(("based computational and computation program") OR ("by computation in computing program"))~', tempo de busca: 1,52s 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
... that characterize different levels of structuration and an analytical tool proposition based...
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