Refine your search
Availability
-
Authors
- Aaronson, Scott
- Bovet, Daniel Pierre
- Chuang, Isaac L.
- Crescenzi, Pierluigi
- Cutland, Nigel
- De Lillo, Nicholas J...
- Hennie, Fred
- Irazábal, Jerónimo
- Jones, Neil D.
- Mallozzi, John
- Mendelson, Elliott
- Nielsen, Michael A.
- Pons, Claudia Fabian...
- Rosenfeld, Ricardo F...
- Tinetti, Fernando Gu...
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Series
-
Topics
- ALGORITMOS
- ALGORITMOS PARALELOS
- ANÁLISIS DE ALGORITM...
- AUTÓMATAS
- COMPLEJIDAD COMPUTAC...
- COMPUTACIÓN CUÁNTICA
- CORRECCIÓN DE PROGRA...
- FUNCIONES RECURSIVAS
- LENGUAJES FORMALES
- LÓGICA MATEMÁTICA
- MÁQUINA DE TURING
- PASCAL
- RECURSIÓN
- SEMÁNTICA DE LOS LEN...
- SISTEMAS INTELIGENTE...
- TEORÍA DE CONJUNTOS
- TEORÍA DE LA COMPUTA...
- TEORÍA DE LA COMPUTA...
- VERIFICACIÓN DE PROG...
- Show more
- Show less