Scorri la lista: Settore concorsuale

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore | Ciclo | Nessun raggruppamento
Vai a: G | L | R | T | V
Numero di documenti: 5.

G

Garcia Celestrin, Abel (2017) Static Analysis of Concurrent Programs Based on Behavioral Type Systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/8046.

L

Linares Zaila, Yisleidy (2017) GEIR: a Full-Fledged Geographically Enhanced Information Retrieval Solution, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/8051.

R

Rizzo, Stefano Giovanni (2017) Temporal Dimension of Text: Quantification, Metrics and Features, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/8004.

T

Trotta, Angelo (2017) Next-Generation Public Safety Systems Based on Autonomous Vehicles and Opportunistic Communications, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/8065.

V

Vignudelli, Valeria (2017) Behavioral Equivalences for Higher-Order Languages with Probabilities, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/7968.

Questa lista e' stata generata il Sun Sep 15 20:37:26 2019 CEST.
^