Search alternatives:
"based computation and computational program" » "based computational and computational program" (Expand search), "based competition and computational program" (Expand search), "based compilation and computational program" (Expand search), "based computation _ computational program" (Expand search), "based computation of computational program" (Expand search)
"_ computation in computing program" » "_ computation in consulting program" (Expand search), "_ computation in computer program" (Expand search), "_ computation in computador program" (Expand search), "_ computation of computing program" (Expand search), "_ imputation in computing program" (Expand search), "_ amputation in computing program" (Expand search), "_ computation and computing program" (Expand search), "_ computation _ computing program" (Expand search)
"based computation and computational program" » "based computational and computational program" (Expand search), "based competition and computational program" (Expand search), "based compilation and computational program" (Expand search), "based computation _ computational program" (Expand search), "based computation of computational program" (Expand search)
"_ computation in computing program" » "_ computation in consulting program" (Expand search), "_ computation in computer program" (Expand search), "_ computation in computador program" (Expand search), "_ computation of computing program" (Expand search), "_ imputation in computing program" (Expand search), "_ amputation in computing program" (Expand search), "_ computation and computing program" (Expand search), "_ computation _ computing program" (Expand search)
1
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Access document
Access document
Doctoral thesis
2
3
4
5
6
“... that characterize different levels of structuration and an analytical tool proposition based...”
Access document
Access document
Doctoral thesis
7
8
“... classificações segundo o Programa de Qualidade do Café (PQC) da Associação Brasileira da Indústria do Café (ABIC...”
Access document
Access document
Doctoral thesis