.
Laboratorio di storia delle Alpi
Date: 4 October 2019 / 08:30 - 15:00
.
Laboratorio di storia delle Alpi
Date: 4 October 2019 / 08:30 - 15:00
.
CTL* Verification and Synthesis using Existential Horn Clauses
Faculty of InformaticsIdEP Seminar, Roberto Nisticò - "Workplace Peer Effects in Fertility Decisions"
Faculty of EconomicsInteraction Substitution for Mobile Games Accessibility and Exergaming
Faculty of Informatics