Listar Tesis 2019 por título

Ordenar por:Orden:Resultados:

  • Verificación formal del cálculo ASF en Coq 
    Torres Ruiz, Mateo Alberto (2019-08-19)
    Esta tesis explora un nuevo sistema formal que busca servir de base para establecer un paradigma dentro de los lenguajes de programación capaz de aliviar las tensiones existentes entre el paradigma funcional e imperativo. ...
  • Viabilidad técnica del almacenamiento de CO2 en basaltos en México 
    Sanchez Ayala, Yocabel Yumiko (2019-03-14)
    Este trabajo propone sitios de posible almacenamiento geológico de CO2 en México. Siendo la tecnología CCUS una forma de contribuir a la reducción de gases de efecto invernadero, y cumplir con los acuerdos de México con ...

Buscar en RepoFI


Búsqueda avanzada

Listar

Mi cuenta