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 : 1
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoBORGES, M. V.; LEITE, C. X. dos S.; SANTOS, I. A.; LEÃO, D. J.; FERRÃO, S. P. B.; SANTOS, L. S.; LIMA, A. B. S. de; WOBETO, C.; LANNES, S. C. da S.; SILVA, M. V. da. Technological and nutritional aspects of dark chocolate with added coffee husk flour. Pesquisa Agropecuária Brasileira, v. 59, e03484, 2024. Título em português: Aspectos tecnológicos e nutricionais de chocolate amargo com adição de farinha de casca de café.
Biblioteca(s): Embrapa Unidades Centrais.
Visualizar detalhes do registroAcesso ao objeto digitalImprime 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