|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agroindústria de Alimentos. |
Data corrente: |
22/02/2011 |
Data da última atualização: |
25/03/2011 |
Tipo da produção científica: |
Resumo em Anais de Congresso |
Autoria: |
BORGUINI, R. G.; TEIXEIRA, A. S.; CASTRO, I. M.; ANJOS, M. R.; SOUZA, M. L. M. |
Afiliação: |
RENATA GALHARDO BORGUINI, CTAA; ALESSANDRA DA SILVA TEIXEIRA, CTAA; IZABELA MIRANDA DE CASTRO, CTAA; MARIANNA RAMOS DOS ANJOS, CTAA; MARIA DE LOURDES MENDES DE SOUZA, CTAA. |
Título: |
Avaliação da eficiência do método AOAC na recuperação de ocratoxina A em vinho. |
Ano de publicação: |
2010 |
Fonte/Imprenta: |
In: INTERNATIONAL CONFERENCE ON PET FOOD QUALITY AND SAFETY; NATIONAL MYCOTOXIN MEETING, 14., 2010, Florianópolis. Abstract book. Florianópolis: UFSC, 2010. p. 115. |
Idioma: |
Português |
Palavras-Chave: |
Ensaio de recuperação; Ocratoxina A. |
Thesagro: |
Vinho. |
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/31187/1/2010-274.pdf
|
Marc: |
LEADER 00659nam a2200181 a 4500 001 1878375 005 2011-03-25 008 2010 bl uuuu u00u1 u #d 100 1 $aBORGUINI, R. G. 245 $aAvaliação da eficiência do método AOAC na recuperação de ocratoxina A em vinho. 260 $aIn: INTERNATIONAL CONFERENCE ON PET FOOD QUALITY AND SAFETY; NATIONAL MYCOTOXIN MEETING, 14., 2010, Florianópolis. Abstract book. Florianópolis: UFSC, 2010. p. 115.$c2010 650 $aVinho 653 $aEnsaio de recuperação 653 $aOcratoxina A 700 1 $aTEIXEIRA, A. S. 700 1 $aCASTRO, I. M. 700 1 $aANJOS, M. R. 700 1 $aSOUZA, M. L. M.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agroindústria de Alimentos (CTAA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
| Acesso ao texto completo restrito à biblioteca da Embrapa Unidades Centrais. Para informações adicionais entre em contato com biblioteca@embrapa.br. |
Registro Completo
Biblioteca(s): |
Embrapa Unidades Centrais. |
Data corrente: |
30/09/1997 |
Data da última atualização: |
12/12/2007 |
Autoria: |
COSTA, M. M. do C. |
Afiliação: |
DIN. |
Título: |
Descrição e implementação de um tradutor pascal para o código executável sob a forma de cláusulas. |
Ano de publicação: |
1985 |
Fonte/Imprenta: |
Rio de Janeiro: PUC, 1985. |
Páginas: |
108p. |
Idioma: |
Português |
Notas: |
Tese Mestrado. |
Conteúdo: |
A necessidade do "software" confiável e a busca de maiores conhecimentos sob a programação tem motivado as pesquisas para a elaboração de técnicas para provar fatos sobre programas, e em particular sua correção. A possibilidade do uso de técnicas como execução simbólica e execução controlada de trechos de programas através de sua representação sob a forma de cláusulas e do principio de resolução constitui uma importante contribuição para estudos nesta área. Esta dissertação apresenta a especificação e implemantação de um tradutor PASCAL. Este tradutor transforma um programa fonte, utilizando um analisador sintático SLR e ações semânticas especificadas em gramática de atributos, em cláusulas da lógica de primeira ordem, objetivando a sua análise. |
Palavras-Chave: |
Analysis; Computer; Pascal; Programação; Programming. |
Thesagro: |
Análise; Computador. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01366nam a2200217 a 4500 001 1088641 005 2007-12-12 008 1985 bl uuuu m 00u1 u #d 100 1 $aCOSTA, M. M. do C. 245 $aDescrição e implementação de um tradutor pascal para o código executável sob a forma de cláusulas. 260 $aRio de Janeiro: PUC$c1985 300 $a108p. 500 $aTese Mestrado. 520 $aA necessidade do "software" confiável e a busca de maiores conhecimentos sob a programação tem motivado as pesquisas para a elaboração de técnicas para provar fatos sobre programas, e em particular sua correção. A possibilidade do uso de técnicas como execução simbólica e execução controlada de trechos de programas através de sua representação sob a forma de cláusulas e do principio de resolução constitui uma importante contribuição para estudos nesta área. Esta dissertação apresenta a especificação e implemantação de um tradutor PASCAL. Este tradutor transforma um programa fonte, utilizando um analisador sintático SLR e ações semânticas especificadas em gramática de atributos, em cláusulas da lógica de primeira ordem, objetivando a sua análise. 650 $aAnálise 650 $aComputador 653 $aAnalysis 653 $aComputer 653 $aPascal 653 $aProgramação 653 $aProgramming
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Unidades Centrais (AI-SEDE) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|