Libri UniversitariInformatica (LM-18) – sede di Pisa
Università di Pisa · Dipartimento di Informatica · Laurea magistrale · libri e programmi degli esami, a.a. 2026/2027
1º anno
Curriculum: Artificial Intelligence
- Esami a scelta (esami a scelta)
- Human Language Technologies · 9 CFU · Prof. Claudio Gallicchio · 6 libri: James – An Introduction to Natural Language Processing; O'Reilly Media, Inc; Ian Goodfellow and Yoshua Bengio and Aaron Courville,…
- AI-1: Gruppo attività formative da 9 cfu 1 ANNO (9 CFU) (esami a scelta)
- Digital Health Lab · 9 CFU · Prof. Giuseppe Prencipe · testi non ancora pubblicati
Curriculum: Big Data Technologies
- AI-1: Gruppo attività formative da 9 cfu 1 ANNO (9 CFU) (esami a scelta)
- Digital Health Lab · 9 CFU · Prof. Giuseppe Prencipe · testi non ancora pubblicati
Curriculum: Foundations of Software
- Distributed Algorithms · 6 CFU · Prof. Giuseppe Prencipe · 3 libri: Chacin – Introduction to Reliable and Secure Distributed Programming; Distributed Computing – Distributed Computing; Design and Analysis of Distributed Algorithms- N. Santoro,
- Foundation Of Computing · 6 CFU · Prof. Filippo Bonchi · 1 libro: Jacobs – Introduction to Coalgebra
Curriculum: Ict Solutions Architect
- Distributed Algorithms · 6 CFU · Prof. Giuseppe Prencipe · 3 libri: Chacin – Introduction to Reliable and Secure Distributed Programming; Distributed Computing – Distributed Computing; Design and Analysis of Distributed Algorithms- N. Santoro,
- ICT-1 gruppo attività formative da 9 cfu: 1 ANNO (9 CFU) (esami a scelta)
- Software Verification: Principles And Techniques · 9 CFU · Prof. Fabio Gadducci · 1 libro: Christel Baier and Joost-Pieter Katoen
- ICT-1 gruppo attività formative da 9 cfu: 1 ANNO (9 CFU) (esami a scelta)
- Language-Based Technology For Security · 9 CFU · Prof. Gian-Luigi Ferrari · testi non ancora pubblicati
2º anno
Curriculum: Artificial Intelligence
- Obbligatori (esami a scelta)
- Computer Vision · 9 CFU · Prof. Antonio Carta · 1 libro: Szeliski – Algorithms and Applications
- Human Language Technologies · 9 CFU · Prof. Claudio Gallicchio · 6 libri: James – An Introduction to Natural Language Processing; O'Reilly Media, Inc; Ian Goodfellow and Yoshua Bengio and Aaron Courville,…
Curriculum: Big Data Technologies
- BDT-2: Gruppo attività formative da 9 cfu 2 ANNO (18 CFU) (esami a scelta)
- Ict Risk Assessment · 9 CFU · Prof. Fabrizio Baiardi · testi non ancora pubblicati
- Machine Learning · 9 CFU · Prof. Alessio Micheli · 2 libri: Mitchell – Machine learning; Goodfellow – Deep Learning
- BDT-2: gruppo attività formative da 6 cfu 2 ANNO (6 CFU) (esami a scelta)
- Advanced Laboratory Of Complex Network Analysis · 6 CFU · Prof. Giulio Rossetti · testi non ancora pubblicati
- Geospatial Analytics · 6 CFU · Prof. Luca Pappalardo · testi non ancora pubblicati
- Obbligatori (esami a scelta)
- Human Language Technologies · 9 CFU · Prof. Claudio Gallicchio · 6 libri: James – An Introduction to Natural Language Processing; O'Reilly Media, Inc; Ian Goodfellow and Yoshua Bengio and Aaron Courville,…
- BDT-2: Gruppo attività formative da 9 cfu 2 ANNO (18 CFU) (esami a scelta)
- Digital Health Lab · 9 CFU · Prof. Giuseppe Prencipe · testi non ancora pubblicati
- Generative And Deep Learning · 9 CFU · Prof. Davide Bacciu · 2 libri: [BRML] David Barber; [SD] Simon – Understanding Deep Learning
- Mobile And Cyber-Physical Systems · 9 CFU · Prof. Filippo Palumbo · testi non ancora pubblicati
- Peer To Peer Systems And Blockchains · 9 CFU · Prof. Laura Emilia Maria Ricci · testi non ancora pubblicati
- BDT-2: gruppo attività formative da 6 cfu 2 ANNO (6 CFU) (esami a scelta)
- Ict Infrastructures · 6 CFU · Prof. Jacopo Soldani · 2 libri: Geng – Data Center Handbook; Erl – Cloud Computing
Curriculum: Foundations of Software
- ICT-2: Gruppo attività formative da 6 cfu 2 ANNO (18 CFU) (esami a scelta)
- Business Process Modeling · 6 CFU · Prof. Roberto Bruni · 1 libro: Management – Architectures ISBN 978-3-642-28615-5
- Distributed Algorithms · 6 CFU · Prof. Giuseppe Prencipe · 3 libri: Chacin – Introduction to Reliable and Secure Distributed Programming; Distributed Computing – Distributed Computing; Design and Analysis of Distributed Algorithms- N. Santoro,
- Obbligatori (esami a scelta)
- Software Verification: Principles And Techniques · 9 CFU · Prof. Fabio Gadducci · 1 libro: Christel Baier and Joost-Pieter Katoen
- Obbligatori (esami a scelta)
- Software Verification Laboratory · 9 CFU · Prof. Gian-Luigi Ferrari · testi non ancora pubblicati
Curriculum: Ict Solutions Architect
- BDT-2: Gruppo attività formative da 9 cfu 2 ANNO (18 CFU) (esami a scelta)
- Machine Learning · 9 CFU · Prof. Alessio Micheli · 2 libri: Mitchell – Machine learning; Goodfellow – Deep Learning
- ICT-2: Gruppo attività formative da 6 cfu 2 ANNO (18 CFU) (esami a scelta)
- Business Process Modeling · 6 CFU · Prof. Roberto Bruni · 1 libro: Management – Architectures ISBN 978-3-642-28615-5
- Distributed Algorithms · 6 CFU · Prof. Giuseppe Prencipe · 3 libri: Chacin – Introduction to Reliable and Secure Distributed Programming; Distributed Computing – Distributed Computing; Design and Analysis of Distributed Algorithms- N. Santoro,
- Obbligatori (esami a scelta)
- Advanced Software Engineering · 9 CFU · Prof. Antonio Brogi · 1 libro: Engineering Software Products
Note sul piano di studi
- Nel piano 2026/2027 pubblicato dall'ateneo, gli insegnamenti obbligatori del curriculum Big Data Technologies del 1º anno sono tutti nel 2º semestre. Nel 1º semestre ci sono solo esami a scelta (6): li trovi in «Esami facoltativi».
- Nel piano 2026/2027 pubblicato dall'ateneo, gli insegnamenti obbligatori del curriculum Foundations of Software del 1º anno sono tutti nel 1º semestre. Nel 2º semestre ci sono solo esami a scelta (8): li trovi in «Esami facoltativi».
- Nel piano 2026/2027 pubblicato dall'ateneo, gli insegnamenti obbligatori del curriculum Artificial Intelligence del 2º anno sono tutti nel 1º semestre. Nel 2º semestre ci sono solo esami a scelta (8): li trovi in «Esami facoltativi».
- Nel piano 2026/2027 pubblicato dall'ateneo, gli insegnamenti obbligatori del curriculum Ict Solutions Architect del 2º anno sono tutti nel 1º semestre. Nel 2º semestre ci sono solo esami a scelta (2): li trovi in «Esami facoltativi».
Esami facoltativi e a scelta
- 3D Geometric Modeling & Processing · 6 CFU · Prof. Paolo Cignoni · 1 libro: Botsch – And Bruno Lévy
- Accelerated Computing · 6 CFU · Prof. Gabriele Mencagli · testi non ancora pubblicati
- Advanced Databases · 9 CFU · Prof. Giorgio Ghelli · 3 libri: Albano – Relational DBMS Internals, liberamente disponibili per uso…; Database Systems – By Hector Garcia-Molina; Abadi – Foundations and Trends in Databases
- Advanced Laboratory Of Complex Network Analysis · 6 CFU · Prof. Giulio Rossetti · testi non ancora pubblicati
- Advanced Programming · 9 CFU · Prof. Antonio Cisternino · 1 libro: Michael – Programming Language Pragmatics
- Advanced Software Engineering · 9 CFU · Prof. Antonio Brogi · 1 libro: Engineering Software Products
- Algorithm Design · 9 CFU · Prof. Alessio Conte · testi non ancora pubblicati
- Algorithm Engineering · 9 CFU · Prof. Paolo Ferragina · testi non ancora pubblicati
- Algorithmic Game Theory · 6 CFU · Prof. Giancarlo Bigi · testi non ancora pubblicati
- Artificial Intelligence Fundamentals · 6 CFU · Prof. Andrea Cossu · 1 libro: Sebastian Risi – And Risto Miikkulainen
- Bioinformatics · 6 CFU · Prof. Nadia Pisanti · 1 libro: Design – Biological Sequence Analysis in the Era of…
- Competitive Programming And Contests · 6 CFU · Prof. Rossano Venturini · testi non ancora pubblicati
- Compilation Techniques · 9 CFU · Prof. Roberta Gori · 6 libri: Keith – Linda Torczon; Alfred – Ravi Sethi; Terence Parr – Language Implementation Patterns…
- Computational Mathematics For Learning And Data Analysis · 9 CFU · Prof. Antonio Frangioni · 5 libri: Demmel – Algebra Lineare Numerica Applicata; Trefethen – Algebra Lineare Numerica; Nocedal – Ottimizzazione Numerica…
- Computational Models For Complex Systems · 6 CFU · Prof. Paolo Milazzo · testi non ancora pubblicati
- Computational Neuroscience · 6 CFU · Prof. Claudio Gallicchio · 6 libri: Kistler – Spiking Neuron Models; Theoretical Neuroscience; Izhikevich – Dynamical systems in neuroscience…
- Continual Learning · 6 CFU · testi non ancora pubblicati
- Data Mining · 9 CFU · Prof. Anna Monreale · 1 libro: Pang-Ning Tan – Introduction to Data Mining
- Foundation Of Computing · 6 CFU · Prof. Filippo Bonchi · 1 libro: Jacobs – Introduction to Coalgebra
- Generative And Deep Learning · 9 CFU · Prof. Davide Bacciu · 2 libri: [BRML] David Barber; [SD] Simon – Understanding Deep Learning
- Geospatial Analytics · 6 CFU · Prof. Luca Pappalardo · testi non ancora pubblicati
- Ict Infrastructures · 6 CFU · Prof. Jacopo Soldani · 2 libri: Geng – Data Center Handbook; Erl – Cloud Computing
- Ict Risk Assessment · 9 CFU · Prof. Fabrizio Baiardi · testi non ancora pubblicati
- Information Retrieval · 6 CFU · Prof. Rossano Venturini · 1 libro: Manning – Introduction to Information Retrieval
- Introduction To Quantum Computing · 6 CFU · Prof. Gianna Maria Del Corso · testi non ancora pubblicati
- Laboratory On Ict Startup Building · 6 CFU · Prof. Daniele Mazzei · testi non ancora pubblicati
- Learning On Graphs · 6 CFU · testi non ancora pubblicati
- Machine Learning · 9 CFU · Prof. Alessio Micheli · 2 libri: Mitchell – Machine learning; Goodfellow – Deep Learning
- Mobile And Cyber-Physical Systems · 9 CFU · Prof. Filippo Palumbo · testi non ancora pubblicati
- Models For Programming Paradigms · 9 CFU · Prof. Roberto Bruni · 5 libri: Bruni – Models of Computation; Glynn Winskel – The formal Semantics of Programming Languages; Turini – La Semantica Formale dei Linguaggi di Programmazione…
- Parallel And Distributed Systems: Paradigms And Models · 9 CFU · Prof. Massimo Torquati · 7 libri: Bertil Schmidt – Concepts and Practice; Michael McCool – Patterns for Efficient Computation; Anthony Williams – C++ Concurrency in Action…
- Peer To Peer Systems And Blockchains · 9 CFU · Prof. Laura Emilia Maria Ricci · testi non ancora pubblicati
- Program Analysis · 6 CFU · Prof. Roberto Bruni · testi non ancora pubblicati
- Robotics · 6 CFU · Prof. Egidio Falotico · 3 libri: Mataric – A Robotics Primer; Bajd – Robotics; Corke – Vision and Control
- Scalable Distributed Computing · 6 CFU · Prof. Patrizio Dazzi · testi non ancora pubblicati
- Scientific And Large Data Visualization · 6 CFU · Prof. Daniela Giorgi · testi non ancora pubblicati
- Semantic Web · 6 CFU · Prof. Valentina Bartalesi Lenzi · 1 libro: Steffen Staab – Rudi Studer Handbook on Ontologies
- Smart Applications · 6 CFU · testi non ancora pubblicati
- Social And Ethical Issues in Information Technology · 6 CFU · Prof. Caterina Flick · testi non ancora pubblicati