Prodotto trovati:
Titolo | Data di pubblicazione | Autore(i) | |
---|---|---|---|
1 | Por un contexto organizativo orientado a la seguridad | 2008 | D. ACQUADRO MARAN; G. SORO; E. GUERRERO BARONA; E. RAMOS GOROSPE; B. FAJARDO UTRILLA |
2 | Covalent bonding of Disperse Red 1 in HMS silica: synthesis and characterization. | 2003 | ONIDA B.; BORELLO L.; BAROLO C.; G. VISCARDI; MACQUARRIE D. J. AND GARRONE E. |
3 | Type Based Useless-Code Elimination for Functional Programs | 2000 | BERARDI S.; M. COPPO; DAMIANI F.; GIANNINI P. |
4 | Classical system of Martin-Lof's inductive definitions is not equivalent to cyclic proof system | 2017 | Berardi, Stefano; Tatsuta, Makoto |
5 | Evoluzione estiva su substrato pianeggiante del manto nevoso di Baia Terra Nova. | 1999 | MOTTA L.; MOTTA M. |