Comunicati stampa
7 Maggio 2007
2 Aprile 2007
16 Marzo 2007
CTL* Verification and Synthesis using Existential Horn Clauses
Facoltà di scienze informaticheIdEP Seminar, Roberto Nisticò - "Workplace Peer Effects in Fertility Decisions"
Facoltà di scienze economicheInteraction Substitution for Mobile Games Accessibility and Exergaming
Facoltà di scienze informatiche