Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
Processador de gramaticas slr (k)Roberto da Silva Bigonha Luiz Ferrara de Almeida Cunha1975Localização: IME - Inst. Matemática e Estatística (QA764.T B594p )(Acessar) |
2 |
Material Type: Dissertação de Mestrado
|
![]() |
Fopa interpretador da linguagem de formato do padeMaria Tereza Goncalves Diniz Roberto da Silva Bigonha1977Localização: IME - Inst. Matemática e Estatística (QA764.T D585f )(Acessar) |
3 |
Material Type: Livro
|
![]() |
AnaisCongresso da Sociedade Brasileira de Computação (4 1984 Viçosa, Brazil) R. S Bigonha (Roberto da Silva); Sociedade Brasileira de Computação; Universidade Federal de Viçosa; Brazil Coordenação do Aperfeiçoamento de Pessoal de Nível SuperiorViçosa SBC 1984-Localização: EPBC - Esc. Politécnica-Bib Central (004 C76a 4. v.1 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Anais II Wokshop sobre educação em informática: catálogo de cursos de graduação em computação - 1994Workshop sobre Educação em Informática (2. 1994 Caxambu - MG) R. S Bigonha (Roberto da Silva); Sociedade Brasileira de Computação; Congresso da Sociedade Brasileira de Computacao (14. 1994 Caxambu - MG)Belo Horizonte Ufmg 1994Localização: EPBC - Esc. Politécnica-Bib Central (004 W892e 2. ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Anais II Workshop sobre Educação em Informática, Caxambu - MG, 01 a 05 de agosto de 1994Workshop sobre Educação em Informática (2. 1994 Caxambu) Roberto da Silva Bigonha; Sociedade Brasileira de Computação; Universidade Federal de Minas GeraisCaxambu SBC 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 WEI 1994 v.2 e.1 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Workshops XIV Simpósio Brasileiro de Engenharia de Software, 4-6 de outubro de 2000, João Pessoa, Paraíba, BrasilSimpósio Brasileiro de Engenharia de Software (14. 2000 João Pessoa) Leila Ribeiro; Fernanda Campos; José Carlos Maldonado; Adriano Augusto de Souza; Damires Yluska de Souza Fernandes; Roberto Bigonha; Workshop de Métodos Formais - WMF 2000 (3. 2000 João Pessoa, Paraíba, Brasil)João Pessoa UFJF, USP-SC, UFRIS, UFMG, CEFET-PB 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 SBES 2000 e.1 )(Acessar) |
7 |
Material Type: Artigo
|
![]() |
Towards a communication model applied to the interface design processSalles, Juliana ; Baranauskas, M.Cecı́lia C. ; Bigonha, Roberto S.Knowledge-based systems, 2001-12, Vol.14 (8), p.455-459 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
8 |
Material Type: Artigo de Congresso
|
![]() |
Using denotational semantics in the validation of the compiler for a mutation-oriented languageAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva Bigonha; Workshop on Formal Methods (5. 2002 Gramado)Proceedings Porto Alegre : Instituto de Informática da UFRGS, 2002Porto Alegre Instituto de Informática da UFRGS 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1275840 ) e outros locais(Acessar) |
9 |
Material Type: Ata de Congresso
|
![]() |
A coordination model for ad hoc mobile systemsTULIO VALENTE, Marco ; MAGNO PEREIRA, Fernando ; DA SILVA BIGONHA, Roberto ; DA SILVA BIGONHA, Mariza AndradeLecture notes in computer science, 2003, p.1074-1081 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Arcademis: a framework for object-oriented communication middleware developmentPereira, F. M. Q. ; Valente, M. T. O. ; Bigonha, R. S. ; Bigonha, M. A. S.Software, practice & experience, 2006-04, Vol.36 (5), p.495-512 [Periódico revisado por pares]Chichester, UK: John Wiley & Sons, LtdTexto completo disponível |