Data | Título | Autor(es) | Tipo | Acesso |
Mai-2006 | 6th Eurographics Symposium on Parallel Graphics and Visualization: short papers | - | Atas de conferência | Acesso aberto |
Jan-1995 | Comunicação, concorrência e processos | Miranda, José Eduardo Pina; Frade, M. J. | Outro | Acesso aberto |
Jun-1999 | Constructor subtyping: extended version | Frade, M. J.; Barthe, Gilles Jacques Denis | Relatório | Acesso aberto |
2004 | Generalizing Hylo-shift | Pinto, Jorge Sousa | Relatório | Acesso aberto |
1998 | Guiões das aulas práticas laboratoriais sobre o sistema COQ | Frade, M. J.; Pinto, Jorge Sousa | Outro | Acesso aberto |
1998 | Introdução ao sistema COQ de assistência à prova | Frade, M. J.; Pinto, Jorge Sousa | Outro | Acesso aberto |
Out-1994 | Navegar é preciso... | Miranda, José Eduardo Pina; Frade, M. J. | Outro | Acesso aberto |
2004 | Point-free program transformation | Cunha, Alcino; Pinto, Jorge Sousa | Relatório | Acesso aberto |
2008 | A report on multiple approaches to the S. Frutuoso of Montélios Chapel survey | Mateus, L.; Fontes, Luís Fernando Oliveira; Aguiar, J. L. Barroso de, et al. | Artigo em ata de conferência | Acesso aberto |
1998 | Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema Isabelle | Frade, M. J. | Outro | Acesso aberto |