Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems:
-
Autores
- Bjorner, Dines (1)
- D'Argenio, Pedro Rub... (4)
- Dalen, Dirk (1)
- Goldberg, Leslie Ann (1)
- Heering, Jan (2)
- Hopcroft, John E. (4)
- Maibaum, Thomas S. E... (2)
- 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 (103)
- Libro Electrónico (1)
- Tesis de Doctorado (1)
- Trabajo Especial de Grado (5)
-
Ubicaciones
- Colección AMS (2)
- Depósito Interno (2)
- eLibro (1)
- Secc. Tesis y Trabajos especiales (5)
- Sección Computación (61)
- Sección Lecture Notes (40)
- Vitrina (1)
- Mostrar más
- Mostrar menos
-
Series
- Cambridge tracts in ... (7)
- 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... (36)
- LNCS (32)
- London Mathematical ... (1)
- MEMO (1)
- Memoirs of the Ameri... (1)
- Oxford logic guides (4)
- Prentice-Hall series... (1)
- Synthese library (1)
- Texts in theoretical... (2)
- 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 (7)
- Formal languages (104)
- 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 ... (27)
- Lógica matemática (65)
- Lógica y significado... (28)
- Mathematical logic (73)
- Programming language... (13)
- Software engineering (13)
- Mostrar más
- Mostrar menos