Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 30 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1993GAMA-X: uma arquitectura software para o desenvolvimento semi-automático de interfaces utilizador-sistemaCampos, J. Creissac; Martins, F. MárioArtigo em ata de conferênciaAcesso aberto
1999Prototyping processesBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
1994O sistema GAMA: arquitectura e implementaçãoCampos, J. Creissac; Martins, F. MárioArtigo em ata de conferênciaAcesso aberto
1994A portable lightweight approach to NFS replicationMenezes, Raquel; Baquero, Carlos; Moura, Francisco Coelho SoaresArtigo em ata de conferênciaAcesso aberto
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
1994A lightweight approach to NFS replicationMenezes, Raquel; Baquero, Carlos; Moura, Francisco Coelho SoaresArtigo em ata de conferênciaAcesso aberto
1999Ardina – difusão de informação em computação móvelPereira, José; Oliveira, Rui Carlos Mendes de; Sousa, António Luis; Moura, Francisco Coelho SoaresArtigo em ata de conferênciaAcesso aberto
1996Context sensitive user interfacesCampos, J. Creissac; Martins, F. MárioArtigo em ata de conferênciaAcesso aberto
1999Broms: gestão uniforme de um parque computacional multi-plataformaCoutinho, António; Sousa, António Luís; Baquero, Carlos; Moura, Francisco; Oliveira, José Pedro; Pereira, JoséDocumento de trabalhoAcesso aberto
1997CAMILA: prototyping and refinement of constructive specificationsAlmeida, José João; Barbosa, L. S.; Neves, F. L.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 30 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir