IN1002	Administração e Integração de Sistemas	60	4
IN1100	Agentes Cognitivos e Adaptativos	60	4
IN1076	Algoritmos I	60	4
IN1101	Algoritmos e Métodos para Bio-Informática e Biologia Computacional	60	4
IN1013	Algoritmos para Processamento de Cadeias	60	4
IN1102	Aprendizagem de Máquina	60	4
IN1103	Arquiteturas Não Convencionais de Computadores	60	4
IN1077	Avaliação de Desempenho de Sistemas	60	4
IN1105	Avaliação de Sistemas Críticos	60	4
IN0940	Banco de Dados	60	4
IN1107	Cálculo Lambda e Lógica Combinatória	60	4
IN1005	Computabilidade e Lógica	60	4
IN1092	Computação Gráfica	60	4
IN1020	Engenharia de Requisitos	60	4
IN1110	Engenharia de Sistemas Embarcados	60	4
IN0953	Engenharia de Software	60	4
IN1111	Engenharia de Software Orientada a Agentes	60	4
IN1112	Especificação de Sistemas Distribuídos	60	4
IN1113	Fundamentos da Criptografia Moderna	60	4
IN1114	Interação Humano-Computador	60	4
IN1115	Introdução à Bio-Informática e Biologia Computacional	60	4
IN1116	Introdução aos Agentes Inteligentes	60	4
IN1117	Modelos para Sistemas Comunicantes	60	4
IN1007	Paradigmas de Linguagens de Programação	60	4
IN1118	Plataformas de Distribuição	60	4
IN1119	Princípios e Técnicas da Análise Estatística Experimental	60	4
IN1024	Processamento de Imagens	60	4
IN1008	Projeto Conceitual de Banco de Dados	60	4
IN1009	Prototipação de Circuitos Digitais	60	4
IN1122	Raciocínio Automático e Representação do Conhecimento Simbólico	60	4
IN1123	Realidade Virtual e Aumentada	60	4
IN1010	Redes de Computadores	60	4
IN0997	Redes Neurais	60	4
IN1124	Sistema de Banco de Dados Não Convencionais	60	4
IN1125	Sistemas Digitais: Concepção, Síntese  e Verificação	60	4
IN0984	Sistemas Distribuídos	60	4
IN1126	Teoria  Axiomática dos Conjuntos	60	4