Browsing Exact and Earth Sciences by Subject "Teoria da computação"
Now showing items 1-3 of 3
-
Análise estática de programas com Coq
(2019) [Abstract published in event] -
Editor Grafico para a ferramenta Verigraph
(2019) [Abstract published in event] -
Geração automática de regras de seleção para problemas de balanceamento de linhas de montagem heterogêneas
(2019) [Abstract published in event]