 | Up a level |
Barana, Michele and Scollo, Giuseppe (rel.) and Antoniol, Giuliano (correl.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0088]. - Uso di metodologie algebriche per l'ingegneria del software ed il paradigma ad oggetti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bombassei, Francesco and Biscaro, Roberto (rel.) and Tanca, Letizia (rel.) and Ferro, Ruggero (correl.) and Taddeo, Patrizia (correl.) (1998) [BM Tesi I 0086]. - L'analisi della conoscenza mediante strumenti ontologici in un approccio sistematico alla disciplina del knowledge management. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Briozzi, Enrico and Pica, Angelo (rel.) (1998) [BM Tesi I 0087]. - Tecniche adattive per il controllo dell'errore nella soluzione di problemi monodimensionali mediante il metodo degli elementi finiti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Delpari, Riccardo and Cettolo, Mauro (rel.) and Antoniol, Giuliano (correl.) (1998) [BM Tesi I 0083]. - Interfaccia grafica e monitoraggio di un sistema per la comunicazione vocale multilingua : analisi, progetto e realizzazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Fin, Alessandro and Tanca, Letizia (rel.) and Cristani, Matteo (correl.) (1998) [BM Tesi I 0085]. - Approccio genetico al ragionamento spazio-temporale con vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Polloni, Chiara and Tanca, Letizia (rel.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0089]. - Un approccio formale alla sicurezza in ambienti distribuiti e mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Poltronieri, Andrea and Antoniol, Giuliano (rel.) and Rigodanza, Alessandro (correl.) (1998) [BM Tesi I 0080]. - Ambiente visuale dedicato alla realizzazione di software per il controllo di reti di P.L.C. 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.
Riva, Nicola and Tanca, Letizia (rel.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0084]. - Assiomatizzazione della bisimulazione markoviana per processi mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
