Formal approach to consistency and reuse of links in hypermedia applications
Renata Pontin de Mattos Fortes Alvaro Garcia Neto; M C Nicoletti; Chi 96 Workshop on Formal Methods in Computer Human Interactions: Comparison, Benefits, Open Questions (1996 Vancouver)
Chi 96 Workshop on Formal Methods in Computer Human Interactions: Comparison, Benefits, Open Questions Vancouver : Acm, 1996
Vancouver Acm 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-912222 ) e outros locais(Acessar)
Infraestrutura e técnicas de compilação para sistemas embutidos
Marcio Merino Fernandes Eduardo Marques; Simpósio Latino Americano em Aplicações de Lógica Programável e Processadores Digitais de Sinais em Processamwento de Vídeo, Visão Computacional e Robótica (2004 São Carlos)
SLALP'2004 São Carlos, 2004
São Carlos 2004
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1408159 ) e outros locais(Acessar)
Um novo paradigma para o ensino de hardware - hardware básico e lógica digital
Eduardo Marques Jorge Luiz e Silva; Curso de Qualidade Metodologia de Ensino para Cursos de Graduação das áreas de Computração e Informática (4. 2002 Florianópolis)
Anais Florianópolis: SBC, 2002
Florianópolis SBC 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1275258 ) e outros locais(Acessar)