Refinar su búsqueda
Disponibilidad
-
Autores
- Alur, Rajeev (1)
- Bovet, Daniel Pierre (1)
- Crescenzi, Pierluigi (1)
- Kozen, Dexter C. (1)
-
Tipos de ítem
- Libro (3)
-
Ubicaciones
-
Series
-
Temas
- Clases de complejida... (1)
- Complexity classes (1)
- Computación mediante... (3)
- Computation by abstr... (3)
- Formal languages (1)
- Ingeniería de softwa... (1)
- Lenguajes formales (1)
- Lógica matemática (1)
- Mathematical logic (1)
- Probabilidad y estad... (1)
- Probability and stat... (1)
- Software engineering (1)
- Mostrar más
- Mostrar menos