Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 21-30 de um total de 62 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1998Algebraic specification of documentsRamalho, José Carlos; Almeida, J. J.; Henriques, Pedro RangelArtigoAcesso aberto
1996Document semantics: Two approachesRamalho, José Carlos; Almeida, J. J.; Henriques, Pedro RangelArtigo em ata de conferênciaAcesso aberto
1995A neural network based time series forecasting systemCortez, Paulo; Rocha, Miguel; Machado, José Manuel; Neves, JoséArtigo em ata de conferênciaAcesso aberto
1999Adaptive strategies and the design of evolutionary applicationsNeves, José; Rocha, Miguel; Rodrigues, Hugo; Biscaia, Miguel; Alves, JoséArtigo em ata de conferênciaAcesso aberto
Ago-1995A heterogeneous computer vision architecture: implementation issuesSantos, Henrique Dinis dos; Ramalho, José Carlos; Fernandes, João M.; Proença, Alberto JoséArtigoAcesso aberto
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
1999Using automated reasoning in the design of an audio-visual communication systemCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
Set-1998Hierarchical mechanisms for high-level modelling and simulation of digital systemsMachado, Ricardo J.; Fernandes, João M.; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
1996Context sensitive user interfacesCampos, J. Creissac; Martins, F. MárioArtigo em ata de conferênciaAcesso aberto
1995Métodos formais na concepção e desenvolvimento de sistemas interactivosMartins, F. MárioTese de doutoramentoAcesso aberto