Showing 1 - 9 results of 9 for search '(("based solutions of computing program") OR ("based computational to computing program"))~', query time: 1.28s Refine Results
2
Published 2004
Subjects: ...Especificação de sistemas e programas...
Access document
Doctoral thesis
5
Published 2021
...Thesis developed within the Doctoral Program in Transport Systems, supervised by Professors...
Access document
6
Published 2014
... estudo objetivou-se com o intuito de prosseguir na pesquisa sobre paralelismo, atuando num programa...
Access document
Master thesis
7
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Access document
Doctoral thesis
Export CSV Export RIS