Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
- Libro (1)
- Libro Electrónico (1)
- Tesis de Doctorado (1)
- Trabajo Especial de Grado (5)
-
Ubicaciones
- Depósito Interno (1)
- Recurso en línea (1)
- Secc. Tesis y Trabajos especiales (5)
- Sección Computación (1)
- Vitrina (1)
-
Temas
- Automatic programmin... (2)
- Computación (1)
- Concurrent programmi... (1)
- Cálculo de programas (1)
- Deducción y prueba d... (1)
- Distributed algorith... (1)
- Graph drawings (1)
- Logica y significado... (1)
- Logics and meanings ... (1)
- Performance (1)
- Program verification (1)
- Programacion (1)
- Reasoning about prog... (1)
- Simulation (1)
- Software (2)
- Specifyng and verify... (1)
- Testing and Debuggin... (1)
- Visualization design... (1)
- Mostrar más
- Mostrar menos