Search alternatives:
"based computational of complexity program" » "by computational of complexity program" (Expand search), "based computational of complex program" (Expand search), "based computational of complexity from" (Expand search), "based computational of complexity priors" (Expand search), "based computational one complexity program" (Expand search), "based computational _ complexity program" (Expand search), "based computational 3d complexity program" (Expand search)
"and computational in computing program" » "_ computational in computing program" (Expand search), "and computational in consulting program" (Expand search), "and computational in computer program" (Expand search), "and computational in computador program" (Expand search), "and computational and computing program" (Expand search), "and computational _ computing program" (Expand search), "and computational 3d computing program" (Expand search), "and computational of computing program" (Expand search)
"based computational of complexity program" » "by computational of complexity program" (Expand search), "based computational of complex program" (Expand search), "based computational of complexity from" (Expand search), "based computational of complexity priors" (Expand search), "based computational one complexity program" (Expand search), "based computational _ complexity program" (Expand search), "based computational 3d complexity program" (Expand search)
"and computational in computing program" » "_ computational in computing program" (Expand search), "and computational in consulting program" (Expand search), "and computational in computer program" (Expand search), "and computational in computador program" (Expand search), "and computational and computing program" (Expand search), "and computational _ computing program" (Expand search), "and computational 3d computing program" (Expand search), "and computational of computing program" (Expand search)
1
2
3
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Access document
Access document
Doctoral thesis
4
“...257734638). The funders had no role in study design, data collection and analysis, decision...”
Access document
Access document
Article
5
“... de cálculo numérico. Este trabalho descreve a aplicação SIMCOMB.exe, um programa que através da realização...”
Access document
Access document
Master thesis
6
“...), lu (LU decomposition) and durbin (system solution Toeplitz matrix). Each has different computational complexity. The...”
Access document
Access document
Master thesis
7
8
“...Thesis developed within the Doctoral Program in Transport Systems, supervised by Professors...”
Access document
Access document
9
10
“... that characterize different levels of structuration and an analytical tool proposition based...”
Access document
Access document
Doctoral thesis
11
12
13
14
“... 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