Repositório Colecção: Publicações Pedagógicas
https://hdl.handle.net/1822/409
Publicações Pedagógicas2024-03-29T10:30:48ZSebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema Isabelle
https://hdl.handle.net/1822/2065
Título: Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema Isabelle
Autor: Frade, M. J.
<b>Tipo</b>: other2005-06-09T09:39:19ZIntrodução ao sistema COQ de assistência à prova
https://hdl.handle.net/1822/2046
Título: Introdução ao sistema COQ de assistência à prova
Autor: Frade, M. J.; Pinto, Jorge Sousa
<b>Tipo</b>: other2005-06-08T16:20:09ZNavegar é preciso...
https://hdl.handle.net/1822/2022
Título: Navegar é preciso...
Autor: Miranda, José Eduardo Pina; Frade, M. J.
Resumo: Introdução simples à situação actual das redes de computadores em Portugal, assim como à rede Internet e aos protocolos de comunicação mais utilizados nessa rede (telnet, ftp, finger, mail, gofer, http, ...). Os destinatários são todas as pessoas que pretendam iniciar-se ou aprender mais qualquer coisa sobre os "segredos" da comunicação e navegação numa rede de computadores.
<b>Tipo</b>: other2005-06-08T11:24:23ZGuiões das aulas práticas laboratoriais sobre o sistema COQ
https://hdl.handle.net/1822/2012
Título: Guiões das aulas práticas laboratoriais sobre o sistema COQ
Autor: Frade, M. J.; Pinto, Jorge Sousa
<b>Tipo</b>: other2005-06-08T08:58:56ZComunicação, concorrência e processos
https://hdl.handle.net/1822/1997
Título: Comunicação, concorrência e processos
Autor: Miranda, José Eduardo Pina; Frade, M. J.
Descrição: Texto de apoio escrito no âmbito da disciplina de Opção I - Processos, Objectos e Comunicação (1994/95), leccionada à Lic. em Matemática e Ciências de Computação.
<b>Tipo</b>: other2005-06-07T15:20:07Z