Repositório RCAAP

A refuted conjecture on probabilistic satisfiability

No summary/description provided

Ano

2010

Creators

De Bona, Glauber

Symbolic bounded real-time dynamic programming

No summary/description provided

Ano

2010

Creators

Barros, Leliane Nunes de

System design modification with actions

No summary/description provided

Ano

2010

Creators

Barros, Leliane Nunes de

Avaliação econômica em saúde: triagem neonatal da galactosemia

No summary/description provided

Ano

2011

Creators

Camelo, Sílvia Helena Henriques

Presos na teia de aranha

No summary/description provided

Ano

2011

Creators

Rego, Francisco Gaudêncio Torquato do