Universidade do Minho: DI/CCTC - Publicações Pedagógicas

DI/CCTC - Publicações Pedagógicas : [6] Estatísticas

Neste momento, encontra-se a decorrer a migração das Bases de Dados do DI para o Repositorium. Os conteúdos estarão disponíveis brevemente.

Percorrer

Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-6 de um total de 6

Data	Título	Autor(es)	Tipo	Acesso
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
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
1998	Guiões das aulas práticas laboratoriais sobre o sistema COQ	Frade, M. J.; Pinto, Jorge Sousa	Outro	Acesso aberto
Jan-1995	Comunicação, concorrência e processos	Miranda, José Eduardo Pina; Frade, M. J.	Outro	Acesso aberto
2004	Paradigmas da Programação III : apontamentos teórico-práticos (LESI/LMCC) 2004/2005	Campos, J. Creissac ; Ribeiro, António Nestor	Outro	Acesso aberto

Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-6 de um total de 6