Showing 1 - 8 results of 8 for search '(("by computational in computing program") OR ("based solutions in computational program"))~', query time: 1.49s Refine Results
2
Published 2004
Subjects: ...Especificação de sistemas e programas...
Access document
Doctoral thesis
4
Published 2021
...Thesis developed within the Doctoral Program in Transport Systems, supervised by Professors...
Access document
5
Published 2014
... estudo objetivou-se com o intuito de prosseguir na pesquisa sobre paralelismo, atuando num programa...
Access document
Master thesis
6
... 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