CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishSfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 4 di 4
| Titolo | Data di deposito | Autore(i) |
|---|---|---|
| Using a set constraint solver for program verification | 21-set-2018 | Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia |
| Italia 2011. GRandi progetti della trasformazione urbana | 26-nov-2016 | Prandi E. |
| First steps in integrating {log} into Z/EVES | 9-gen-2016 | Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia |
| A Remark on the Convexity Theorem | 21-dic-2015 | Biliotti, Leonardo |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 4 di 4
Copyright © 2019