Results
|
|
Sobre la representación de S4.3. by
Material type: Text; Literary form:
Not fiction
Publication details: 1996
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 96/01 .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lógica de pruebas para certificación de computación móvil by
Material type: Text; Literary form:
Not fiction
Publication details: 2009
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2009.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 09/22 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
|
|
|
The intensional lambda calculus by
Material type: Article; Literary form:
Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
|
|
|
|
|
|
Compilación de programas seguros by
Material type: Text; Literary form:
Not fiction
Publication details: 2009
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 09/38 .
|
|
|
|
|
|
|
|
|
de Bruijn indices for metaterms by
Material type: Article; Literary form:
Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
|
|
|
|
|
|
|