Browsing by Author Ribeiro, Rodrigo Geraldo
Showing results 18 to 20 of 20
< previous
Issue Date | Title | Author(s) |
---|---|---|
2023 | Uma revisão sistemática da literatura sobre ferramentas para correção de trabalhos de cursos introdutórios de programação de computadores. | Camargos, Maria Eduarda Diniz |
2020 | Semântica denotacional para o lambda cálculo computacional em Agda. | Amaro, Maycon José Jorge |
2019 | O uso de ferramentas computacionais para o ensino de programação para alunos de engenharia. | Brito, Palloma Stéphanne Silva |