Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 68 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso aberto
2008Visual programming with Interaction NetsHassan, Abubakar; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2005Group-based replication of on-line transaction processing serversCorreia Júnior, Alfrânio Tavares; Sousa, António Luís Pinto Ferreira de; Soares, L.; Pereira, José, 1973-; Moura, Francisco Coelho Soares; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2005Testing AudioBrowserFernandes, António Ramires; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2008Disentangling denotational semantics specificationsSaraiva, João Alexandre; Bigonha, Roberto; Tirelo, FábioArtigoAcesso aberto
2009Constructive and destructive use of compilers in elliptic curve cryptographyBarbosa, Manuel; Moss, Andrew; Page, DanArtigoAcesso aberto
2008An exercise on transition systemsRibeiro, Paula R.; Barbosa, L. S.; Wang, ShulingArtigoAcesso aberto
2005A coalgebraic semantic framework for component-based development in UMLSun Meng; Aichernig, Bernhard K.; Barbosa, L. S.; Zhang NaixiaoArtigoAcesso aberto
Out-2007Compositional gossip: a conceptual architecture for designing gossip-based applicationsRivière, Étienne; Baldoni, Roberto; Li, Harry; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
Jun-2006A push infrastructure for mobile application deployment in mobile environmentsRibeiro, António Nestor; Campos, J. Creissac; Borges, MiguelArtigoAcesso aberto
1-10 de um total de 68 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir