| Argomento | Area di ricerca |
|---|---|
| Algoritmi per problemi combinatorici e teoria dei grafi algoritmica | Algoritmi, Logica e teoria della computazione Computer science |
| Formal methods and theory of security | Sicurezza informatica Formal methods and theory of security |
| Matematica Discreta entro l'Informatica | Algoritmi, Logica e teoria della computazione Computer science |
| Modelli per sistemi ibridi | Ingegneria del Software e Verifica Formale Models of computation |
| Modelli stocastici concorrenti | Ingegneria del Software e Verifica Formale Models of computation |
| Operations research and management science | Algoritmi, Logica e teoria della computazione Operations research, mathematical programming |
| Politopi e Poliedri | Algoritmi, Logica e teoria della computazione Polytopes and polyhedra |
| Probabilistic Analysis of Security | Sicurezza informatica Formal methods and theory of security |
| Programmazione Matematica | Algoritmi, Logica e teoria della computazione Operations research, mathematical programming |
| Ricerca Operativa | Bioinformatica e informatica medica Operations research |
| Robotica |
Sistemi robotici e automazione
Sistemi robotici e automazione |
| Teoria dei Grafi | Algoritmi, Logica e teoria della computazione Graph theory |
| Teoria della computazione | Algoritmi, Logica e teoria della computazione Computer science |
© 2025 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********
