Refinar su búsqueda
Disponibilidad
-
Autores
- Bjorner, Dines (1)
- Büchi, Julius Richar... (1)
- Dalen, Dirk (1)
- Heering, Jan (2)
- Hoare, Charles Anton... (1)
- Hopcroft, John E. (2)
- Kröger, Fred (1)
- Maibaum, Thomas S. E... (1)
- Meinke, Karl (2)
- Möller, Bernhard (2)
- Nerode, Anil (2)
- Nivat, Maurice (2)
- Paulson, Lawrence C. (1)
- Pierce, Benjamin C. (1)
- Rozenberg, Grzegorz (2)
- Salomaa, Arto (3)
- Siefkes, Dirk (1)
- Smullyan, Raymond M. (2)
- Staudek, Jan (1)
- Ullman, Jeffrey D. (4)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (90)
- Libro Electrónico (1)
- Trabajo Especial de Grado (1)
-
Ubicaciones
- eLibro (1)
- Secc. Tesis y Trabajos especiales (1)
- Sección Computación (56)
- Sección Lecture Notes (34)
-
Series
- Cambridge tracts in ... (5)
- EATCS monographs on ... (4)
- EATCS series (2)
- ESPRIT basic researc... (1)
- Foundations of compu... (2)
- Graduate texts in co... (2)
- Lecture notes in art... (1)
- Lecture notes in com... (33)
- LNCS (27)
- London Mathematical ... (1)
- Mathematics and its ... (1)
- Oxford logic guides (4)
- Prentice-Hall series... (1)
- Synthese library (1)
- Texts in theoretical... (2)
- Theory and applicati... (1)
- Mostrar más
- Mostrar menos
-
Temas
- Analysis of algorith... (9)
- Análisis de algoritm... (8)
- Computation by abstr... (9)
- Deducción y prueba d... (11)
- Deduction and theore... (11)
- Discrete mathematics (6)
- Formal languages (90)
- Grammars and other r... (6)
- Gramáticas y otros s... (6)
- Ingeniería de softwa... (7)
- Lenguajes de program... (11)
- Lenguajes formales (85)
- Logics and meanings ... (25)
- Lógica matemática (65)
- Lógica y significado... (27)
- Mathematical logic (66)
- Programming language... (10)
- Software engineering (10)
- Mostrar más
- Mostrar menos