Refinar su búsqueda
Disponibilidad
-
Autores
- Barsotti, Damián (1)
- Blanco, Javier Oscar (2)
- Cherini, Renato (1)
- D'Argenio, Pedro Rub... (1)
- Wolovick, Nicolás (1)
-
Tipos de ítem
-
Ubicaciones
- Vitrina (3)
-
Temas
- Artificial Intellige... (1)
- Automatic programmin... (1)
- Computation by Abstr... (1)
- Concurrent Programmi... (1)
- Concurrent programmi... (1)
- Deducción y prueba d... (1)
- Deduction and theore... (1)
- Ingeniería de Softwa... (1)
- Inteligencia artific... (1)
- Language constructs ... (1)
- Logics and meanings ... (1)
- Lógica y significado... (1)
- Performance (1)
- Performance of syste... (1)
- Program verification (2)
- Programación concurr... (1)
- Software Engineering (1)
- Mostrar más
- Mostrar menos