Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.


Results 1-8 of 8 (Search time: 0.155 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
9-Dec-2016Meta-heurísticas de otimização tradicionais e híbridas utilizadas para construção de comitês de classificaçãoFeitosa Neto, Antonino Alves
14-Apr-2016Beta: a B based testing approachMatos, Ernesto Cid Brasil de
8-Mar-2016Método B e a síntese verificada para código de montagemMedeiros Júnior, Valério Gutemberg de
7-Mar-2016User verification using behavioural cancelable templatesMelo, Marcelo Damasceno de
8-Dec-2016A new class of fuzzy subsethood measuresSantos, Hélida Salles
10-Jun-2016A formally founded framework for dynamic software architecturesCavalcante, Everton Ranielly de Sousa
29-Jul-2016A topological and domain theoretical study of total computable functionsOlguin, Cláudio Andrés Callejas
12-Aug-2016Local livelock analysis of component-based modelsConserva Filho, Madiel de Souza