Pós-Graduação em Engenharia Elétrica e Computação

   - Disciplinas:

        CE - 230: Qualidade, Confiabilidade e Segurança de Software

        CE - 235: Sistemas Embarcados e de Tempo Real

        CE - 240: Projeto de Sistemas de Banco de Dados

        CT - 200: Autômata e Linguagens Formais

        CT - 201: Lógica para a Ciência da Computação