Topic | Research area |
---|---|
Intelligent Agents |
Intelligenza Artificiale
Artificial intelligence |
Algorithms for Bioinformatics |
Bioinformatica e informatica medica
Life and medical sciences |
Formal methods and theory of security |
Sicurezza informatica
Formal methods and theory of security |
Network security |
Sicurezza informatica
Network security |
Process control systems |
Sistemi informativi ed analisi dei dati
Information systems applications |
Automated Reasoning |
Intelligenza Artificiale
Artificial intelligence |
Rappresentazione della conoscenza |
Intelligenza Artificiale
Artificial intelligence |
Multiagent Systems |
Intelligenza Artificiale
Artificial intelligence |
Software Verification |
Ingegneria del Software e verifica formale
Logic |
******** CSS e script comuni siti DOL - frase 9957 ********p>