Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
-
Ubicaciones
- Depósito Interno (2)
- Secc. Tesis y Trabajos especiales (3)
- Vitrina (1)
-
Temas
- Artificial Intellige... (1)
- Computation by Abstr... (1)
- Computer communicati... (1)
- Distributed Systems (1)
- Ingeniería de softwa... (2)
- Ingeniería de Softwa... (1)
- Inteligencia artific... (1)
- Logics and meanings ... (1)
- Lógica y significado... (1)
- Model checking (1)
- Modelos distribuídos (1)
- Program Verification (1)
- Software engineering (3)
- Software Engineering (1)
- Software Program ver... (1)
- Mostrar más
- Mostrar menos