| CÓDIGO | Assuntos | DEDALUS | Produção (BDPI) | Teses (BDDT) | FAPESP | ASSUNTOS | |
|---|---|---|---|---|---|---|---|
| CE610.15.3 | LINGUAGENS FORMAIS |
|
|
|
|
 |
|
| CE610.15.3.1 | FAMÍLIA DE LINGUAGENS ABSTRATAS |
|
|
|
|
|
|
| CE610.15.3.2 | GRAMATICAS-W |
|
|
|
|
|
|
| CE610.15.3.3 | L-SISTEMAS |
|
|
|
|
|
|
| CE610.15.3.4 | LINGUAGENS LIVRES DE CONTEXTO |
|
|
|
|
|
|
| CE610.15.3.5 | LINGUAGENS REGULARES |
|
|
|
|
|
|
| CE610.15.4 | SEMÂNTICA DE PROGRAMAÇÃO |
|
|
|
|
|
|
| CE610.15.4.1 | FUNDAMENTOS DA SEMÂNTICA DE PROGRAMAÇÃO |
|
|
|
|
|
|
| CE610.15.5 | TEORIA DOS AUTÔMATOS |
|
|
|
|
|
|
| CE610.15.5.1 | AUTÔMATOS FINITOS |
|
|
|
|
|
|
| CE610.15.5.2 | AUTÔMATOS PROBABILÍSTICOS |
|
|
|
|
|
|
| CE610.15.5.3 | CHAVEAMENTO E AUTÔMATOS |
|
|
|
|
|
|
| CE610.15.5.4 | EXPRESSÕES REGULARES |
|
|
|
|
|
|
| CE610.15.5.5 | MÁQUINAS LINEARES E SEQUENCIAIS |
|
|
|
|
|
|
| CE610.15.6 | MATEMÁTICA DISCRETA |
|
|
|
|
|
|
| CE610.16 | METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO |
|
|
|
|
|
|
| CE610.16.1 | TÉCNICAS DE PROGRAMAÇÃO |
|
|
|
|
|
|
| CE610.16.1.1 | CORREÇÃO DE PROGRAMAS |
|
|
|
|
|
|
| CE610.16.1.10 | PROGRAMAÇÃO PARALELA |
|
|
|
|
|
|
| CE610.16.1.11 | PROGRAMAÇÃO POR RESTRIÇÕES |
|
|
|
|
|
|
| CE610.16.1.12 | RECURSÃO |
|
|
|
|
|
|
| CE610.16.1.13 | REFLEXÃO COMPUTACIONAL |
|
|
|
|
|
|
| CE610.16.1.14 | SÍNTESE DE PROGRAMAS |
|
|
|
|
|
|
| CE610.16.1.15 | TRANSFORMAÇÃO DE PROGRAMAS |
|
|
|
|
|
|
| CE610.16.1.2 | LINGUAGEM ESTRUTURADA |
|
|
|
|
|
|
| CE610.16.1.3 | PROCESSAMENTO SIMBÓLICO |
|
|
|
|
|
|
| CE610.16.1.4 | PROGRAMAÇÃO CONCORRENTE |
|
|
|
|
|
|
| CE610.16.1.5 | PROGRAMAÇÃO ESTRUTURADA |
|
|
|
|
|
|
| CE610.16.1.6 | PROGRAMAÇÃO FUNCIONAL |
|
|
|
|
|
|
| CE610.16.1.7 | PROGRAMAÇÃO HEURÍSTICA |
|
|
|
|
|
|