Refinar su búsqueda
Disponibilidad
-
Autores
- Alur, Rajeev (2)
- Barak, Boaz (1)
- Bougé, Luc (1)
- Bovet, Daniel Pierre (2)
- Dehne, Frank (1)
- Fogarty, Terence C. (1)
- Furuhashi, Takeshi (2)
- Karlsson, Rolf (1)
- Kozen, Dexter C. (2)
- Lipton, Richard J. (1)
- Liu, Weixin (1)
- Löffler, Markus (1)
- Maler, Oded (1)
- Olesen, Dorte (1)
- Parrow, Joachim (1)
- Ramalingam, G. (1)
- Sassone, Vladimiro (1)
- Shannon, Claude Elwo... (1)
- Sipper, Moshe (1)
- Staudek, Jan (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (52)
-
Ubicaciones
- Sección Computación (15)
- Sección Lecture Notes (37)
-
Series
-
Temas
- Analysis of algorith... (22)
- Análisis de algoritm... (21)
- Computación mediante... (34)
- Computación por disp... (14)
- Computation by abstr... (51)
- Computer networks (7)
- Discrete mathematics (9)
- Formal languages (9)
- Ingeniería de softwa... (6)
- Lenguajes de program... (9)
- Lenguajes formales (9)
- Logics and meanings ... (13)
- Lógica matemática (8)
- Lógica y significado... (12)
- Matemática discreta (9)
- Mathematical logic (9)
- Programming language... (9)
- Programming techniqu... (6)
- Redes de computadora... (7)
- Software engineering (6)
- Mostrar más
- Mostrar menos