Refinar su búsqueda
Disponibilidad
-
Autores
- Alfaro, Luca de (1)
- Alur, Rajeev (1)
- Azéma, Pierre (1)
- Börger, Egon (1)
- Groote, Philippe (1)
- Gurevich, Yuri (1)
- Hindley, James Roger (1)
- Ito, Takayasu (1)
- Lee, Insup (1)
- Marchetti-Spaccamela... (1)
- Mazurkiewiczs, Anton... (1)
- Parrow, Joachim (1)
- Plotkin, Gordon (1)
- Raymond, Darrell Ron... (1)
- Sassone, Vladimiro (1)
- Smolka, Scott A. (1)
- Thiagarajan, Pazhama... (1)
- Vasconcelos, Vasco T... (1)
- Wood, Derick (1)
- Yu, Sheng (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (22)
-
Ubicaciones
-
Series
- Lecture notes in com... (22)
- LNCS (20)
-
Temas
- Analysis of algorith... (8)
- Análisis de algoritm... (7)
- Computación mediante... (11)
- Computation by abstr... (12)
- Computational geomet... (4)
- Computer networks (5)
- Deducción y prueba d... (3)
- Formal languages (7)
- Graph theory (6)
- Ingeniería de softwa... (3)
- Lenguajes de program... (8)
- Lenguajes formales (9)
- Logics and meanings ... (19)
- Lógica matemática (7)
- Lógica y significado... (20)
- Mathematical logic (5)
- Programming language... (8)
- Programming techniqu... (4)
- Redes de computadora... (5)
- Teoría de grafos (6)
- Mostrar más
- Mostrar menos