Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems
-
Autores
- Arranz Olmos, Santia... (1)
- Coquand, Thierry (1)
- Debard, Matías Emman... (1)
- Fridlender, Daniel E... (3)
- Gadea, Alejandro Emi... (2)
- Gunther, Emmanuel (2)
- Pagano, Miguel María (10)
- Piloni, Diego Ricard... (1)
- Rodríguez, Leonardo ... (1)
- Steinberg, Matías Ur... (1)
- Vilela, Demetrio Mar... (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
-
Ubicaciones
- Depósito Interno (1)
- Secc. Tesis y Trabajos especiales (7)
- Vitrina (3)
-
Temas
- ARM Cortex M4 (1)
- Categorical semantic... (1)
- Compilers (1)
- Denotational semanti... (2)
- Forcing (2)
- Formal methods and t... (1)
- Grammars and Other R... (1)
- Lenguajes de program... (1)
- Logic and verificati... (2)
- Mathematical Logic (2)
- Mecanización (1)
- Operational semantic... (1)
- Security and privacy (1)
- Semantics of program... (4)
- Semántica de lenguaj... (2)
- Theory of computatio... (3)
- Type Theory (1)
- Verificación (1)
- ZFC (1)
- Mostrar más
- Mostrar menos