Prof. Francesca Alessandra Lisi

Università degli Studi di Bari Aldo Moro · Dipartimento di Informatica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Francesca Alessandra Lisi

Atzeni – Basi di dati – Progettazione di Basi di Dati (Informatica e Tecnologie per la Produzione del Software – sede di Bari, 2º anno · 1º semestre · Percorso standard · 9 CFU)
Jiacun Wang – Formal Methods in Computer Science – Metodi Formali per la Sicurezza (Sicurezza Informatica – sede di Taranto, 2º anno · 1º semestre · Percorso standard · 6 CFU)

Materie del prof. Francesca Alessandra Lisi

Progettazione di Basi di Dati L-Z

Corso di laurea: Informatica e Tecnologie per la Produzione del Software – sede di Bari · Laurea triennale (L-31) · 2º anno · 1º semestre · Percorso standard · 9 CFU

Bari · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica e Tecnologie per la Produzione del Software – sede di Bari · 2º anno · 1º semestre · canale L-Z ›

Il docente indica 1 testo

Atzeni – Basi di dati Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: LEZIONI FRONTALI (56h) 1) Introduzione • Sistemi informativi, informazioni e dati • Basi di dati e sistemi di gestione di basi di dati • Modelli dei dati: Schemi e istanze; Livelli di astrazione nei DBMS; Indipendenza dei dati • Linguaggi e utenti delle basi di dati • Vantaggi e svantaggi dei DBMS 2) Il modello relazionale • Strutture: Modelli logici nei sistemi di basi di dati; Relazioni e tabelle; Relazioni con…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Metodi Formali per la Sicurezza Canale unico

Corso di laurea: Sicurezza Informatica – sede di Taranto · Laurea magistrale (LM-66) · 2º anno · 1º semestre · Percorso standard · 6 CFU

Bari · Dipartimento di Informatica · 6 CFU · apri nel catalogo · Sicurezza Informatica – sede di Taranto · 2º anno · 1º semestre ›

Il docente indica 1 testo

Adottato

Jiacun Wang – Formal Methods in Computer Science Cerca su Amazon ›Da studiare: Capitoli 4-7 dal testo adottato, a cui si aggiunge il seguente materiale disponibile sulla piattaforma di e-learning:Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Materiale integrativo (capitoli di libro, articoli scientifici, rapporti tecnici).
Dispense preparate dalla docente o rese disponibili da altri esperti nel settore per gli argomenti non trattati nel testo adottato.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Francesca Alessandra Lisi per Progettazione di Basi di Dati?

Atzeni – Basi di dati

Quali libri consiglia il prof. Francesca Alessandra Lisi per Metodi Formali per la Sicurezza?

Jiacun Wang – Formal Methods in Computer Science