Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

           

Lista de resultados: 1-10 de um total de 17 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1998Questões chave da gestão de sistemas de informação: avaliação da situação nacionalCampos, Maria Rute OliveiramasterThesisopenAccess
19-Nov-1998Generating SGML specific editors: from DTDs to attribute grammarsRamalho, José Carlos; Lopes, Alda Reis; Henriques, Pedro RangelconferencePaperopenAccess
1998Integrating automated verification into interactive systems developmentCampos, J. CreissacconferencePaperopenAccess
1998Guiões das aulas práticas laboratoriais sobre o sistema COQFrade, M. J.; Pinto, Jorge SousaotheropenAccess
1998Introdução ao sistema COQ de assistência à provaFrade, M. J.; Pinto, Jorge SousaotheropenAccess
1998Beyond DTDs: constraining data contentRamalho, José Carlos; Henriques, Pedro RangelconferencePaperopenAccess
Fev-1998Performance limitations of a Banyan-based ATM switching system under multiple, shaped traffic flowsCarvalho, Paulo; Linington, PeterconferencePaperopenAccess
1998Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema IsabelleFrade, M. J.otheropenAccess
Fev-1998Modeling multi-agent systems activities through colored petri nets : an industrial production system case studyFernandes, João M.; Belo, OrlandoconferencePaperopenAccess
1998Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.conferencePaperopenAccess