Mostrando 1 - 8 resultados de 8 para a busca '(("based computational in computation program") OR ("and computational of computing program"))~', tempo de busca: 1,51s Refinar Resultados
1
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Acessar documento
Tese
4
Publicado em 2016
... that characterize different levels of structuration and an analytical tool proposition based...
Acessar documento
Tese
8
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