Refinar su búsqueda
Disponibilidad
-
Autores
- Abrial, Jean-Raymond (1)
- Baader, Franz (1)
- Baeten, Josephus Cor... (2)
- Barak, Boaz (1)
- Cousineau, Guy (1)
- Davey, Brian A. (1)
- Gusfield, Dan (1)
- Hartley, Richard (1)
- Hoek, Wiebe van der (1)
- Hoggar, Stuart G. (1)
- Jonkers, H. B. M. (1)
- Leyton-Brown, Kevin (1)
- Lothaire, M. (1)
- Milner, Robin (1)
- Mosses, Peter D. (1)
- Motwani, Rajeev (1)
- Padawitz, Peter (1)
- Paulson, Lawrence C. (1)
- Stoltenberg-Hansen, ... (1)
- Troelstra, Anne Sjer... (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (72)
-
Ubicaciones
- Sección Computación (72)
-
Series
-
Temas
- Applicative programm... (4)
- Artificial intellige... (4)
- Computation by abstr... (4)
- Discrete mathematics (4)
- Formal languages (10)
- Inteligencia artific... (3)
- Lenguajes de program... (6)
- Lenguajes formales (9)
- Logics and meanings ... (7)
- Lógica matemática (11)
- Lógica matemática-Co... (5)
- Lógica y significado... (5)
- Mathematical logic (13)
- Mathematical logic-C... (5)
- Modes of computation (5)
- Programas-Especifica... (2)
- Programming language... (8)
- Semantics of program... (3)
- Theory of computatio... (2)
- Mostrar más
- Mostrar menos