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