Teaching |
=================================================================================
● BOOKS and ERRATA-CORRIGE OF
BOOKS
=================================================================================
2017-18: ● Automatic
Software Verification ● Automi e Linguaggi
(frontale e on-line)
2016-17: ● Automatic
Software Verification ● Automi e Linguaggi
(frontale e on-line)
2015-16: ● Informatica
Teorica ● Automi e Linguaggi
(frontale e on-line)
2014-15: ● Informatica
Teorica ● Automi e Linguaggi
(frontale e on-line)
2013-14: ● Informatica
Teorica ● Automi e
Linguaggi (frontale e on-line)
2012-13: ● Informatica
Teorica ● Automi e
Linguaggi (frontale e on-line)
2011-12: ● Informatica
Teorica ● Automi e
Linguaggi (frontale e on-line)
2010-11: ● Informatica
Teorica ● Automi,
Linguaggi e Traduttori (frontale e on-line)
2009-10: ● Informatica
Teorica ● Automi,
Linguaggi e Traduttori (frontale e on-line)
2008-09: ● Informatica
Teorica ● Automi,
Linguaggi e Traduttori (frontale e on-line)
2007-08: ● Informatica
Teorica ● Automi,
Linguaggi e Traduttori (frontale e on-line)
2006-07: ● Informatica
Teorica ● Automi, Linguaggi e
Traduttori (frontale e on-line)
2005-06: ● Informatica Teorica ● Automi, Linguaggi e
Traduttori
● Automi, Linguaggi e
Traduttori (on-line)
2004-05: ● Informatica Teorica ● Programmazione
Orientata agli Oggetti (corso bis: J-Z)
● Concurrent and
Distributed Computations ● Automi, Linguaggi e
Traduttori (on-line)
2003-04: ● Informatica Teorica ● Programmazione a
Oggetti e Concorrente (corsi: A-I e J-Z)
● Concurrent and
Distributed Computations
2002-03: ● Informatica Teorica ● Algoritmi e Strutture
di Dati
2001-02: ● Informatica Teorica ● Algoritmi e Strutture
di Dati
2000-01: ● Informatica Teorica ● Fondamenti di
Informatica 3
● OLD
COURSES
=================================================================================
● DOCTORATE in Computer Science
=================================================================================
● TOPICS FOR THESES
● PROTECTED
AREA
=================================================================================