Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (1)
- Barthe, Gilles (1)
- Birtwistle, Graham M... (1)
- Bjorner, Dines (1)
- Broy, Manfred (2)
- Dalen, Dirk (1)
- Groote, Philippe (1)
- Heering, Jan (2)
- Hermanns, Holger (2)
- Marchetti-Spaccamela... (1)
- Meinke, Karl (3)
- Moller, Faron (1)
- Montanari, Ugo (2)
- Möller, Bernhard (2)
- Nivat, Maurice (2)
- Parrow, Joachim (1)
- Plotkin, Gordon (1)
- Rodríguez-Artalejo, ... (1)
- Saraiva, Joao (1)
- Sassone, Vladimiro (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (56)
-
Ubicaciones
-
Series
- Lecture notes in art... (1)
- Lecture notes in com... (56)
- LNCS (46)
-
Temas
- Analysis of algorith... (11)
- Análisis de algoritm... (10)
- Computación mediante... (11)
- Computation by abstr... (12)
- Computer networks (6)
- Deducción y prueba d... (12)
- Deduction and theore... (10)
- Formal languages (21)
- Ingeniería de softwa... (11)
- Lenguajes de program... (22)
- Lenguajes formales (23)
- Logics and meanings ... (49)
- Lógica matemática (22)
- Lógica y significado... (52)
- Mathematical logic (19)
- Programación-Técnica... (8)
- Programming language... (20)
- Programming techniqu... (8)
- Software engineering (12)
- Verificación de prog... (6)
- Mostrar más
- Mostrar menos