1
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
Verificação automática de lógicas finitas multivalentes
Tese
2
Assuntos:
“...CNPQ::ENGENHARIAS...”
Um algoritmo genético aplicado à correção sintática do cantus firmus
Tese
3
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
Linguagens de domínio específico e sensores baseados em modelos biológicos de computação
Tese
4
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
Computer algebra in modern functional languages
Tese
5
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
Aproximação de nuvens de pontos de dados por meio de superfícies de Bézier
Tese