| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Ebooks. |
|
Data corrente: |
16/06/2011 |
|
Data da última atualização: |
16/06/2011 |
|
Autoria: |
SHANKAR, N.; WOODCOCK, J. |
|
Afiliação: |
Natarajan Shankar; Jim Woodcock. |
|
Título: |
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings |
|
Ano de publicação: |
2008 |
|
Fonte/Imprenta: |
Springer eBooks. |
|
Descrição Física: |
v.: digital |
|
Série: |
Lecture Notes in Computer Science,5295 |
|
ISBN: |
9783540878735 |
|
Idioma: |
Inglês |
|
Palavras-Chave: |
Artificial Intelligence (incl. Robotics); Logic design; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Models and Principles; Programming Languages, Compilers, Interpreters; Programming Techniques. |
|
Thesaurus Nal: |
artificial intelligence; computer science. |
|
Categoria do assunto: |
-- |
|
URL: |
https://dx.doi.org/10.1007/978-3-540-87873-5
|
|
Marc: |
LEADER 00915nam a2200253 a 4500
001 1892728
005 2011-06-16
008 2008 bl uuuu u0uu1 u #d
020 $a9783540878735
100 1 $aSHANKAR, N.
245 $aVerified Software$bTheories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings$h[electronic resource]
260 $aSpringer eBooks.$c2008
300 $cv.: digital
490 $aLecture Notes in Computer Science,5295
650 $aartificial intelligence
650 $acomputer science
653 $aArtificial Intelligence (incl. Robotics)
653 $aLogic design
653 $aLogics and Meanings of Programs
653 $aMathematical Logic and Formal Languages
653 $aModels and Principles
653 $aProgramming Languages, Compilers, Interpreters
653 $aProgramming Techniques
700 1 $aWOODCOCK, J.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Ebooks (Ebooks) |
|
|
Nenhum exemplar cadastrado para este documento. |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Semiárido. |
|
Data corrente: |
19/02/2019 |
|
Data da última atualização: |
06/11/2023 |
|
Tipo da produção científica: |
Resumo em Anais de Congresso |
|
Autoria: |
FRANÇA, C. R. R. S.; SILVA, A. F.; OLIVEIRA, D. S.; SANTOS, A. P. G.; LIMA, R. G.; OLIVEIRA, A. P. D. de. |
|
Afiliação: |
CARLA REGINE REGES SILVA FRANÇA; ALINEAUREA FLORENTINO SILVA, CPATSA; DJANE SILVA OLIVEIRA; ANA PAULA GUIMARÃES SANTOS; ROSANA GOMES LIMA; ANA PATRÍCIA DAVID DE OLIVEIRA. |
|
Título: |
Avaliação agronômica de variedades de mandioca de mesa cultivadas em área irrigada em Petrolina - PE. |
|
Ano de publicação: |
2010 |
|
Fonte/Imprenta: |
In: CONGRESSO BRASILEIRO DE RECURSOS GENÉTICOS; WORKSHOP EM BIOPROSPECÇÃO E CONSERVAÇÃO DE PLANTAS NATIVAS DO SEMI-ÁRIDO, 3.; WORKSHOP INTERNACIONAL SOBRE BIOENERGIA E MEIO AMBIENTE, 2010, Salvador. Bancos de germoplasma: descobrir a riqueza, garantir o futuro: anais. Brasília, DF: Embrapa Recursos Genéticos e Biotecnologia, 2010. |
|
Série: |
(Embrapa Recursos Genéticos e Biotecnologia. Documentos, 304). |
|
Idioma: |
Português |
|
Notas: |
Editora técnica Clara Oliveira Goedert. |
|
Conteúdo: |
O trabalho teve por objetivo avaliar a produtividade de nove variedades de mandioca mansas retiradas do BAG e cultivadas em área irrigada. |
|
Palavras-Chave: |
Cultivo. |
|
Thesagro: |
Banco de Germoplasma; Mandioca; Raiz. |
|
Thesaurus NAL: |
Cassava. |
|
Categoria do assunto: |
F Plantas e Produtos de Origem Vegetal |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/193007/1/Aline-1.pdf
|
|
Marc: |
LEADER 01221nam a2200253 a 4500
001 2106228
005 2023-11-06
008 2010 bl uuuu u00u1 u #d
100 1 $aFRANÇA, C. R. R. S.
245 $aAvaliação agronômica de variedades de mandioca de mesa cultivadas em área irrigada em Petrolina - PE.
260 $aIn: CONGRESSO BRASILEIRO DE RECURSOS GENÉTICOS; WORKSHOP EM BIOPROSPECÇÃO E CONSERVAÇÃO DE PLANTAS NATIVAS DO SEMI-ÁRIDO, 3.; WORKSHOP INTERNACIONAL SOBRE BIOENERGIA E MEIO AMBIENTE, 2010, Salvador. Bancos de germoplasma: descobrir a riqueza, garantir o futuro: anais. Brasília, DF: Embrapa Recursos Genéticos e Biotecnologia$c2010
490 $a(Embrapa Recursos Genéticos e Biotecnologia. Documentos, 304).
500 $aEditora técnica Clara Oliveira Goedert.
520 $aO trabalho teve por objetivo avaliar a produtividade de nove variedades de mandioca mansas retiradas do BAG e cultivadas em área irrigada.
650 $aCassava
650 $aBanco de Germoplasma
650 $aMandioca
650 $aRaiz
653 $aCultivo
700 1 $aSILVA, A. F.
700 1 $aOLIVEIRA, D. S.
700 1 $aSANTOS, A. P. G.
700 1 $aLIMA, R. G.
700 1 $aOLIVEIRA, A. P. D. de
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Semiárido (CPATSA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
