Búsqueda avanzada
Añadir filtros:
Usa los filtros para afinar la búsqueda.
Resultados de la búsqueda 1-2 de 2.
- Anterior
- 1
- Siguiente
Seleccionar recurso:
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
![]() | PiULL session types verification using COQ | García López, Ciro Iván | 2022 |
![]() | Fluctuations of P-parameter additive Lévy processes through convex minorants | Portillo del Valle, Daniela | 2022 |