Codice

Esame

Titolare/i attività didattica(*)

Commissari (membri ulteriori)

B012483

Analisi quantitativa dei sistemi

Bondavalli Andrea

Lollini Paolo

Chiaradonna Silvano

Ferrari

B006822

Codici e sicurezza

Boreale Michele

Bondavalli, Loreti, Pugliese

B014443

Data Warehousing

Martelli Cristina

Gori Alessandro

Merlini, Verri

B012501

Documentazione automatica

Francesconi Enrico

Crescenzi, Merlini, Verri

B014445

Interazione Uomo Macchina

Verri Maria Cecilia

Merlini, Venneri

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
Conti Costanza

Bellavia, Brugnano, Giannelli, Morini

B015701

Metodi numerici per l’ottimizzazione

Stefania Bellavia

Benedetta Morini

Mutua da B018804 – (B077) Ottimizzazione numerica

B014447

Reti neurali

Landi Gregorio

Bini

B012511

Teoria dei linguaggi di programmazione

Venneri Battistina

Bettini, Crescenzi, Loreti, Pugliese

B012523

Teoria dell’Informazione

Landi Gregorio

Bini

B012497

Algoritmica

Verri Maria Cecilia

Barcucci, Crescenzi, Merlini

B012481

Analisi degli algoritmi e delle strutture dati

Merlini Donatella

Verri, Crescenzi, Barcucci

B012491

Progettazione di algoritmi e complessità computazionale

Crescenzi Pierluigi

Loreti, Merlini, Pugliese, Venneri, Verri

B012495

Algoritmi per reti di calcolatori

Crescenzi Pierluigi

Boreale, Loreti, Merlini, Pugliese, Venneri, Verri.

B012503

Paradigmi e tecniche avanzate di programmazione

Barcucci Elena

Ferrari, Venneri

B018967

Sistemi Distribuiti e Reti di Calcolatori

P. Crescenzi

Loreti, Pugliese, Venneri

B012507

Strutture per basi di dati

Verri M. Cecilia

Barcucci, Merlini,

B012509

Tecniche di verifica e valutazione di sistemi

Pugliese Rosario

Loreti

B012521

Modelli e calcoli per la fisica

Landi Gregorio

mutua da B014447 RETI NEURALI (B059 LM Informatica)

B014448

Ricerca operativa

Barcucci Elena

Sestini, Venneri

B015703

Teoria e tecniche decisionali

Barcucci Elena

Merlini, Venneri

Codice

Esame

Titolare/i attività didattica(*)

Commissari (membri ulteriori)

0106165

Affidabilità dei sistemi di elaborazione

Andrea Bondavalli

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, Verri

0105828

Analisi numerica: metodologie avanzate

Sestini Alessandra

Bellavia, Brugnano, Papini

0105948

Applicazioni di sistemi informativi

Merlini Donatella

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

0106373

Attività Seminariali I su Teoria e Applicazioni delle Strutture Dati

Verri M. Cecilia

Barcucci, Merlini, Gori

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

0106374

Attività Seminariali II su Teoria e Applicazioni delle Strutture Dati

Verri M. Cecilia

Barcucci, Merlini, Gori

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

Venneri, Verri, Ferrari

0105951

Informatica e organizzazione

Bencini A.

Bocci, Verri

0105834

Intelligenza artificiale

Frasconi P.

S. Marinai

0105186

Laboratorio di calcolo numerico

Sestini Alessandra

Bellavia, Brugnano, Papini

0105191

Laboratorio di Fisica

Fort Chiara

G. Modugno, L. Fallani

0105952

Linguaggi e modelli per sistemi mobili

Pugliese Rosario

Boreale, Loreti, Venneri

0105953

Logica Computazionale

Mundici Daniele

Casolo, Pannone

0106307

Logica Fuzzy

Mundici Daniele

Casolo, Pannone

0106308

Metodi di approssimazione II

Brugnano Luigi

Bellavia, Papini, Sestini

0105954

Metodi e Strumenti per l’Analisi e la Verifica

Pugliese Rosario

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

0106399

Modellistica combinatoria

Verri M. Cecilia

Merlini, Ferrari

0105957

Organizzazione dei Sistemi Informativi

Verri M. Cecilia

Barcucci, Merlini

0105305

Ricerca operativa

Verri M. Cecilia

Sestini, Venneri

0105958

Sicurezza delle reti: principi e applicazioni

Boreale Michele

Bondavalli, Loreti, Pugliese

0105959

Sistemi Informativi Distribuiti

Merlini Donatella

Gori, Verri

0105833

Teoria dell’Informazione

Landi Gregorio

Bini