BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
 






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 3
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
Registros recuperados : 3
Primeira ... 1 ... Última






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 1
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoPORTZ, A.; RESENDE, A. S. de; TEIXEIRA, A. J.; ABBOUD, A. C. de S.; MARTINS, C. A. da C.; CARVALHO, C. A. B. de; LIMA. E.; ZONTA, E.; PEREIRA, J. B. A.; BALIEIRO, F. de C.; ALMEIDA, J. C. de C.; SOUZA, J. F. de; GUERRA, J. G. M.; MACEDO, J. R. de; SOUZA, J. N. de; FREIRE, L. R.; VASCONCELOS, M. A. da S.; LEAL, M. A. de A.; FERREIRA, M. B. C.; MANHÃES, M.; GOUVE, R. F. de; BUSQUET, R. N. B.; BHERING, S. B. Recomendações de adubos, corretivos e de manejo da matéria orgânica para as principais culturas do Estado do Rio de janeiro. In: FREIRE, L. R. (Coord.). Manual de calagem e adubação do Estado do Rio de Janeiro. Brasília, DF: Embrapa; Seropédica: Universidade Rural, 2013. Cap. 14, p. 255-430.
Tipo: Capítulo em Livro Técnico-Científico
Biblioteca(s): Embrapa Agrobiologia.
Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 1
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