Título |
Referência |
Nome Curto |
Data de início efetiva |
Estado |
---|---|---|---|---|
Financiamento Plurianual da Unidade de I&D CMUP - Centro de Investigação em Matemática da Universidade do Porto | UIDB/00144/2020 | MAT | ||
Financiamento Plurianual da Unidade de I&D CMUP - Centro de Investigação em Matemática da Universidade do Porto | UIDP/00144/2020 | MAT | ||
Centro de Matemática da Universidade do Porto | UID/MAT/00144/2019 | Centro de Matemática da Universidade do Porto | ||
Colaboração da Profª Nelma Resende Araújo Moreira: Avaliação de projectos bilaterais 2017/2018, projeto nº 3868 - DAAD. | FCT_2/VCC17 | FCT_2/VCC17 | ||
Centro de Matemática da Universidade do Porto | UID/MAT/00144/2013 | Centro de Matemática da Universidade do Porto | ||
Projecto Estratégico - UI 144 - 2013-2014 | PEst-C/MAT/UI0144/2013 | PEst-C/MAT/UI0144/2013 | ||
Análise e Verificação de Programas Concorrentes Críticos | PTDC/EIA-CCO/117590/2010 | 117590_2010 | ||
CANTE: Complexidade descriptiva e computacional de linguagens formais | PTDC/EIA-CCO/101904/2008 | CANTE | ||
RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos | PTDC/EIA/65862/2006 | PTDC/EIA/65862/2006 | ||
Autómatos, Semigrupos e Aplicações | PTDC/MAT/65481/2006 | ASA | ||
AGILMAT- Geração Automática de Exercícios Interactivos para Ensino de Matemática | POSI/CHS/48565/2002 | AGILMAT |
Registos 1 a 11 de 11