1
Assuntos:
“...Systems programming...”
Týr : a dependent type based code transformation for spatial memory safety in LLVM
Dissertação
2
Assuntos:
“...Linear programming...”
A incorporação de corredores de conectividade em problemas de otimização para o planejamento de florestas industriais
Tese