Mostrando 1 - 12 resultados de 12 para a busca '(("based computational in computing program") OR ("and computational theory using program"))~', tempo de busca: 1,25s Refinar Resultados
2
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Acessar documento
Tese
3
Publicado em 2014
... estudo objetivou-se com o intuito de prosseguir na pesquisa sobre paralelismo, atuando num programa...
Acessar documento
Dissertação
4
Publicado em 2016
... that characterize different levels of structuration and an analytical tool proposition based...
Acessar documento
Tese
11
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