Portale Docenti

TESEI LUCA

Insegnamenti / Teachings

A.A. 2020/2021
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (COMPUTER SCIENCE)
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (INFORMATICA)
  • [ST1344] LINGUAGGI E COMPILATORI (COMPUTER SCIENCE)
  • [ST1344] LINGUAGGI E COMPILATORI (INFORMATICA)
  • [ST1192] SYSTEMS VERIFICATION LAB (COMPUTER SCIENCE)
A.A. 2019/2020
  • [ST1184] COMPILERS (COMPUTER SCIENCE)
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (COMPUTER SCIENCE)
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (INFORMATICA)
  • [ST1192] SYSTEMS VERIFICATION LAB (COMPUTER SCIENCE)
  • [DOCSM009] Advanced Techniques for System Verification (COMPUTER SCIENCE AND MATHEMATICS)
A.A. 2018/2019
  • [ST0989] FORMAL LANGUAGES AND COMPILERS (COMPUTER SCIENCE)
  • [ST1184] COMPILERS (COMPUTER SCIENCE)
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (COMPUTER SCIENCE)
  • [ST0853] ALGORITHMS AND DATA STRUCTURES (INFORMATICA)
  • [ST1192] SYSTEMS VERIFICATION LAB (COMPUTER SCIENCE)