Refinar su búsqueda
Disponibilidad
-
Autores
- Alur, Rajeev (1)
- Arora, Sanjeev (1)
- Barak, Boaz (1)
- Bovet, Daniel Pierre (1)
- Bradley, Aaron R. (1)
- Crescenzi, Pierluigi (1)
- Dewdney, A. K. (1)
- Downey, Rodney G. (1)
- Goldreich, Oded (1)
- Hirschfeldt, Denis R... (1)
- Kaynar, Dilsun K. (1)
- Kozen, Dexter C. (2)
- Lipton, Richard J. (1)
- Lynch, Nancy (1)
- Manna, Zohar (1)
- Shannon, Claude Elwo... (1)
- Silva, Manuel (1)
- Sipser, Michael (1)
- Tabuada, Paulo (1)
- Vaandrager, Frits (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (15)
-
Ubicaciones
- Sección Computación (15)
-
Series
-
Temas
- Análisis de algoritm... (2)
- Análisis de algoritm... (1)
- Clases de complejida... (1)
- Computación mediante... (3)
- Computación por disp... (11)
- Computation by abstr... (15)
- Computational comple... (5)
- Computer algorithms (1)
- Digital control syst... (1)
- Formal languages (2)
- Hybrid systems (1)
- Ingeniería de softwa... (1)
- Lenguajes formales (2)
- Lógica matemática (3)
- Mathematical logic (3)
- Probabilidad (1)
- Probability (1)
- Problem complexity (2)
- Problemas de complej... (2)
- Turing machines (1)
- Mostrar más
- Mostrar menos