BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 4
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoSILVA, F. Q. B. da. Correctness of compilers based on formal semantics. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21., 1994, Caxambu. Anais... Belo Horizonte: UFMG, 1994. p.317-331.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoSANTOS, S. C. dos; SILVA, F. Q. B. da. Um enfoque multiformalismos para especificação de sistemas de segurança crítica. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. p. 91-106.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoLUCERO, G. F.; SILVA, F. Q. B. da. Translating a configuration language to the pi-calculus. In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996. p.251-264

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoTEPEDINO, J. F.; MONTEIRO, R. A. S.; SILVA, F. Q. B. Interface para informações sobre sistemas Unix via servidor W W W. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. p. 455-458.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 4
Primeira ... 1 ... Última






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 2
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoNOVOTNY, E. H.; RODRIGUES, A. F.; BALIEIRO, F. de C.; CARMO, F. L.; ROSADO, A.; PEIXOTO, R. Avaliação espectroscópica de plantas de mangue submetidas à contaminação por óleo bruto e diesel. In: ENCONTRO BRASILEIRO DE SUBSTÂNCIAS HÚMICAS, 9., 2011, Aracaju. Matéria orgânica natural e substâncias húmicas: dos avanços das técnicas de caracterização ao sequestro de C. [Aracaju: UFS: IHSS, 2011]. 1 CD-ROM.
Tipo: Artigo em Anais de Congresso
Biblioteca(s): Embrapa Solos.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
2.Imagem marcado/desmarcadoPEIXOTO, F. L.; CHAER, G. M.; CARMO, F. L.; ARAÚJO, F. V.; PAES, J. E.; VOLPON, A.; SANTIAGO, G. A.; ROSADO, A. S. Bacterial communities reflect the spatial variation in pollutant levels in Brazilian mangrove sediment. Antonie van Leeuwenhoek on line, 29 august 2010.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: A - 2
Biblioteca(s): Embrapa Agrobiologia.
Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 2
Primeira ... 1 ... Última
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional