logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Avvisi

  • Il servizio di assistenza via email è sospeso da venerdì 31 Luglio alle 13:30.  Le richieste verranno processate regolarmente da lunedì 24 Agosto.

Cerca per relatore della tesi

Risultati da 1 a 12 di 16
Titolo Corso di studi Anno di discussione Relatore
A Formalization of the Static Semantics of Rust INFORMATICA 2019
ANALISI E CORRELAZIONE DI DATI ETEROGENEI PER LA VALUTAZIONE DELL'EFFICACIA DEL SITO B2B DI UN'AZIENDA INFORMATICA INFORMATICA PER L'ECONOMIA E PER L'AZIENDA (BUSINESS INFORMATICS) 2018
Shareholder behaviour during IPOs of Helsinki Stock Exchange INFORMATICA PER L'ECONOMIA E PER L'AZIENDA (BUSINESS INFORMATICS) 2017
The Prosper run-time monitor: design and formal verification INFORMATICA 2014
Un'architettura flessibile per il trattamento dei messaggi XML nella Porta di Dominio OpenSPCoop TECNOLOGIE INFORMATICHE 2013
Studio e progettazione di processi operatori INFORMATICA PER L'ECONOMIA E PER L'AZIENDA (BUSINESS INFORMATICS) 2013
Studio e progettazione di processi operatori INFORMATICA PER L'ECONOMIA E PER L'AZIENDA (BUSINESS INFORMATICS) 2013
Programmazione logica con vincoli per la generazione automatica di test su programmi C/C++ INFORMATICA 2011
Creazione Automatica e Verifica di Servizi Composti in una Architettura Orientata alla Cooperazione Applicativa INFORMATICA 2010
Integrazione tra Strumenti di Protocollo e Gestione Documentale per la Pubblica Amministrazione TECNOLOGIE INFORMATICHE 2009
La Gestione degli Accordi di Cooperazione nel progetto OpenSPCoop TECNOLOGIE INFORMATICHE 2008
Un'architettura innovativa per la Cooperazione Applicativa nel progetto OpenSPCoop INFORMATICA 2007

Nuova ricerca