Commissioni d'esame 2012/2013 - Secondo semestre
Corso di Laurea Magistrale in Informatica - B059
|
Codice |
Esame |
Titolare/i attività didattica(*) |
Commissari (membri ulteriori) |
|
B012497 |
Algoritmica |
Verri Maria Cecilia |
Barcucci, Crescenzi, Merlini |
|
B012483 |
Analisi quantitativa dei sistemi |
Bondavalli Andrea Chiaradonna Silvano |
Lollini, Ferrari |
|
B006822 |
Codici e sicurezza |
Boreale Michele |
mutua da B006822 - CODICI E SICUREZZA (B032 L Informatica) |
|
B014443 |
Data Warehousing |
Martelli Cristina Gori Alessandro |
Merlini, Verri |
|
B012501 |
Documentazione automatica |
Francesconi Enrico |
Crescenzi, Merlini, Verri |
|
B010818 |
Metodi di Verifica e Testing |
Vicario Enrico |
mutua da B010484 - METODI DI VERIFICA E TESTING (B070 LM Ingegneria Informatica) |
|
B012519 |
Metodi numerici per la grafica |
Sestini Alessandra |
Bellavia, Brugnano, Morandi, Papini |
|
B014447 |
Reti neurali |
Landi Gregorio |
Tasselli, Bini |
|
B012511 |
Teoria dei linguaggi di programmazione |
Venneri Battistina |
Crescenzi, Loreti, Pugliese |
|
B012523 |
Teoria dell'Informazione |
Landi Gregorio |
Bini, Tasselli |
|
B015701 |
Metodi Numerici per l'Ottimizzazione |
Bellavia Stefania |
mutua da parte di B018804 OTTIMIZZAZIONE NUMERICA (B077 LM Matematica ) |
Insegnamenti disattivati
|
B012481 |
Analisi degli algoritmi e delle strutture dati |
Merlini Donatella |
Verri, Crescenzi, Barcucci |
|
B012485 |
Linguaggi, interpreti e compilatori |
Loreti Michele |
Pugliese, Boreale, Crescenzi, Venneri |
|
B012491 |
Progettazione di algoritmi e complessità computazionale |
Crescenzi Pierluigi |
Loreti, Merlini, Pugliese, Venneri, Verri |
|
B012493 |
Sistemi distribuiti e reti di calcolatori |
Pugliese Rosario |
Bondavalli, Boreale, Crescenzi, Loreti, Venneri, Tiezzi |
|
B012495 |
Algoritmi per reti di calcolatori |
Crescenzi Pierluigi |
Boreale, Loreti, Merlini, Pugliese, Venneri, Verri. |
|
B012503 |
Paradigmi e tecniche avanzate di programmazione |
Elena Barcucci |
Ferrari, Venneri |
|
B012507 |
Strutture per basi di dati |
Verri M. Cecilia |
Barcucci, Merlini, |
|
B012509 |
Tecniche di verifica e valutazione di sistemi |
Pugliese Rosario |
Gnesi, Massink, Loreti |
|
B012521 |
Modelli e calcoli per la fisica |
Landi Gregorio |
mutua da B014447 RETI NEURALI (B059 LM Informatica) |
|
B014448 |
Ricerca operativa |
Verri M. Cecilia |
De Luca, Sestini, Venneri |
|
B015703 |
Teoria e tecniche decisionali |
Verri M. Cecilia |
Merlini, Venneri |
Corso di Laurea Specialistica in Scienze e Tecnologie dell'Informazione - 0882
|
Codice |
Esame |
Titolare/i attività didattica(*) |
Commissari (membri ulteriori) |
|
0106165 |
Affidabilità dei sistemi di elaborazione |
Andrea Bondavalli Felicita Di Giandomenico |
Lollini |
|
0106166 |
Algoritmi per Reti di Calcolatori |
Crescenzi Pierluigi |
Boreale, Loreti, Merlini, Pugliese, Venneri, Verri. |
|
0105827 |
Analisi degli algoritmi e delle strutture dati |
Merlini Donatella |
Boreale, Crescenzi, Loreti, Sprugnoli, Verri |
|
0105828 |
Analisi numerica: metodologie avanzate |
Sestini Alessandra |
Bellavia, Brugnan, Papini |
|
0105948 |
Applicazioni di sistemi informativi |
Merlini Donatella |
Cesarini, Venneri, Verri |
|
0106375 |
Attività Seminariali I su Applicazioni Scientifiche dell'Informatica |
Brugnano Luigi |
Bellavia, Papini, Sestini, Vespri, |
|
0106371 |
Attività Seminariali I su Sistemi Distribuiti: Fond., Ling. E Appl. |
Venneri Battistina |
Boreale, Loreti, Pugliese, Gnesi, Massink |
|
0106373 |
Attività Seminariali I su Teoria e Applicazioni delle Strutture Dati |
Verri M. Cecilia |
Barcucci, Merlini, Gori, Sprugnoli |
|
0106376 |
Attività Seminariali II su Applicazioni Scientifiche dell'Informatica |
Brugnano Luigi |
Bellavia, Papini, Sestini, Vespri, |
|
0106372 |
Attività Seminariali II su Sistemi Distribuiti: Fond., Ling. E Appl. |
Venneri Battistina |
Boreale, Loreti, Pugliese, Gnesi, Massink |
|
0106374 |
Attività Seminariali II su Teoria e Applicazioni delle Strutture Dati |
Verri M. Cecilia |
Barcucci, Merlini, Gori, Sprugnoli |
|
0105829 |
Data Warehousing e data mining |
A. Gori |
Barcucci, Martelli, Merlini, Verri |
|
0105949 |
Documentazione automatica |
E. Francesconi |
Merlini, Verri |
|
0105950 |
Fondamenti di Linguaggi di programmazione |
Venneri Battistina |
Crescenzi, Loreti, Pugliese |
|
0106168 |
Fondamenti di programmazione dichiarativa e funzionale |
Barcucci Elena |
Aguzzi, Venneri, Verri, Ferrari |
|
0105951 |
Informatica e organizzazione |
Bencini A. |
Bocci, Verri |
|
0105834 |
Intelligenza artificiale |
Frasconi P. |
S. Marinai, G. Soda |
|
0105186 |
Laboratorio di calcolo numerico |
Sestini Alessandra |
Bellavia, Brugnano, Papini |
|
0105191 |
Laboratorio di Fisica |
Fort C. |
G. Modugno, L. Fallani |
|
0105952 |
Linguaggi e modelli per sistemi mobili |
Pugliese Rosario |
Boreale, Loreti, Venneri |
|
0105953 |
Logica Computazionale |
Mundici Daniele |
Casolo, Mundici, Pannone, Scarselli |
|
0106307 |
Logica Fuzzy |
|
|
|
0106308 |
Metodi di approssimazione II |
Brugnano Luigi |
Bellavia, Papini, Sestini |
|
0105954 |
Metodi e Strumenti per l'Analisi e la Verifica |
Gnesi Stefania |
Pugliese, Loreti |
|
0105830 |
Metodi formali per la programmazione |
Loreti Michele |
Pugliese, Boreale, Crescenzi, Venneri |
|
0105831 |
Metodi Numerici per la Grafica I |
Sestini Alessandra |
Bellavia, Brugnano, Morandi, Papini |
|
0105956 |
Metodi Statistici per l'Analisi dei Dati |
L. Grilli |
Rampichini |
|
0105832 |
Metodologie di Valutazione dell'Interazione Uomo Macchina |
Verri M. Cecilia |
Crescenzi, Merlini, Verri |
|
0106399 |
Modellistica combinatoria |
Verri M. Cecilia |
Merlini, Ferrari, Sprugnoli |
|
0105957 |
Organizzazione dei Sistemi Informativi |
Verri M. Cecilia |
Barcucci, Cesarini, Merlini |
|
0105305 |
Ricerca operativa |
Verri M. Cecilia |
De Luca, Sestini, Venneri |
|
0105958 |
Sicurezza delle reti: principi e applicazioni |
Boreale Michele |
Acciai, Bondavalli, Loreti, Pugliese |
|
0105959 |
Sistemi Informativi Distribuiti |
Merlini Donatella |
Cesarini, Gori, Verri |
|
0105833 |
Teoria dell'Informazione |
Landi Gregorio |
Bini, Tasselli |