Refinar su búsqueda
Disponibilidad
-
Autores
- Bertot, Yves (1)
- Castéran, Pierre (1)
- Fokkink, Wan (1)
- Hromkovic, Juraj (1)
- Kroening, Daniel (1)
- Libkin, Leonid (1)
- Paolini, Luca (1)
- Ronchi della Rocca, ... (1)
- Salomaa, Arto (1)
- Strichman, Ofer (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (7)
-
Ubicaciones
-
Series
- EATCS series (5)
- Texts in theoretical... (7)
-
Temas
- Administración de ba... (1)
- Asistencia de diseño... (1)
- Computation by abstr... (1)
- Concurrent programmi... (1)
- Data encryption (1)
- Database management (1)
- Encriptamiento de da... (1)
- Estructura de datos (1)
- Formal languages (2)
- Lambda calculus (1)
- Logics and meanings ... (2)
- Lógica matemática (2)
- Mathematical logic (3)
- Modes of computation (1)
- Program verification (2)
- Programación concurr... (1)
- Programming language... (1)
- Semantic of programm... (1)
- Specifying and verif... (1)
- Verificación de prog... (2)
- Mostrar más
- Mostrar menos