2017/18
Programação Funcional (MIEI)Laboratório de Informática I (MIEI)
Algoritmos e Complexidade (MIEI)
Especificação e Modelação (MIEI)
2016/17
Programação Funcional (MIEI)Laboratório de Informática I (MIEI)
Algoritmos e Complexidade (MIEI)
Especificação e Modelação (MIEI)
2015/16
Programação Funcional (MIEI)Programação Imperativa (MIEI)
Laboratório de Algoritmia II (LCC)
Cálculo de Programas (MIEI)
Especificação e Modelação (MIEI)
2014/15
Programação Funcional (LEI)Laboratórios de Informárica I (LEI)
Programação Imperativa (LEI)
Laboratório de Algoritmia II (LCC)
Métodos Formais em Engenharia de Software (MI)
2013/14
Programação Funcional (LEI)Laboratórios de Informárica I (LEI)
Programação Imperativa (LEI)
Laboratório de Algoritmia II (LCC)
Métodos Formais em Engenharia de Software (MI)
2012/13
Programação Funcional (LCC)Programação Imperativa (LEI)
Laboratório de Algoritmia II (LCC)
Métodos Formais em Engenharia de Software (MI)
2010/11
Programação Funcional (LCC)Cálculo de Programas (LCC)
Métodos Formais em Engenharia de Software (MI)
2009/10
Laboratórios de Informática I (LEI)Programação Funcional (LCC)
Métodos Formais em Engenharia de Software (MI)
2008/09
Cálculo de Programas (LEI)Algoritmos e Complexidade (LCC)
Métodos Formais em Engenharia de Software (MI)
Model-driven Software Development (MAPi)
2007/08
Cálculo de Programas (LEI)Processos e Concorrência (LCC)
Algoritmos e Complexidade (LEI)
Métodos Formais em Engenharia de Software (MI)
Model-driven Software Development (MAPi)
2006/07
Métodos de Programação I (LESI)Laboratórios de Informática I (LEI)
Métodos de Programação II (LESI)
Processos e Concorrência (LCC)
2005/06
Métodos de Programação I (LESI)Criptografia Aplicada (LESI + LMCC)
Métodos de Programação II (LESI)
Elementos Lógicos da Programação III (LMCC)
2004/05
Elementos Lógicos da Programação III (LMCC)Elementos de Criptografia (LESI + LMCC)
Criptografia (MICEI + MSDPA)
2000/01
Métodos de Programação I (LESI + LMCC)Criptografia Aplicada (LESI + LMCC)
1999/00
Paradigmas de Programação I (LESI + LMCC)Criptografia Aplicada (LESI + LMCC)
Elementos de Criptografia (LESI + LMCC)
Elementos Lógicos da Programação III (LMCC)
1998/99
Paradigmas de Programação I (LESI + LMCC)Criptografia Aplicada (LESI + LMCC)
Elementos de Criptografia (LESI + LMCC)
Elementos Lógicos da Programação III (LMCC)
1997/98
Métodos de Programação III (LESI + LMCC)Criptografia Aplicada (LESI + LMCC)
Paradigmas de Programação II (LESI + LMCC)
Elementos de Criptografia (LESI + LMCC)
1996/97
Sistemas de Informação (LGE + LAP)Métodos de Programação II (LESI + LMCC)