Buscas alternativas:
constructive program » constructing program (Expandir a busca), destructive program (Expandir a busca), reconstruction program (Expandir a busca)
and computational » _ computational (Expandir a busca)
computational and » computational fluid (Expandir a busca)
and constructive » and construction (Expandir a busca), and obstructive (Expandir a busca), and construct (Expandir a busca)
modis lambda » modelo lambda (Expandir a busca), sondas lambda (Expandir a busca), voi lambda (Expandir a busca)
using modis » using model (Expandir a busca), using mobile (Expandir a busca)
constructive program » constructing program (Expandir a busca), destructive program (Expandir a busca), reconstruction program (Expandir a busca)
and computational » _ computational (Expandir a busca)
computational and » computational fluid (Expandir a busca)
and constructive » and construction (Expandir a busca), and obstructive (Expandir a busca), and construct (Expandir a busca)
modis lambda » modelo lambda (Expandir a busca), sondas lambda (Expandir a busca), voi lambda (Expandir a busca)
using modis » using model (Expandir a busca), using mobile (Expandir a busca)
1
Assuntos:
“...[pt] SINTESE DE PROGRAMAS...”
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese
2
3
4
5
6
7
8
9
10
11
12
13
14
“... alfa-conversão, tal como acontece no Cálculo Lambda. O tratamento de igualdades, em especial...”
Acessar documento
Acessar documento
Tese
15
Assuntos:
“...Composite steel and concrete structures...”
Acessar documento
Acessar documento
Trabalho de conclusão de curso
16
17
“... represented by two main buildings, realized by two constructive technologies and different structural...”
Acessar documento
Acessar documento
18
“... strongly integrated in a CAD application. The computational program performs incremental constructive...”
Acessar documento
Acessar documento
Dissertação
19
“... program is due to the ability of extracting computational content from non-constructive proofs which often...”
Acessar documento
Acessar documento
Artigo de conferência
20
“... a uma linha de pesquisa que vem sendo desenvolvida no Programa de Pós- Graduação em Engenharia Civil – PPGEC...”
Acessar documento
Acessar documento
Dissertação