Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (1)
- Bjorner, Dines (1)
- Dalen, Dirk (1)
- Dowek, Guilles (1)
- Ehrig, Hartmut (1)
- Goldberg, Leslie Ann (1)
- Halldórsson, Magnús ... (1)
- Heering, Jan (2)
- Jurdziński, Tomasz (1)
- Löffler, Markus (1)
- Maibaum, Thomas S. E... (1)
- Marchetti-Spaccamela... (1)
- Meinke, Karl (2)
- Moniz Pereira, Luís (1)
- Möller, Bernhard (2)
- Nivat, Maurice (2)
- Preneel, Bart (1)
- Rodríguez-Artalejo, ... (1)
- Rozenberg, Grzegorz (1)
- Staudek, Jan (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (40)
-
Ubicaciones
-
Series
- Lecture notes in art... (2)
- Lecture notes in art... (1)
- Lecture notes in com... (39)
- Lecture Notes in Com... (1)
- LNCS (32)
-
Temas
- Analysis of algorith... (8)
- Análisis de algoritm... (7)
- Computación mediante... (5)
- Computation by abstr... (7)
- Deducción y prueba d... (11)
- Deduction and theore... (11)
- Formal languages (37)
- Grammars and other r... (6)
- Gramáticas y otros s... (6)
- Ingeniería de softwa... (7)
- Lenguajes de program... (11)
- Lenguajes formales (33)
- Logic programming (5)
- Logics and meanings ... (24)
- Lógica matemática (26)
- Lógica y significado... (22)
- Mathematical logic (23)
- Programming language... (13)
- Software engineering (12)
- Mostrar más
- Mostrar menos