IN1011	Álgebra e Semântica de Processos Concorrentes	60	4
IN1012	Algoritmos II	60	4
IN1014	Algoritmos de Aproximação em Grafos	60	4
IN1090	Ambientes de Projeto de Sistemas Embarcados	60	4
IN1015	Ambientes para Desenvolvimento de Software	60	4
IN1127	Análise de Dados Simbólicos	60	4
IN1085	Aritmética da Exatidão Máxima	60	4
IN0967	Avaliação de Desempenho de Redes	60	4
IN1128	Bancos de Dados Distribuídos e Móveis	60	4
IN1129	Biometria	60	4
IN1130	Ciência de Serviços	60	4
IN1018	Compilação de Linguagens Funcionais	60	4
IN1131	Computação Evolucionária	60	4
IN1132	Computação Musical	60	4
IN1133	Contexto Computacional	60	4
IN1134	Data Warehousing	60	4
IN1135	Engenharia de Requisitos Avançada	60	4
IN1093	Engenharia de Software Educativo	60	4
IN1078	Especificação de Sistemas Distribuídos	60	4
IN1021	Especificação e Projeto de Sistemas	60	4
IN1136	Expressão e Redação Científica	60	4
IN1000	Gerenciamento de Redes	60	4
IN1137	Integração de Dados	60	4
IN1138	Introdução à Biologia Sistêmica e Redes Biológicas	60	4
IN1139	Introdução à Inteligência Artificial Simbólica	60	4
IN1140	Jogos Digitais	60	4
IN1023	Lógica e Língua Natural	60	4
IN0911	Lógica Matemática	60	4
IN1084	Matemática  Intervalar	60	4
IN1141	Metodologia de Desenvolvimento de Sistemas Multiagentes	60	4
IN1142	Metodologia de Experimentação Científica	60	4
IN1143	Métodos Numéricos para Biologia Molecular	60	4
IN1144	Mineração de Dados	60	4
IN1145	Modelagem Geométrica	60	4
IN1146	Modelos Teóricos em Interação Humano-Computador	60	4
IN1147	Processamento de Sinais e Imagens Biológicos	60	4
IN1025	Processamento do Conhecimento	60	4
IN1027	Programação Paralela	60	4
IN1028	Projeto de Administração e Integração de Sistemas	60	4
IN1148	Projetos de Circuitos Integrados VLSI	60	4
IN1149	Qualidade, Processos e Gestão de Software	60	4
IN1150	Realidade Virtual e Aumentada Avançada	60	4
IN1151	Reconhecimento de Padrões e Previsão	60	4
IN1029	Redes de Alta Velocidade	60	4
IN1152	Recuperação Inteligente de Informação	60	4
IN1153	Robótica Cognitiva	60	4
IN1154	Segurança Computacional	60	4
IN0934	Semântica de Linguagens de Programação	60	4
IN1155	Síntese de Imagens	60	4
IN1031	Sistemas de Informação	60	4
IN1156	Sistemas de Tempo Real	60	4
IN1157	Sistemas Inteligentes Híbridos	60	4
IN1032	Sistemas Multimídia Distribuídos	60	4
IN1158	Teoria da Recursão	60	4
IN1033	Teoria das Categorias	60	4
IN1034	Teoria dos Domínios	60	4
IN1079	Teoria dos Modelos	60	4
IN1036	Teoria da Prova	60	4
IN1037	Tópicos Avançados em Administração e Integração de Sistemas 1	60	4
IN1038	Tópicos Avançados em Administração e Integração de Sistemas 2	60	4
IN1096	Tópicos Avançados em Agentes Inteligentes 1	60	4
IN1097	Tópicos Avançados em Agentes Inteligentes 2	60	4
IN1159	Tópicos Avançados em Agentes Inteligentes 3	60	4
IN1039	Tópicos Avançados em Algoritmos e Complexidade 1	60	4
IN1040	Tópicos Avançados em Algoritmos e Complexidade 2	60	4
IN0990	Tópicos Avançados em Arquitetura de Computadores 1	60	4
IN1041	Tópicos Avançados em Arquitetura de Computadores 2	60	4
IN1160	Tópicos Avançados em Avaliação de Desempenho de Sistemas	60	4
IN1161	Tópicos Avançados em Biologia Computacional 1	60	4
IN1162	Tópicos Avançados em Biologia Computacional 2	60	4
IN1163	Tópicos Avançados em Desenvolvimento de Software de Código Abde Código Aberto	60	4
IN0977	Tópicos Avançados em Engenharia de Software 1	60	4
IN0979	Tópicos Avançados em Engenharia de Software 2	60	4
IN0980	Tópicos Avançados em Engenharia de Software 3	60	4
IN1098	Tópicos Avançados em Inteligência Artificial Simbólica 1	60	4
IN1164	Tópicos Avançados em Inteligência Computacional 1	60	4
IN1165	Tópicos Avançados em Inteligência Computacional 2	60	4
IN1166	Tópicos Avançados em Inteligência Computacional 3	60	4
IN1167	Tópicos Avançados em Inteligência Computacional 4	60	4
IN1045	Tópicos Avançados em Linguagens de Programação 1	60	4
IN1046	Tópicos Avançados em Linguagens de Programação 2	60	4
IN1080	Tópicos Avançados em Linguagens de Programação 3	60	4
IN1047	Tópicos Avançados em Lógica e Sistemas Dedutivos 1	60	4
IN1048	Tópicos Avançados em Lógica e Sistemas Dedutivos 2	60	4
IN1087	Tópicos Avançados em Matemática da Computação	60	4
IN1168	Tópicos Avançados em Mídia e Interação 1	60	4
IN1169	Tópicos Avançados em Mídia e Interação 2	60	4
IN1170	Tópicos Avançados em Mídia e Interação 3	60	4
IN1171	Tópicos Avançados em Mídia e Interação 4	60	4
IN1172	Tópicos Avançados em Prototipação de Circuitos Integrados 1	60	4
IN1173	Tópicos Avançados em Prototipação de Circuitos Integrados 2	60	4
IN1053	Tópicos Avançados em Redes de Computadores 1	60	4
IN1054	Tópicos Avançados em Redes de Computadores 2	60	4
IN1055	Tópicos Avançados em Redes de Computadores 3	60	4
IN1174	Tópicos Avançados em Reuso de Software	60	4
IN1058	Tópicos Avançados em Sistemas Digitais 1	60	4
IN1059	Tópicos Avançados em Sistemas Digitais 2	60	4
IN1060	Tópicos Avançados em Sistemas Distribuídos 1	60	4
IN1061	Tópicos Avançados em Sistemas Distribuídos 2	60	4
IN1062	Tópicos Avançados em Sistemas Distribuídos 3	60	4
IN1175	Tópicos Avançados em Sistemas Embarcados 1	60	4
IN1176	Tópicos Avançados em Sistemas Embarcados 2	60	4
IN1177	Tópicos Especiais em Banco de Dados 1	60	4
IN1178	Tópicos Especiais em Banco de Dados 2	60	4
IN1179	Tópicos Especiais em Banco de Dados 3	60	4
IN1180	Trabalho Individual em Banco de Dados 1	60	4
IN1181	Trabalho Individual em Banco de Dados 2	60	4
IN1182	Trabalho Individual em Engenharia da Computação 1	60	4
IN1183	Trabalho Individual em Engenharia da Computação 2	60	4
IN1184	Trabalho Individual em Engenharia de Software 1	60	4
IN1185	Trabalho Individual em Engenharia de Software 2	60	4
IN1186	Trabalho Individual em Inteligência Computacional 1	60	4
IN1187	Trabalho Individual em Inteligência Computacional 2	60	4
IN1120	Trabalho Individual em Mídia e Interação 1	60	4
IN1121	Trabalho Individual em Mídia e Interação 2	60	4
IN1108	Trabalho Individual em Redes de Computadores e Sistemas Distribuídos 1 Distribuídos 1	60	4
IN1109	Trabalho Individual em Redes de Computadores e Sistemas Distribuídos 1 Distribuídos 2	60	4
IN1104	Trabalho Individual em Teoria da Computação 1	60	4
IN1106	Trabalho Individual em Teoria da Computação 2	60	4
IN0996	Visão Computacional	60	4