Rubriche
Pagina in aggiornamento. Ci scusiamo per il disagio.
Per informazioni: [email protected]
Pagina in aggiornamento. Ci scusiamo per il disagio.
Per informazioni: [email protected]
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