Mostrando 1 - 16 resultados de 16 para a busca '(("and computational in computing program") OR ("based computational theory computing program"))~', tempo de busca: 1,35s Refinar Resultados
4
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Acessar documento
Tese
5
Publicado em 2014
... estudo objetivou-se com o intuito de prosseguir na pesquisa sobre paralelismo, atuando num programa...
Acessar documento
Dissertação
6
Publicado em 2016
... that characterize different levels of structuration and an analytical tool proposition based...
Acessar documento
Tese
13
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
14
Publicado em 2019
... e constatar que o programa satisfaz todas as restrições impostas, maximiza o ganho de peso de cada animal...
Acessar documento
Dissertação
Exportar CSV Export RIS