skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Using denotational semantics in the validation of the compiler for a mutation-oriented language
Using denotational semantics in the validation of the compiler for a mutation-oriented language
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using denotational semantics in the validation of the compiler for a mutation-oriented language

Adenilso 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, 2002

Porto Alegre Instituto de Informática da UFRGS 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1275840 ) e outros locais(Acessar)

2
Memórias da Sociedade Brasileira de Computação
Memórias da Sociedade Brasileira de Computação
Material Type:
Livro 		Adicionar ao Meu Espaço

Memórias da Sociedade Brasileira de Computação

Roberto da Silva Bigonha; Sociedade Brasileira de Computação

Porto Alegre SBC 2014

Localização: EACH - Esc. Artes, Ciências e Humanidades    (004.072 M533 ) e outros locais(Acessar)

3
A tranformational language for mutant description
A tranformational language for mutant description
Material Type:
Artigo 		Adicionar ao Meu Espaço

A tranformational language for mutant description

Adenilso da Silva Simão José Carlos Maldonado; Roberto da Silva Bigonha

Computer Languages, Systems & Structures Amsterdam : Elsevier v. 35, n. 3, p. 322-339, oct. 2009

Amsterdam 2009

Acesso online. A biblioteca também possui exemplares impressos.

4
A tranformational language for mutant description
A tranformational language for mutant description
Material Type:
Artigo 		Adicionar ao Meu Espaço

A tranformational language for mutant description

Adenilso da Silva Simão José Carlos Maldonado; Roberto da Silva Bigonha

Computer Languages, Systems & Structures Amsterdam : Elsevier v. 35, n. 3, p. 322-339, oct. 2009

Amsterdam 2009

Acesso online. A biblioteca também possui exemplares impressos.

5
Processador de gramaticas slr (k)
Processador de gramaticas slr (k)
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Processador de gramaticas slr (k)

Roberto da Silva Bigonha Luiz Ferrara de Almeida Cunha

1975

Localização: IME - Inst. Matemática e Estatística    (QA764.T B594p )(Acessar)

6
Fopa interpretador da linguagem de formato do pade
Fopa interpretador da linguagem de formato do pade
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Fopa interpretador da linguagem de formato do pade

Maria Tereza Goncalves Diniz Roberto da Silva Bigonha

1977

Localização: IME - Inst. Matemática e Estatística    (QA764.T D585f )(Acessar)

7
Anais II Wokshop sobre educação em informática: catálogo de cursos de graduação em computação - 1994
Material Type:
Livro 		Adicionar ao Meu Espaço

Anais II Wokshop sobre educação em informática: catálogo de cursos de graduação em computação - 1994

Workshop 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 1994

Localização: EPBC - Esc. Politécnica-Bib Central    (004 W892e 2. ) e outros locais(Acessar)

8
Anais II Workshop sobre Educação em Informática, Caxambu - MG, 01 a 05 de agosto de 1994
Anais II Workshop sobre Educação em Informática, Caxambu - MG, 01 a 05 de agosto de 1994
Material Type:
Livro 		Adicionar ao Meu Espaço

Anais II Workshop sobre Educação em Informática, Caxambu - MG, 01 a 05 de agosto de 1994

Workshop sobre Educação em Informática (2. 1994 Caxambu) Roberto da Silva Bigonha; Sociedade Brasileira de Computação; Universidade Federal de Minas Gerais

Caxambu SBC 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 WEI 1994 v.2 e.1 )(Acessar)

9
Workshops XIV Simpósio Brasileiro de Engenharia de Software, 4-6 de outubro de 2000, João Pessoa, Paraíba, Brasil
Workshops XIV Simpósio Brasileiro de Engenharia de Software, 4-6 de outubro de 2000, João Pessoa, Paraíba, Brasil
Material Type:
Livro 		Adicionar ao Meu Espaço

Workshops XIV Simpósio Brasileiro de Engenharia de Software, 4-6 de outubro de 2000, João Pessoa, Paraíba, Brasil

Simpó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 2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 SBES 2000 e.1 )(Acessar)

10
A trajet oria dos cursos de gradua c ao da area de computa c ao e inform atica 1969-2006
A trajet oria dos cursos de gradua c ao da area de computa c ao e inform atica 1969-2006
Material Type:
Livro 		Adicionar ao Meu Espaço

A trajet oria dos cursos de gradua c ao da area de computa c ao e inform atica 1969-2006

Maria Izabel Cavalcanti Cabral; Daltro José Nunes; Roberto da Silva Bigonha; Therezinha Souza da Costa; Flávio Rech Wagner; Jose Palazzo Moreira de Oliveira

Porto Alegre, RS SBC 2008?

Localização: IME - Inst. Matemática e Estatística    (QA714 C117t )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (6)
  2. Anais de Congresso  (5)
  3. Artigos  (5)
  4. Produções Acadêmicas  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1984  (2)
  2. 1984Até1999  (3)
  3. 2000Até2001  (2)
  4. 2002Até2006  (3)
  5. Após 2006  (8)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.