Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Especificacao Algebrica
utilizada 56 vezes por 1 professores
Utilizada por 1 professor
Por ordem de relevância (total: 1)
Mauricio Ayala Rincon
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Especificacao Algebrica"
Algoritmos Eficientes
Análise de Algoritmos
Arranjos Sistólicos
Deducao Automatica
Especificacao Algebrica
Evolutionary algorithms
FPGA
Floating-point arithmetic
Hardware não convencional
Lógica da Computação
Modelos e linguagens computacionais
Métodos Formais
PVS
Projeto de hardware
Prova de Teoremas
Reescrita-Lógica
Semântica das linguagens de programação
Sistemas Reconfiguráveis
Sistemas de Reescrita Condicionais
Sistemas de Reescrita de Termos
Teoria de Prova
Teoria de Reescrita
Teorias de ordem superior
Unificação de Primeira Ordem
criptografia
sistemas de reescrita
CTIT UFMG