DSpace UNL

RUN >

Browsing by Author Barahona, Pedro

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 11 of 11
Issue DateTitleAuthor(s)
2011Constraint-based modeling of minimum set covering: application to species differentationBuezas, David
2011Constraint-based verification of imperative programsBeyene, Tewodros Awgichew
2003Constraint reasoning for differential modelsCruz, Jorge Carlos Ferreira Rodrigues da
2002Constraint solving over multi-valued logics - application to digital circuitsAzevedo, Francisco de Moura e Castro Ascensão de
2012Heuristics and policies for online pickup and delivery problemsAleksandrov, Martin Damyanov
2003Integrating protein structural informationKrippahl, Ludwig
2006Mining protein structure dataSantos, José Carlos Almeida
2012Modeling assembly program with constraints. A contribution to WCET problemKafle, Bishoksan
2010Modern techniques for constraint solving the CASPER experienceCorreia, Marco Vargas
2012Probabilistic constraint reasoningCarvalho, Elsa Cristina Batista Bento
2011Resolução de horários de exames com pesquisa local restringidaRoldão, Francisco José de Abreu
Showing results 1 to 11 of 11

 

Universidade Nova de Lisboa  - Statistics  - Feedback
Estamos no RCAAP Governo Português separator Ministério da Educação e Ciência   Fundação para a Ciência e a Tecnologia

Financiado por:

POS_C UE