Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems:
-
Autores
- Amadio, Roberto (1)
- Azéma, Pierre (1)
- Bidoit, Michel (1)
- Billington, Jonathan (1)
- Börger, Egon (1)
- Dauchet, Max (1)
- Gurevich, Yuri (1)
- Ito, Takayasu (1)
- Jonsson, Bengt (1)
- Lugiez, Denis (1)
- Mazurkiewiczs, Anton... (1)
- Meinke, Karl (1)
- Montanari, Ugo (1)
- Parrow, Joachim (1)
- Reisig, Wolfgang (1)
- Sassone, Vladimiro (1)
- Szatas, Andrzej (1)
- Thiagarajan, Pazhama... (1)
- Winkowski, Józef (1)
- Yonezawa, Akinori (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (12)
-
Ubicaciones
-
Series
- Lecture notes in com... (12)
- LNCS (10)
-
Temas
- Analysis of algorith... (6)
- Análisis de algoritm... (5)
- Computación mediante... (11)
- Computation by abstr... (10)
- Computer networks (5)
- Deducción y prueba d... (2)
- Formal languages (4)
- Graph theory (4)
- Lenguajes de program... (5)
- Lenguajes formales (5)
- Logics and meanings ... (10)
- Lógica matemática (4)
- Lógica y significado... (10)
- Mathematical logic (4)
- Operating systems (2)
- Programación-Técnica... (3)
- Programming language... (5)
- Programming techniqu... (3)
- Redes de computadora... (5)
- Teoría de grafos (4)
- Mostrar más
- Mostrar menos