Buscas alternativas:
"based computational in computing program" » "by computational in computing program" (Expandir a busca), "based computational in consulting program" (Expandir a busca), "based computational in computer program" (Expandir a busca), "based computational in computador program" (Expandir a busca), "based computational and computing program" (Expandir a busca), "based computational _ computing program" (Expandir a busca), "based computational 3d computing program" (Expandir a busca), "based computational of computing program" (Expandir a busca)
"and computational to examples program" » "_ computational to examples program" (Expandir a busca), "and computational tool examples program" (Expandir a busca), "and computational _ examples program" (Expandir a busca), "and computational 3d examples program" (Expandir a busca), "and computational to simples program" (Expandir a busca), "and computational to examples from" (Expandir a busca), "and computational to families program" (Expandir a busca), "and computational two examples program" (Expandir a busca), "and computational the examples program" (Expandir a busca)
"based computational in computing program" » "by computational in computing program" (Expandir a busca), "based computational in consulting program" (Expandir a busca), "based computational in computer program" (Expandir a busca), "based computational in computador program" (Expandir a busca), "based computational and computing program" (Expandir a busca), "based computational _ computing program" (Expandir a busca), "based computational 3d computing program" (Expandir a busca), "based computational of computing program" (Expandir a busca)
"and computational to examples program" » "_ computational to examples program" (Expandir a busca), "and computational tool examples program" (Expandir a busca), "and computational _ examples program" (Expandir a busca), "and computational 3d examples program" (Expandir a busca), "and computational to simples program" (Expandir a busca), "and computational to examples from" (Expandir a busca), "and computational to families program" (Expandir a busca), "and computational two examples program" (Expandir a busca), "and computational the examples program" (Expandir a busca)
1
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Acessar documento
Acessar documento
Tese
2
3
“... de cálculo numérico. Este trabalho descreve a aplicação SIMCOMB.exe, um programa que através da realização...”
Acessar documento
Acessar documento
Dissertação
4
“... and the parallelized program are due to parameters that are not easily measured, with for example the...”
Acessar documento
Acessar documento
Dissertação
5
6
7
8