Refinar su búsqueda
Disponibilidad
-
Autores
- Baeten, Josephus Cor... (1)
- Barak, Boaz (1)
- Brito, María Rosa (1)
- Büchi, Julius Richar... (1)
- Díaz, Josep (1)
- Foxley, Eric (1)
- Gabarró, Joaquim (1)
- Glidden, Rob (1)
- Hwu, Wen-mei W. (2)
- Johnsonbaugh, Richar... (1)
- Karypis, George (1)
- Kirk, David B. (2)
- Kozen, Dexter C. (2)
- Maibaum, Thomas S. E... (1)
- Ramzan, Zulfikar (1)
- Sarkar, Vivek (1)
- Shannon, Claude Elwo... (1)
- Siefkes, Dirk (1)
- Ullman, Jeffrey D. (2)
- Wolfe, Michael Josep... (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (2)
- Libro (83)
-
Ubicaciones
- Sección Computación (83)
-
Series
- Addison-Wesley syste... (1)
- Annals of mathematic... (1)
- Cambridge tracts in ... (9)
- Chapman & Hall mathe... (1)
- Chicago lectures in ... (1)
- CSLI lecture notes (1)
- EATCS monographs on ... (1)
- EATCS series (2)
- Graduate texts in co... (1)
- Handbooks of logic i... (1)
- McGraw-Hill series i... (1)
- Prentice-Hall intern... (5)
- Prentice-Hall series... (1)
- Series of books in t... (1)
- Synthesis lectures o... (1)
- Texts in computer sc... (1)
- Texts in theoretical... (2)
- Theory and applicati... (1)
- Undergraduate texts ... (1)
- Mostrar más
- Mostrar menos
-
Temas
- Computación (7)
- Computación gráfica (5)
- Computación por disp... (12)
- Computation by abstr... (15)
- Computational comple... (6)
- Formal languages (5)
- Lenguajes de program... (6)
- Lenguajes formales (5)
- Lógica matemática (8)
- Lógica matemática-Co... (10)
- Matemática de la com... (9)
- Mathematical logic (7)
- Mathematical logic-C... (10)
- Mathematics of compu... (8)
- Models of computatio... (5)
- Modes of computation (14)
- Modos de computación (14)
- Programming language... (5)
- Teoría de la computa... (7)
- Theory of computatio... (6)
- Mostrar más
- Mostrar menos