| Topics in Education/Archive web: | Changed: now 17:29 | Changed by: |
| AdvancedFunctionalProgramming | 20 Sep 2005 - 14:48 - r10 | MariaJoaoFrade |
| Programação Funcional Avançada 2004 / 2005 AKA: Advanced Functional Programming General information Advanced Functional Programming is an optional course made available ... | ||
| AlgoritmosComplexidade | 04 Mar 2006 - 01:48 - r18 | JorgeSousaPinto |
| Notícias LMCC Algoritmos e Complexidade 2005 2006 Notas Notas Época Normal Notas Época Recurso Programa Resumido 1. Grafos: Conceitos e Algoritmos ... | ||
| AlgoritmosComplexidadeNews | 04 Mar 2006 - 01:50 - r7 | JorgeSousaPinto |
| Notas da época de recurso disponibilizadas nesta página JorgeSousaPinto 04 Mar 2006 Notas da época normal disponibilizadas nesta página JorgeSousaPinto ... | ||
| AnAnt0405 | 02 Mar 2006 - 09:44 - NEW | OlgaPacheco |
| Desenvolvimento de Sistemas de Informação Licenciatura em Administração Pública 3º Ano 2º Semestre Ano lectivo 2004/2005 Avisos Os exames podem ... | ||
| AttackOnTheClones | 16 Feb 2007 - 17:48 - r9 | JoostVisser |
| The Attack On The Clones project is about the creation of a software clone detection portal. Phase 1 (Opção 3, sep 2003 feb 2004) The first edition of the Attack ... | ||
| AulDuv | 19 Jan 2005 - 10:24 - r4 | OlgaPacheco |
| Aulas de Dúvidas Dia Hora Local 20 de Janeiro 14h 18h DI A2 31 de Janeiro 14h a definir 1 de Fevereiro 14h a definir | ||
| ChopaChopsAFPProject | 04 Mar 2005 - 19:36 - r5 | JoaoPBarbosa |
| ChopaChops: view and manipulate Java program graphs Powered by Chocapic! Student : Patrick Machado In this project you will develop an interactive tool to view ... | ||
| ChopaChopsAFPProjectReport | 04 Mar 2005 - 19:36 - r7 | PatrickMachado? |
| Chopachops Report This page is under construction... Introdution !ChopaChops is a project for slicing and chopping in program graphs. Starting from the Java program ... | ||
| CloneDetectionAFPProject | 12 Feb 2007 - 19:20 - r3 | JoseBacelarAlmeida |
Home Page for the AdvancedFunctionalProgramming Project "Clone Detection in Haskell". To be filled with abundant and pertinent information.  Work in progress ... |
||
| ComputacaoNatural | 28 Feb 2005 - 20:56 - NEW | RuiMendes |
| Eis a página da disciplina: http://colombo.di.uminho.pt/cnat RuiMendes 28 Feb 2005 | ||
| DSINews | 15 May 2006 - 09:30 - r10 | OlgaPacheco |
| Aula 1 23 de Fevereiro Não houve aula. Motivo: Simpósio doutoral do DI. Aula 2 2 de Março Apresentação da disciplina. Apresentação do trabalho prático ... | ||
| DesenvolvimentoSistemasInformacao | 21 Jul 2006 - 10:44 - r30 | OlgaPacheco |
| Sumários Desenvolvimento de Sistemas de Informação Licenciatura em Administração Pública 3º Ano 2º Semestre Ano lectivo 2005/2006 ................ ... | ||
| DisambiguationGLR | 03 Mar 2005 - 16:27 - r2 | JoostVisser |
| Embedding Disambiguation Rules in the HaGLR System Student : Luís Pedro Machado In this project we will embed a domain specific language to express disambiguation ... | ||
| EDFS | 26 Jan 2007 - 18:04 - r11 | LuisSoaresBarbosa |
| SumáriosAulas Especificação e Desenvolvimento Formal de Software 2006 2007 Equipa Docente Teóricas: Luis Soares Barbosa http://www.di.uminho.pt/ ... | ||
| EDFSSum | 26 Jan 2007 - 18:00 - r13 | LuisSoaresBarbosa |
| T (2006.10.21a) : Apresentação da Disciplina. Introdução aos métodos formais de especificação e desenvolvimento de software. O binómio especificação implementação ... | ||
| EducationNews | 17 Feb 2004 - 13:55 - r7 | JoseNunoOliveira |
| Feb. 17, 2004 May 14, 2004 is the deadline for submission to CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004 Feb 6, 2004 Students interested ... | ||
| 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 ... | ||
| ElementosLogicosProgramacaoIII0304 | 12 Feb 2007 - 19:15 - r12 | JoseBacelarAlmeida |
| Elementos Lógicos da Programação III Licenciatura de Matemática e Ciências da Computação 3º Ano 2º Semestre Ano lectivo 2003/2004 Ùltima alteração: 12 ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| FlexibleSkinLeftBar | 03 Oct 2005 - 11:03 - r3 | JoseBacelarAlmeida |
| Home Navegação Disciplinas MP1 MP2 PFA | ||
| FlexibleSkinStyleSheet | 21 Jan 2004 - 22:20 - r2 | AlcinoCunha |
| body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ... | ||
| FlexibleSkinTopBar | 12 Feb 2007 - 19:20 - r3 | JoseBacelarAlmeida |
| Education.Archive@LMF | ||
| FlexibleSkinTopicFooter | 21 Jan 2004 - 22:16 - NEW | AlcinoCunha |
| { Edit Attach Ref By Printable Diffs More... } | ||
| FlexibleSkinTopicHeader | 21 Jan 2004 - 22:08 - NEW | AlcinoCunha |
| 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 ... | ||
| IJBib | 11 Apr 2005 - 14:57 - r3 | JoanaBoas? |
| fornecida por todos Sobre as ideias básicas de Criptografia (exigindo um pouco de Matemática) um livro importante é o Applied Cryptography de Bruce Schneier. ... | ||
| IJNews | 05 Jul 2005 - 16:08 - r7 | JoseManuelValenca |
| 1 de Março início das aulas JoseManuelValenca 8 de Março devido à minha presença num júri não é possível dar a aula deste dia; nesta semana funciona só o turno ... | ||
| InformaticaJuridica | 22 Feb 2007 - 11:54 - r64 | JoseManuelValenca |
| Informática Jurídica Licenciatura em Direito 4º Ano 2º Semestre Ano lectivo 2005/2006 Programa Segurança Informática Programa detalhado Bibliografia ... | ||
| InformaticaJuridicaT10 | 25 May 2005 - 15:04 - r4 | JoseManuelValenca |
| Ensaios de Helena Ribeiro, Arlindo Barros e Liliana Correia Sociedade de Informação – Cartão Único de Saúde Voto Electrónico Digitaliação de Livros Comércio Electr ... | ||
| InformaticaJuridicaT11 | 07 Jun 2005 - 22:29 - r4 | TeresaBizarro? |
| Ensaios de Regina Fernandes, Teresa Bizarro e Monica Lourenço Operações bancárias on line: insegurança ou desconfiança TeresaBizarro 07 Jun 2005 Declarações ... | ||
| InformaticaJuridicaT12 | 11 Jun 2005 - 14:53 - r3 | JoseManuelValenca |
| Ensaios de Ana Ferreira, Alexandra Cruz e Michelle Pinto A Avaliação de cada trabalho é feita numa escala de D (insatisfatório), C ou C (satisfatório), B ou B (bom ... | ||
| 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 ... | ||
| InformaticaJuridicaT14 | 01 Jun 2005 - 10:02 - r6 | JoseManuelValenca |
| Ensaios de Joana Vilas Boas e Ana Daniela Barbosa Que força probatória terá uma mensagem de correio electrónico? O Voto Electrónico eCash Cifra Cartão Único do ... | ||
| InformaticaJuridicaT15 | 09 Jun 2005 - 10:51 - r6 | JoseManuelValenca |
| Ensaios de Rosa Ribeiro, Claudia Cunha e Eva Fanzeres Assinatura Digital Bases de Dados Genéticos Partilha de Dados Pessoais Novas tecnologias: impacto na sociedade ... | ||
| InformaticaJuridicaT16 | 09 Jun 2005 - 10:53 - r2 | JoseManuelValenca |
| Ensaios de Carlos Macedo Criptografia Direito vs Informática JoseManuelValenca 06 May 2005 | ||
| InformaticaJuridicaT17 | 27 May 2005 - 14:37 - r2 | JoseManuelValenca |
| Ensaios de Ana Peixoto e Paula Lopes O Uso das Tecnologias de Informação no âmbito do Direito Processual Penal A Utilização das Novas Tecnologias no Local de Trabalho ... | ||
| 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 ... | ||
| InformaticaJuridicaT19 | 25 May 2005 - 16:02 - r4 | JoseManuelValenca |
| Ensaios de Angela Peixoto e Liliana Lourenço Assinatura Digital Sigilio Bancário Receita Electrónica Estampilhas Temporais Voto Electrónico JoseManuelValenca ... | ||
| InformaticaJuridicaT1A | 12 Jun 2005 - 09:34 - r6 | JoseManuelValenca |
| Ensaios de Ana Araújo Silva e Filipe Macedo Vigilância electrónica: Ponderação de princípios Este tema só perifericamente toca os objectivos deste curso; a exposi ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| InformaticaJuridicaT2 | 21 Apr 2005 - 15:21 - r7 | JoseManuelValenca |
| Ensaios de Eunice Coelho Titulo1 resumo1 Titulo1 Titulo2 resumo2 Titulo2 | ||
| InformaticaJuridicaT20 | 25 May 2005 - 15:59 - NEW | JoseManuelValenca |
| Ensaios de Diana Oliveira, Filipa Freitas e Elsa Direito "trabalho completo" JoseManuelValenca 25 May 2005 | ||
| 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 ... | ||
| InformaticaJuridicaT22 | 31 May 2005 - 09:14 - NEW | JoseManuelValenca |
| Ensaios de Gloria Soares, Joana Carvalho e Raquel Gomes A Sociedade da Informação A segurança informática A criptografia ... ... JoseManuelValenca 31 May ... | ||
| 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 ... | ||
| InformaticaJuridicaT24 | 31 May 2005 - 14:42 - r2 | JoseManuelValenca |
| Ensaios de Manuel Ferreira, Vania Rodrigues e Helena Silva O problema dos direitos de autor no mundo informático.. Software LIvre CRIMINALIDADE INFORMÁTICA: SPAM ... | ||
| 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 ... | ||
| 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 ... | ||
| InformaticaJuridicaT27 | 09 Jun 2005 - 10:55 - NEW | JoseManuelValenca |
| Ensaios de Sofia Silva Segurança na Net JoseManuelValenca 09 Jun 2005 | ||
| 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 ... | ||
| InformaticaJuridicaT3 | 30 Jun 2005 - 16:11 - r12 | JoseManuelValenca |
| Ensaios de Eunice Coelho Dados Pessoais Video Vigilância Trabalho 3 Trabalho 4 Trabalho 5 | ||
| 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 ... | ||
| InformaticaJuridicaT5 | 25 May 2005 - 16:32 - r6 | JoseManuelValenca |
| Ensaios de Isabel Nunes, Claudia Pereira e Ana Tavares Voto Electrónico Vantagens da implementação de um sistema de voto alternativo ao tradicional sistema de voto ... | ||
| InformaticaJuridicaT6 | 18 May 2005 - 09:53 - r2 | JoseManuelValenca |
| Ensaios de Silvia Pinto e Tania Costa Informática Jurídica Voto Electrónico Assinaturas Digitais Teoria dos Sistemas Cartão Único do Cidadão JoseManuelValenca ... | ||
| 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 ... | ||
| InformaticaJuridicaT8 | 10 Jun 2005 - 17:58 - r5 | JoseManuelValenca |
| Ensaios de Alvaro Amorim, Carla Costa e Simone Marreiros Bases de Dados com Informação Genética Bom trabalho; claramente exposto e defendido; não tenho a certeza ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| InformaticaJuridicaTC | 31 May 2005 - 14:12 - r4 | JoseManuelValenca |
| Ensaios de Helder Oliveira e Luis OLiveira Pirataria Informática (doc) Cartão Comum do Cidadão Contratos na Internet O Preço da Segurança Violação da Correspond ... | ||
| InformaticaJuridicaTD | 31 May 2005 - 10:57 - r3 | JoseManuelValenca |
| Ensaios de Vanessa Freitas e Magda Nunes Assinatura Digital Identificação Retinal Ensino Electrónico Comércio Electrónico Voto Electrónico JoseManuelValenca ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| 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, ... | ||
| 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 ... | ||
| LI1News | 23 Feb 2007 - 22:46 - r8 | JoseBacelarAlmeida |
| 23/02/2007 : Já disponíveis as notas da época de recurso. 19/02/2007 : O exame de recurso será realizado na 4ª feira, às 14:30 no DI0.11. O exame incluirá as componentes ... | ||
| LabMF | 26 Oct 2004 - 06:56 - r2 | LuisSoaresBarbosa |
| SumáriosAulas Laboratório de Métodos Formais 2004 2005 Docente Coordenador Luis Soares Barbosa http://www.di.uminho.pt/~lsb (url) Horário ... | ||
| LabMFGru | 21 Sep 2004 - 14:58 - NEW | LuisSoaresBarbosa |
| Grupos e Classificações Grupo Nr Nome Curso Data Apresentação Classificação ... | ||
| LabMFSum | 21 Sep 2004 - 14:55 - NEW | LuisSoaresBarbosa |
| T (2004.09.29) : Apresentação da Disciplina. Discussão das propostas de projectos. LuisSoaresBarbosa 21 Sep 2004 | ||
| 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 ... | ||
| MFIGru | 10 Feb 2005 - 02:18 - r2 | LuisSoaresBarbosa |
| Classificações Exame (Época Normal) Nr Nome Exame Recurso Laboratório NOTA FINAL 35803 Alexandra Martins Silva 19 30969 Alexandre ... | ||
| MFISum | 16 Dec 2004 - 16:54 - r6 | OlgaPacheco |
| T (2004.09.23) : Apresentação da Disciplina. Introdução aos métodos formais de especificação e desenvolvimento de software. O binómio especificação implementação. ... | ||
| MFPII0405 | 26 Feb 2007 - 00:31 - r11 | JoseBacelarAlmeida |
| SumáriosAulas Métodos Formais de Programação II 2004 2005 Equipa Docente Teóricas: Luis Soares Barbosa http://www.di.uminho.pt/~lsb (url) Te ... | ||
| 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 ... | ||
| MP2News | 12 Jul 2005 - 15:22 - r34 | MariaJoaoFrade |
| Sessão de esclarecimento de dúvidas na próxima 2ª feira (dia 18) às 14:30 na sala DI 0.02 . MariaJoaoFrade 12 Jul 2005 Os testes poderão ser consultados na ... | ||
| MP4Gru | 02 Aug 2005 - 10:30 - r17 | LuisSoaresBarbosa |
| Grupo Nr Nome Tema Class. PRÁTICA Exame (N) Exame (R) CLASS. FINAL 1 35840 José Tércio Soares D 15 13 14 35743 Pedro Machado D ... | ||
| MP4Sum | 21 Feb 2006 - 14:34 - r9 | LuisSoaresBarbosa |
| T (2006.02.21) : Apresentação da Disciplina. Introdução aos sistemas reactivos. Álgebras e Coalgebras. Tipos indutivos e coindutivos. Interação e comportamento. Comportamento ... | ||
| 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 | ||
| 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 ... | ||
| MetodosFormaisProgramacaoI | 04 Mar 2005 - 16:51 - r13 | LuisSoaresBarbosa |
| SumáriosAulas Métodos Formais de Programação I 2004 2005 Equipa Docente Teóricas: Luis Soares Barbosa http://www.di.uminho.pt/~lsb (url) Te ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| 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 ... | ||
| MetodosProgramacaoIIFAQ | 11 Jul 2005 - 14:59 - r113 | TWikiGuest |
| FAQ de Métodos de Programação II Índice: Nas pautas que saíram relativamente ao ano 2004/05, alguns alunos têm como nota ' '. Em termos práticos, a que se resume ... | ||
| 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 ... | ||
| OlgaPacheco | 16 Dec 2004 - 16:32 - NEW | OlgaPacheco |
| 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 ... | ||
| PP1News | 01 Mar 2005 - 18:30 - r12 | MariaJoaoFrade |
| AVISO PROVAS ORAIS As provas orais irão realizar se na 6ªfeira dia 4 de Março, às 10:00 . Ponto de encontro: junto à secretaria do DI (piso 2). AVISO TURNOS ... | ||
| ParadigmasProgramacaoI0405 | 12 Feb 2007 - 19:15 - r57 | JoseBacelarAlmeida |
| Notícias Paradigma da Programação I em Engenharia de Sistemas e Informática 1º Ano 1º Semestre (5301P3) Ano lectivo 2004/2005 (anteriores) Notas ... | ||
| ProgramacaoFuncional | 23 Feb 2007 - 17:59 - r48 | MariaJoaoFrade |
| Notícias Programação Funcional em Matemática e Ciências de Computação 1º Ano 1º Semestre (7001N7) Ano lectivo 2005/2006 (anterior) Programa Na actual ... | ||
| ProgramacaoFuncional0405 | 12 Feb 2007 - 19:15 - r41 | JoseBacelarAlmeida |
| Programação Funcional em Matemática e Ciências de Computação 1º Ano 1º Semestre Ano lectivo 2004/2005 Notas Notas do exame de Recurso Notas ... | ||
| RTp1 | 07 Apr 2005 - 11:08 - NEW | OlgaPacheco |
| Resultados do Trabalho Prático nº 1 Grupo Trabalho nº1 G1 de Informação do Centro de Saúde de Amares G2 de Informação da Câmara Municipal de Braga G3 ... | ||
| SpreadsheetUnderScrutinyAFPProject | 04 Mar 2005 - 11:43 - r3 | CupertinoMiranda |
| SpreadSheet under Scrutiny Student : Cupertino Miranda In this project you will develop a tool for spreadsheet assessment. Spreadsheet tools can be viewed as programming ... | ||
| SpreadsheetUnderScrutinyAFPProjectReport | 05 Mar 2005 - 16:45 - r5 | CupertinoMiranda |
| Spreadsheet Under Scrutiny Project Report Under construction Introduction Spreadsheet tools can be viewed as programming environments for non programmers. Their ... | ||
| StrategicQueryingXMLReport | 28 Feb 2005 - 06:40 - r3 | VitorRodrigues? |
| Project Report This report presents the developed work on the project "Strategic Querying of XML Documents". The results of this project are based on two generic traversal ... | ||
| 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 ... | ||
| StudentProjects | 10 Mar 2004 - 10:37 - NEW | RokPurkeljc |
| Ongoing projects AttackOnTheClones Project proposals EstagiosProfisionais SIGInternshipProjects | ||
| VitorRodrigues | 09 Nov 2004 - 20:12 - NEW | VitorRodrigues? |
| VitorRodrigues 09 Nov 2004 | ||
| WebChanges | 16 Aug 2001 - 19:56 - r2 | PeterThoeny? |
| 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 ... | ||
| WebIndex | 24 Nov 2001 - 11:36 - r2 | PeterThoeny? |
| See also the faster WebTopicList | ||
| WebLeftBar | 13 Feb 2007 - 02:58 - r2 | JoseBacelarAlmeida |
| Topics: | ||
| WebNotify | 15 Mar 2004 - 10:55 - r8 | JorgeSousaPinto |
| This is a subscription service to be automatically notified by e mail when topics change in this Education/Archive web. This is a convenient service, so you do not ... | ||
| 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 ... | ||
| WebRss | 30 Jan 2003 - 08:14 - NEW | PeterThoeny? |
| TWiki's Education/Archive web /view/Education/Archive The web for users, groups and offices. TWiki is a Web Based Collaboration Platform for the Corporate World ... | ||
| WebSearch | 08 Aug 2001 - 05:57 - r8 | PeterThoeny? |
| 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 ... | ||
| WebTopicList | 24 Nov 2001 - 11:36 - NEW | PeterThoeny? |
| See also the verbose WebIndex. | ||
| 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 ... | ||
Number of topics: 120 See also the faster WebTopicList