Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems
-
Autores
- Cai, Jin-Yi (1)
- Cousot, Radhia (1)
- Darte, Alain (1)
- Ehrig, Hartmut (1)
- Graf, Peter (1)
- Infante-Lopez, Gabri... (2)
- Jiang, Tao (1)
- Koskimies, Kai (1)
- Lee, Der-Tsai (1)
- McRobbie, Michael A. (1)
- Pagano, Miguel María (1)
- Paun, Gheorghe (1)
- Piloni, Diego Ricard... (1)
- Rozenberg, Grzegorz (1)
- Rusinowitch, Michaël (1)
- Rémy, Jean-Luc (1)
- Salomaa, Arto (1)
- Slaney, John K. (1)
- Vilela, Demetrio Mar... (2)
- Wong, Chak Kuen (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (15)
- Trabajo Especial de Grado (4)
-
Ubicaciones
-
Series
- Lecture notes in art... (4)
- Lecture notes in com... (15)
- LNCS (7)
-
Temas
- Análisis de algoritm... (2)
- Artificial intellige... (2)
- Deducción y prueba d... (4)
- Deduction and theore... (4)
- Distributed systems (2)
- Formal languages (6)
- Grammars and other r... (15)
- Gramáticas y otros s... (15)
- Graph theory (3)
- Language classificat... (2)
- Lenguajes formales (6)
- Lógica matemática-Co... (4)
- Mathematical logic-C... (5)
- Natural language pro... (2)
- Network operations (2)
- Operaciones en red (2)
- Procesamiento del le... (2)
- Processors (2)
- Sistemas distribuido... (2)
- Teoría de grafos (3)
- Mostrar más
- Mostrar menos