Refinar su búsqueda
Disponibilidad
-
Autores
- Aguirre, Nazareno Ma... (1)
- Arch, David Daniel (1)
- Barsotti, Damián (1)
- Blanco, Javier Oscar (2)
- Bordenabe, Nicolás E... (1)
- Cherini, Renato (1)
- D'Argenio, Pedro Rub... (6)
- Dania, Carolina Inés (1)
- Ferrer Fioriti, Luis... (1)
- Giro, Sergio Sebasti... (1)
- Groote, Jan Friso (1)
- Ingaramo, Gastón (1)
- Marenchino, Matías L... (1)
- Moisset de Espanes, ... (1)
- Monti, Raúl Enrique (1)
- Mousavi, Mohammad Re... (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (1)
- Trabajo Especial de Grado (9)
-
Ubicaciones
-
Temas
- Concurrent programmi... (1)
- Data storage represe... (1)
- Data structures (1)
- Ingeniería de softwa... (1)
- Language constructs ... (1)
- Mathematical logic (1)
- Model checking (1)
- Numerical analysis (1)
- Object-oriented prog... (1)
- Operating systems (1)
- Semantics of program... (2)
- Semántica de lenguaj... (1)
- Software (4)
- Software engineering (1)
- Software/Program ver... (2)
- Specifying and verif... (1)
- Specifying and verif... (1)
- Studies of program c... (1)
- Mostrar más
- Mostrar menos