E-LIB Suche - Ergebnisse für: Montenegro-Peña, Mercedes

Sorted by: Relevance

Sorted by: Year

A type system for safe memory management and its proof of c..:

, In: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming,

Montenegro, Manuel ; Peña, Ricardo ; Segura, Clara - p. 152-162 , 2008

Link: https://dl.acm.org/doi/1..

Reinforcement Learning Based Strategies for Decision Suppor..:

, In: Springer Proceedings in Earth and Environmental Sciences; Proceedings of the 3rd International Conference on Water Energy Food and Sustainability (ICoWEFS 2023),

Díez, Aída Álvarez ; Rois, Rocío Pena ; Landín, Santiago Muíños. - p. 649-659 , 2024

Link: https://doi.org/10.1007/..

1-2