Tesi di laurea con relatore o correlatore Lanese, Ivan, discusse nel 2025

[su] Su di un livello
Esporta come [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Vai a: G | L | R | S
Numero di documenti: 4.

G

Genovese, Gabriele (2025) Realisability of Global Types: Decidability and Verification. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

L

Licchelli, Francesco (2025) JolieGraph: uno strumento per l'analisi delle comunicazioni di servizi Jolie. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

R

Rossi, Alex (2025) Sviluppo di un servizio di gestione documentale mediante elaborazione del linguaggio naturale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

S

Severini, Alessandro (2025) Green Coding, programming languages and more. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Questa lista e' stata generata il Fri Jan 30 03:00:43 2026 CET.

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2026.

^