 | Up a level |
Dal Palù, Alessandro and Giacobazzi, Roberto (rel.) and Dovier, Agostino (correl.) and Pontelli, Enrico (correl.) and Ranjan, Desh (correl.) (2002) [BM Tesi I 0202]. - New optimal algorithms on pointer machines. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Veneri, Elisa and Giacobazzi, Roberto (rel.) and Dovier, Agostino (correl.) (2000) [BM Tesi I 0032]. - Programmazione con vincoli di sicurezza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Peroni, Alessandro and Fummi, Franco (rel.) and Dovier, Agostino (correl.) (2000) [BM Tesi I 0045]. - Il test funzionale per sistemi digitali basato su programmazione logica con vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Dongili, Monica and Belussi, Alberto (rel.) and Dovier, Agostino (correl.) and Previato, Paolo (correl.) (1999) [BM Tesi I 0091]. - LIMS : una metodologia di progettazione di un sistema informatico convalidato per un'azienda farmaceutica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Quintarelli, Elisa and Tanca, Letizia (rel.) and Dovier, Agostino (correl.) (1998) [BM Tesi I 0090]. - WG-Log : semantiche operazionali e proprietà logiche. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marchesini, Massimo and Tanca, Letizia (rel.) and Dovier, Agostino (correl.) and Gastaldello, Guido (correl.) (1998) [BM Tesi I 0106]. - Sviluppo di un sistema informativo presso un'azienda di soluzioni informatiche distribuita geograficamente : progetto ed organizzazione della rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Biasi, Chiara and Tanca, Letizia (rel.) and Dovier, Agostino (correl.) and Gastaldello, Guido (correl.) (1998) [BM Tesi I 0110]. - Sviluppo di un sistema informativo presso un'azienda di soluzioni informatiche distribuita geograficamente : applicazioni realizzate. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
