Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 25 (Search time: 0.053 seconds).
Item hits:
Issue DateTitleAuthor(s)Type
1-Sep-2006Protein Classification Tool: uma ferramenta para anotação de proteínas utilizando bases secundáriasJoao de Abreu e TorresDissertação de Mestrado
22-Sep-2015SIGLASEARCH: arcabouço de consulta de dados flexibilizada para workflows de múltiplos laboratórios de pesquisaCassia do Carmo VieiraDissertação de Mestrado
12-Nov-2004Um algoritmo distribuído para verificação de modelos com fronteirasHugo Valentim BarrosDissertação de Mestrado
5-Mar-2010SIGLa: um LIMS baseado em workflows adaptáveis com suporte a múltiplos laboratóriosAlexandre Simoes de MeloDissertação de Mestrado
18-Jun-2010Síndrome-fortuna: uma abordagem viável para a geração de números pseudoaleatórios no linux: uma abordagem viável para a geração de números pseudoaleatórios no linuxDaniel Rezende SilveiraDissertação de Mestrado
17-Nov-2017Overlay construction strategies for peer-to-peer live streaming systemsEliseu César MiguelTese de Doutorado
14-Dec-2007Impactos da interatividade na escalabilidade de protocolos para mídia contínuaMarcus Vinicius de Melo RochaTese de Doutorado
21-Jun-2010Verification of symmetric models using semiautomatic abstractionsPedro de Carvalho GomesDissertação de Mestrado
30-Jun-2004Sistema gerador de apresentações para ensino a distânciaAlex Borges VieiraDissertação de Mestrado
30-Aug-2002Solução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelosAutran MacedoTese de Doutorado