| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
04/07/1994 |
|
Data da última atualização: |
11/03/2011 |
|
Autoria: |
DEMIRORS, O.; DEMIRÖRS, E.; TANIK, M. M.; SULLINS, J. R. |
|
Afiliação: |
PMIR DEMIRÖRS, Southern Methodist University; ELIF DEMIRÖRS, Southern Methodist University; MOURAT M. TANIK, Southern Methodist University; JOHN R. SULLINS, Southern Methodist University. |
|
Título: |
System specification methods and language. |
|
Ano de publicação: |
1993 |
|
Fonte/Imprenta: |
Dallas: Southern Methodist University, 1993. |
|
Páginas: |
29 p. |
|
Série: |
Technical report 93-CSE-40. |
|
Idioma: |
Inglês |
|
Conteúdo: |
Classification of specification methods. Formal methods and languages. Formal specification languages. Z notation. Vienna development method. Clear. Communicating sequential processes. PAISLey. Summary and conclusions. |
|
Palavras-Chave: |
Linguagem de programação; Métodos de especificação de sistemas; PAISLey. |
|
Thesaurus Nal: |
Computer science. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
Marc: |
LEADER 00817nam a2200217 a 4500
001 1001652
005 2011-03-11
008 1993 bl uuuu t 00u1 u #d
100 1 $aDEMIRORS, O.
245 $aSystem specification methods and language.
260 $aDallas: Southern Methodist University$c1993
300 $a29 p.
490 $aTechnical report 93-CSE-40.
520 $aClassification of specification methods. Formal methods and languages. Formal specification languages. Z notation. Vienna development method. Clear. Communicating sequential processes. PAISLey. Summary and conclusions.
650 $aComputer science
653 $aLinguagem de programação
653 $aMétodos de especificação de sistemas
653 $aPAISLey
700 1 $aDEMIRÖRS, E.
700 1 $aTANIK, M. M.
700 1 $aSULLINS, J. R.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
 | Acesso ao texto completo restrito à biblioteca da Embrapa Cerrados. Para informações adicionais entre em contato com cpac.biblioteca@embrapa.br. |
Registro Completo
|
Biblioteca(s): |
Embrapa Cerrados. |
|
Data corrente: |
21/10/1994 |
|
Data da última atualização: |
21/10/1994 |
|
Autoria: |
SHARMA, R. D. |
|
Título: |
Selecao de genotipos de diversas culturas resistentes ou tolerantes ao nematoide formador de galhas das raizes, Meloidogyne javanica (Treub), Chitwood, sob condicoes de casa de vegetacao. |
|
Ano de publicação: |
1991 |
|
Fonte/Imprenta: |
In: EMBRAPA. Centro de Pesquisa Agropecuaria dos Cerrados (Planaltina, DF). Relatorio tecnico anual do Centro de Pesquisa Agropecuaria dos Cerrados 1985/1987. Planaltina, 1991. |
|
Páginas: |
p.266-269. |
|
Idioma: |
Português |
|
Palavras-Chave: |
Bajra; Castor oil plant; Cultura agricola; Grao-de-bico; Nematoide de planta; Plant nematodes; Wheats. |
|
Thesagro: |
Centrosema Pubescens; Cerrado; Cicer Arietinum; Glycine Max; Leucaena; Leucaena Diversifolia; Leucaena Leucocephala; Mamona; Meloidogyne Javanica; Milheto; Pennisetum Typhoides; Resistência; Ricinus Communis; Soja; Trigo; Triticum Aestivum. |
|
Thesaurus NAL: |
chickpeas; millets; pest resistance; soybeans. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01394naa a2200445 a 4500
001 1549526
005 1994-10-21
008 1991 bl uuuu u00u1 u #d
100 1 $aSHARMA, R. D.
245 $aSelecao de genotipos de diversas culturas resistentes ou tolerantes ao nematoide formador de galhas das raizes, Meloidogyne javanica (Treub), Chitwood, sob condicoes de casa de vegetacao.
260 $c1991
300 $ap.266-269.
650 $achickpeas
650 $amillets
650 $apest resistance
650 $asoybeans
650 $aCentrosema Pubescens
650 $aCerrado
650 $aCicer Arietinum
650 $aGlycine Max
650 $aLeucaena
650 $aLeucaena Diversifolia
650 $aLeucaena Leucocephala
650 $aMamona
650 $aMeloidogyne Javanica
650 $aMilheto
650 $aPennisetum Typhoides
650 $aResistência
650 $aRicinus Communis
650 $aSoja
650 $aTrigo
650 $aTriticum Aestivum
653 $aBajra
653 $aCastor oil plant
653 $aCultura agricola
653 $aGrao-de-bico
653 $aNematoide de planta
653 $aPlant nematodes
653 $aWheats
773 $tIn: EMBRAPA. Centro de Pesquisa Agropecuaria dos Cerrados (Planaltina, DF). Relatorio tecnico anual do Centro de Pesquisa Agropecuaria dos Cerrados 1985/1987. Planaltina, 1991.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Cerrados (CPAC) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
