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
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
2008Visual programming with Interaction NetsHassan, Abubakar; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso 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
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
Out-2006UML no desenvolvimento de sistemas interactivosRibeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2008An exercise on transition systemsRibeiro, Paula R.; Barbosa, L. S.; Wang, ShulingArtigoAcesso aberto
2003Using task knowledge to guide interactor specifications analysisCampos, J. CreissacCapítulo de livroAcesso aberto
1-10 de um total de 68 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir