MenuTopics | 19 Sep 2008 - 13:37 - r46 | JoseBacelarAlmeida |
AeC AFP CA CriptoBio EDFS EC DSI ELP1 ELP2 ELP3 IJ LAD LabMF LI1 LC MFP1 MFP2 MP1 MP2 MP4 Opcao III PF PP1 PP2 Estágios Projectos PhD@DI |
LI1Aula2 | 09 Oct 2007 - 12:28 - r7 | JoseBarros |
Sessão Laboratorial 2 Nesta sessão pretende se tomar conhecimento com conceitos básicos da linguagem Haskell , nomeadamente: expressões e sua avaliação, ... |
LI1Aula1 | 04 Oct 2007 - 11:06 - r5 | OlgaPacheco |
Sessão Laboratorial 1 Nesta primeira sessão pretende se familiarizar os alunos com o ambiente de programação que será utilizado nesta unidade curricular. Admite se ... |
LaboratoriosInformatica1 | 03 Oct 2007 - 09:39 - r33 | JoseBarros |
Notícias Laboratórios Informática I em Engenharia Informática 1º Ano 1º Semestre Ano lectivo 2006/2007 Apresentação Na actual estrutura da Licenciatura ... |
WebSearchAdvanced | 17 May 2007 - 14:51 - NEW | TWikiGuest |
WebStatistics | 26 Feb 2007 - 00:41 - r922 | JoseBacelarAlmeida |
Statistics for Education/Archive Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... |
MFPIISum0405 | 26 Feb 2007 - 00:31 - r10 | JoseBacelarAlmeida |
T (2005.02.21) : Apresentação da Disciplina. Noção de refinamento. TP (2005.02.22, 2005.02.24) : Apresentação e marcação de turnos. Generalização das construções ... |
MetodosProgramacaoIFAQ0405 | 12 Feb 2007 - 19:48 - r112 | JoseBacelarAlmeida |
Em principio quando é que sairão as notas da primeira chamada? Seria possivel disponibilizarem na página o exame da primeira chamada? Seria bastante util para quem ... |
MetodosProgramacaoI0405 | 12 Feb 2007 - 19:48 - r58 | JoseBacelarAlmeida |
Notícias Enunciados Exames 1a. chamada 2a. chamada 3a. chamada Notas Época Especial (Outubro 2005) N. Nome Curso Nota Exame Nota Final ... |
MetodosProgramacaoI | 12 Feb 2007 - 19:48 - r20 | JoseBacelarAlmeida |
Métodos de Programação I 2005 2006 (anexo) ATENÇÃO: A página oficial da disciplina está alojada em http://www.di.uminho.pt/~jno/html/mpi.html . Esta página destina ... |
XMLtoSQLConversionToolAFPProject | 12 Feb 2007 - 19:32 - r7 | JoseBacelarAlmeida |
XML to SQL Conversion Tool Student : RicardoVilaca Project Introduction In this project I have to develop a tool to XML SQL Conversion based on Haskell/Strafunski ... |
EstagiosProfisionais | 12 Feb 2007 - 19:32 - r7 | JoseBacelarAlmeida |
The following is a list of Undergraduate Project Proposals in the context of the Research.PURe project Grammar Engineering Location: Vrije Universiteit or CWI ... |
HaskellBindingToGraphViz | 12 Feb 2007 - 19:32 - r10 | JoseBacelarAlmeida |
Haskell Biding to GraphViz Student : João Paulo Barbosa Overview This project consists of creating a Haskell binding to AT T's library. This involves using a Foreign ... |
WebPreferences | 12 Feb 2007 - 19:20 - r25 | JoseBacelarAlmeida |
TWiki.Education/Archive Web Preferences The following settings are web preferences of the TWiki.Education/Archive web. These preferences overwrite the site level ... |
StrategicXMLQueryingAFPProject | 12 Feb 2007 - 19:20 - r6 | JoseBacelarAlmeida |
Strategic Querying of XML Documents Student : VitorRodrigues In this project you will develop a set of combinators for querying XML documents expressed in the strafunski ... |
WebHome | 12 Feb 2007 - 19:20 - r29 | JoseBacelarAlmeida |
News Welcome to our Education.Archive Wiki! This Wiki is maintained by the LMF research group. If you need help using the Wiki goto the TWiki Web. If you want to ... |
FlexibleSkinTopBar | 12 Feb 2007 - 19:20 - r3 | JoseBacelarAlmeida |
Education.Archive@LMF |
MetProgr1News0405 | 12 Feb 2007 - 19:15 - r23 | JoseBacelarAlmeida |
Terão lugar (no anfiteatro A1 do DI) as seguintes sessões de esclarecimento de dúvidas: 2a.fa. 14 Fev 10:00, com possibilidade de consulta dos exames (1a. chamada ... |
LI1Aula3 | 23 Oct 2006 - 11:27 - r5 | JoseBacelarAlmeida |
Sessão Laboratorial 3 Assuntos abordados nesta sessão: Obs.: Este guião tem seguimento no da próxima sessão. Definição de funções recursivas A recursividade é um ... |
LI1Aula4 | 23 Oct 2006 - 11:26 - NEW | JoseBacelarAlmeida |
Sessão Laboratorial 4 Este Guião é a continuação do da sessão anterior. Assuntos abordados nesta sessão: Funções de ordem superior simples Nas funções realizadas ... |
MetodosProgramacaoIV | 11 Jul 2006 - 16:37 - r39 | LuisSoaresBarbosa |
SumáriosAulas Métodos de Programação IV (Modelação e Cálculo de Sistemas Reactivos) 2005 2006 Responsável pela Disciplina LuisSoaresBarbosa http ... |
PFNews | 08 Mar 2006 - 17:17 - r23 | MariaJoaoFrade |
Os exames de recurso podem ser consultados no próximo dia 10 de Março (6ªfeira) das 15h00 às 16h00 no anfiteatro DI A1 (piso 0, junto à recepção). MariaJoaoFrade ... |
MetodosProgramacaoIFAQ | 16 Dec 2005 - 17:52 - r14 | AlcinoCunha |
Devemos nos restringir unicamente aos operadores Pointfree indicados no enunciado (não há o Either, por exemplo)? Claro que não! Faltam todos os operadores das somas ... |
ElementosLogicosProgramacaoIIINews | 18 Oct 2005 - 19:50 - r7 | AlcinoCunha |
18 Out Já saíram as notas do exame da época especial. 27 Jul Já saíram as notas das orais. 22 Jul Já saíram as notas do exame de recurso. As orais serão no dia ... |
ElementosLogicosProgramacaoIII | 18 Oct 2005 - 19:49 - r22 | AlcinoCunha |
Notícias Elementos Lógicos da Programação 3 Licenciatura em Matemática e Ciências da Computação 3º Ano 2º Semestre Ano lectivo 2004 2005 Responsável ... |
MetodosProgramacaoII | 18 Oct 2005 - 16:55 - r91 | JoseBarros |
Notícias Métodos de Programação II 2004 2005 Sugestão de Leitura Robert Floyd, um grande Cientista da Computação, recordado aqui nas palavras de outro grande cientista ... |
FlexibleSkinLeftBar | 03 Oct 2005 - 11:03 - r3 | JoseBacelarAlmeida |
Home Navegação Disciplinas MP1 MP2 PFA |
InformaticaJuridicaT28 | 13 Jul 2005 - 09:43 - NEW | JoseManuelValenca |
Ensaios de Jeana Costa, Pedro Bastos e Ana Nunes A criminalidade Informática nos tribunais Gestão do Conhecimento Pay Pal Voto Electrónico Segurança da Informa ... |
InformaticaJuridicaT4 | 13 Jul 2005 - 09:37 - r9 | JoseManuelValenca |
Ensaios de Elisa Faria, Susana Dourado e Vanessa Silva Sindicância de Dados Pessoais Formas de sindicância do cidadão comum sob os seus dados pessoais constantes ... |
InformaticaJuridicaT13 | 13 Jul 2005 - 09:09 - r5 | JoseManuelValenca |
Ensaios de Claudio Carvalho, Elsa Barbosa e Silvia Silva A ASSINATURA DIGITAL Cartões Inteligentes Voto Electrónico Protecção dos Dados Pessoais Correio Electr ... |
InformaticaJuridicaT1B | 30 Jun 2005 - 16:11 - r4 | JoseManuelValenca |
Ensaios de Silvia Vilas Boas Dias, Ana Rita Freitas e Angélica Sofia Campos Preservação da Proriedade Industrial Privacidade dos Dados Clínicos Voto Electrónico ... |
InformaticaJuridicaTB | 13 Jun 2005 - 15:30 - r5 | JoseManuelValenca |
Ensaios de Bruno Silva Voto Electrónico A Democracia nos dedos dos Cidadãos. Este trabalho é muito extenso (não respeitou os limites indicados) e repete muito ... |
InformaticaJuridicaT9 | 12 Jun 2005 - 14:19 - r5 | JoseManuelValenca |
Ensaios de Andreia Leite, Angela Santos e Vera Silva Base de Dados de Recolha Genética (2ª versão) Trabalho bem apresentado focando os argumentos essenciais deste ... |
InformaticaJuridicaT21 | 11 Jun 2005 - 18:18 - r2 | JoseManuelValenca |
Ensaios de Ana Pereira e Daniela Seixas Ética Hacker trabalho interessante mas acaba por dar pouca informação mesmo sobre eventuais pricípios éticos JoseManuelValenca ... |
InformaticaJuridicaT1D | 10 Jun 2005 - 16:25 - r4 | JoseManuelValenca |
Ensaios de Albina Pinheiro A INTERNET NA REALIZAÇÃO DE ESCRITURAS E OUTROS ACTOS NOTARIAIS ATÉ QUE PONTO SERÁ FIÁVEL E RECOMENDÁVEL O RECURSO A ESTA FERRAMENTA ... |
InformaticaJuridicaT27 | 09 Jun 2005 - 10:55 - NEW | JoseManuelValenca |
Ensaios de Sofia Silva Segurança na Net JoseManuelValenca 09 Jun 2005 |
InformaticaJuridicaT23 | 08 Jun 2005 - 13:55 - r3 | MafaldaMagalhaes? |
Ensaios de Henrique Cunha, Cristina Ferreira e Mafalda Magalhães Esteganografia no Processo Civi MafaldaMagalhaes 08 Jun 2005 MafaldaMagalhaes 08 Jun 2005 ... |
InformaticaJuridicaT1F | 06 Jun 2005 - 13:04 - r3 | AngelicaCampos? |
Ensaios de Eva Sousa, Pedro Miguel Sousa e Manuela Silva Cartão Único AngelicaCampos 06 Jun 2005 Assinatura Digital Voto Electrónico O avanço tecnológico no ... |
InformaticaJuridicaTF | 01 Jun 2005 - 10:01 - r5 | JoseManuelValenca |
Ensaios de Susana Dias Tecnologias da Informação e Comunicação na Saúde A Progressiva Informatização no Direito (RE) PENSAR A SOCIEDADE DE INFORMAÇÃO E COMUNICA ... |
InformaticaJuridicaT26 | 31 May 2005 - 14:57 - NEW | JoseManuelValenca |
Ensaios de Bebiana Rafaela Ribeiro, Carla Aguiar e Filipa Martins A informática na saúde Assinatura Digital Cartão Único do Cidadão Criptografia O perfil gen ... |
InformaticaJuridicaTA | 31 May 2005 - 14:25 - r4 | JoseManuelValenca |
Ensaios de Carla Moreira, Silvia Fonseca e Vera Casto Identificação de dados pessoais sob o ponto vista financeiro Cartão Único Voto Electrónico Violação de Direitos ... |
InformaticaJuridicaT1E | 31 May 2005 - 11:57 - r4 | JoseManuelValenca |
Ensaios de Adelaide Cerqueira e Sandra Pereira Criptografia e Assinatura Digital AdelaideCerqueira 23 May 2005 Segurança Informática Dados Pessoais Escritura ... |
InformaticaJuridicaT25 | 31 May 2005 - 11:40 - NEW | JoseManuelValenca |
Ensaios de Casimiro Rosa e Abilio Ribeiro A INternet e os Direitos de Autor Assinatura Digital Internet: Meio de Ultrapassar Barreiras Phishing: Alerta Máximo ... |
InformaticaJuridicaT1C | 31 May 2005 - 10:40 - r3 | JoseManuelValenca |
Ensaios de Vitor Novo, Manuel Almeida e João Varela Privacidade dos Dados Clínicos Agentes e Eventos A Questão Humana na Segurança da Informacão (parte 1) Faz ... |
InformaticaJuridicaT18 | 31 May 2005 - 10:39 - r3 | JoseManuelValenca |
Ensaios de Jorge Serralheiro, Pedro Lima e Luis Cantanhede Bilhete de Identidade Electrónico BIOMETRIA: “SERÃO MESMO OS OLHOS O ESPELHO DA ALMA” OS DIREITOS DE ... |
InformaticaJuridicaTE | 31 May 2005 - 10:25 - r3 | JoseManuelValenca |
Ensaios de Catia Matos, Cecilia Cerqueira e Lucia Fernandes Criptografia de Chave Pública: Confidencialidade e Autenticação A Internet: Um Espaço de Comunicação ... |
InformaticaJuridicaT7 | 28 May 2005 - 18:17 - r8 | JoseManuelValenca |
Ensaios de Karina Silva e Eva Mendes Privacidade dos dados clínicos O voto electrónico A assinatura digital O correio electrónico A sociedade da informação ... |
InformaticaJuridicaT20 | 25 May 2005 - 15:59 - NEW | JoseManuelValenca |
Ensaios de Diana Oliveira, Filipa Freitas e Elsa Direito "trabalho completo" JoseManuelValenca 25 May 2005 |
InformaticaJuridicaT2 | 21 Apr 2005 - 15:21 - r7 | JoseManuelValenca |
Ensaios de Eunice Coelho Titulo1 resumo1 Titulo1 Titulo2 resumo2 Titulo2 |
ElementosLogicosProgramacaoIIIProjecto | 05 Apr 2005 - 07:48 - r3 | AlcinoCunha |
Elementos Lógicos da Programação III Projecto Prático Pretende se que modele e analise os dois problemas seguintes usando redes de petri e a ferramenta de model ... |