Navegando por Autor Marcilon, Thiago Braga
Mostrando resultados 1 a 2 de 2
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
2012 | Contratos formais para derivação e verificação de componentes paralelos | Marcilon, Thiago Braga | Dissertação |
2017 | Resultados no tempo máximo e no número de envoltória nas convexidades p3 e geodésica | Marcilon, Thiago Braga | Tese |