Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
004 - Informà tica SMT Planificación automática Satisfiability modulo theories Lògica aplicada Planificación numérica 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automà tica
Espasa Arxer, Joan Villaret i Ausellé, Mateu Bofill Arasa, Miquel Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-)