Refinar su búsqueda
Disponibilidad
-
Autores
- Motwani, Rajeev (1)
- Büchi, Julius Richar... (1)
- Cohn, Paul Moritz (1)
- Findler, Robert Bruc... (1)
- He, Jifeng (1)
- Hoare, Charles Anton... (1)
- Hopcroft, John E. (2)
- Kozen, Dexter C. (1)
- Kröger, Fred (1)
- Kuich, Werner (1)
- Maibaum, Thomas S. E... (1)
- Paulson, Lawrence C. (1)
- Pierce, Benjamin C. (1)
- Revesz, György E. (1)
- Rozenberg, Grzegorz (1)
- Salomaa, Arto (2)
- Siefkes, Dirk (1)
- Smullyan, Raymond M. (2)
- Troelstra, Anne Sjer... (1)
- Ullman, Jeffrey D. (3)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (56)
-
Ubicaciones
- Sección Computación (56)
-
Series
- Cambridge tracts in ... (5)
- Discrete mathematics... (1)
- EATCS monographs on ... (4)
- EATCS series (2)
- ESPRIT basic researc... (1)
- Foundations of compu... (2)
- Graduate texts in co... (2)
- London Mathematical ... (1)
- Mathematics and its ... (1)
- Monographs in comput... (1)
- Monographs in theore... (1)
- Oxford logic guides (4)
- Prentice-Hall series... (1)
- Progress in computer... (1)
- Synthese library (1)
- Texts in theoretical... (2)
- Theory and applicati... (1)
- Trends in logic (1)
- Undergraduate texts ... (1)
- Mostrar más
- Mostrar menos
-
Temas
- Computation by abstr... (2)
- Computational comple... (3)
- Discrete mathematics (4)
- Estructura de datos (1)
- Formal languages (55)
- Lenguajes formales (54)
- Logic and meanings o... (2)
- Logics and meanings ... (3)
- Lógica matemática (44)
- Lógica y significado... (5)
- Machine theory (3)
- Matemática discreta (3)
- Mathematical logic (46)
- Probability (1)
- Procesadores-Arquite... (2)
- Mostrar más
- Mostrar menos