Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
-
Ubicaciones
- Depósito Interno (3)
- Secc. Tesis y Trabajos especiales (5)
- Vitrina (1)
-
Temas
- Denotational semanti... (1)
- Formal definitions a... (1)
- Formal languages (1)
- Lambda calculus and ... (1)
- Lenguajes formales (1)
- Mathematical Logic (1)
- Microprogram design ... (1)
- Modelos de cómputo (1)
- Models of computatio... (1)
- Modes of computation (1)
- Modos de cómputo (1)
- Semantics of program... (6)
- Semántica de lenguaj... (6)
- Software/ program ve... (1)
- Mostrar más
- Mostrar menos