Mostrando 1 - 8 resultados de 8 para a busca '(("by computational in computing program") OR ("based solutions in computational program"))~', tempo de busca: 1,33s Refinar Resultados
2
Publicado em 2004
Assuntos: ...Especificação de sistemas e programas...
Acessar documento
Tese
4
Publicado em 2021
...Thesis developed within the Doctoral Program in Transport Systems, supervised by Professors...
Acessar documento
5
Publicado em 2014
... estudo objetivou-se com o intuito de prosseguir na pesquisa sobre paralelismo, atuando num programa...
Acessar documento
Dissertação
6
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Acessar documento
Tese
Exportar CSV Export RIS