Refinar su búsqueda
Disponibilidad
-
Autores
- Cai, Jin-Yi (1)
- Cousot, Radhia (1)
- Darte, Alain (1)
- Ehrig, Hartmut (1)
- Engels, Gregor (1)
- Graf, Peter (1)
- Jiang, Tao (1)
- Koskimies, Kai (1)
- Lee, Der-Tsai (1)
- McRobbie, Michael A. (1)
- Paun, Gheorghe (1)
- Rozenberg, Grzegorz (1)
- Rusinowitch, Michaël (1)
- Rémy, Jean-Luc (1)
- Salomaa, Arto (1)
- Schmidt, David A. (1)
- Schulz, Klaus Ulrich (1)
- Slaney, John K. (1)
- Swierstra, S. Doaits... (1)
- Wong, Chak Kuen (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (15)
-
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