Showing 1 - 6 results of 6 for search '(("based solutions and computing program") OR ("using computational and computing program"))~', query time: 1.37s Refine Results
2
Published 2011
... an N=N bridge, have been synthesized by azo coupling using 1-alkyl(aryl)thienylpyrroles (1) and benzothiazolyl...
Access document
Article
3
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Access document
Doctoral thesis
4
Published 2014
... estudo objetivou-se com o intuito de prosseguir na pesquisa sobre paralelismo, atuando num programa...
Access document
Master thesis
Export CSV Export RIS