Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
-
Ubicaciones
- Depósito Interno (1)
- Secc. Tesis y Trabajos especiales (3)
- Vitrina (1)
-
Temas
- Automata (1)
- Automata over infini... (1)
- Concurrencia (1)
- Concurrency (1)
- Confluencia (1)
- Determinismo (1)
- Expressions and thei... (1)
- Formal languages (2)
- Formal languages and... (1)
- Lenguajes formales (1)
- Logics and Meanings ... (1)
- Mathematical logic a... (1)
- Modes of computation (1)
- Probability and Stat... (1)
- Semantics of program... (1)
- Semántica de lenguaj... (1)
- Simulación (1)
- Timed and hybrid mod... (1)
- Verification by mode... (1)
- Mostrar más
- Mostrar menos