ListarGI-COLE - Congresos, conferencias, etc. por tema
Mostrando ítems 14-25 de 25
Materia |
---|
Logical Push-Down Automata [1] |
Maintenance [1] |
Programación síncrona [1] |
Push-down automata [1] |
Reactive systems [1] |
Sistemas reactivos [1] |
Static analysis [1] |
Structure sharing [1] |
Synchronous programming [1] |
Tagging [1] |
User Interface [1] |
Verificación de autómatas [1] |