|
|
Registro Completo |
Biblioteca(s): |
Ebooks. |
Data corrente: |
16/06/2011 |
Data da última atualização: |
16/06/2011 |
Autoria: |
MEYER, B.; WOODCOCK, J. |
Afiliação: |
Bertrand Meyer; Jim Woodcock. |
Título: |
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions |
Ano de publicação: |
2008 |
Fonte/Imprenta: |
Springer eBooks. |
Descrição Física: |
v.: digital |
Série: |
Lecture Notes in Computer Science,4171 |
ISBN: |
9783540691495 |
Idioma: |
Inglês |
Palavras-Chave: |
Artificial Intelligence (incl. Robotics); Logic design; Logics and Meanings of Programs; Operating Systems; Operating systems (Computers); Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering. |
Thesaurus Nal: |
artificial intelligence; computer science. |
Categoria do assunto: |
-- |
URL: |
https://dx.doi.org/10.1007/978-3-540-69149-5
|
Marc: |
LEADER 00972nam a2200265 a 4500 001 1893348 005 2011-06-16 008 2008 bl uuuu u0uu1 u #d 020 $a9783540691495 100 1 $aMEYER, B. 245 $aVerified Software$bTheories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions$h[electronic resource] 260 $aSpringer eBooks.$c2008 300 $cv.: digital 490 $aLecture Notes in Computer Science,4171 650 $aartificial intelligence 650 $acomputer science 653 $aArtificial Intelligence (incl. Robotics) 653 $aLogic design 653 $aLogics and Meanings of Programs 653 $aOperating Systems 653 $aOperating systems (Computers) 653 $aProgramming Languages, Compilers, Interpreters 653 $aProgramming Techniques 653 $aSoftware Engineering 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 Soja. |
Data corrente: |
06/07/2006 |
Data da última atualização: |
21/05/2013 |
Tipo da produção científica: |
Artigo em Anais de Congresso |
Autoria: |
BORTOTI, G.; CARMO, K. B do; CATTELAN, A. J. |
Título: |
Teste de Elisa para a determinação da ocupação nodular. |
Ano de publicação: |
2005 |
Fonte/Imprenta: |
In: JORNADA ACADÊMICA DA EMBRAPA SOJA, 2005, Londrina. Resumos expandidos. Londrina: Embrapa Soja, 2005. |
Páginas: |
p. 94-97. |
Série: |
(Embrapa Soja. Documentos, 268). |
Idioma: |
Português |
Thesagro: |
Bactéria; Fixação de Nitrogênio; Soja. |
Categoria do assunto: |
-- |
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/83146/1/ID-26404.pdf
|
Marc: |
LEADER 00596nam a2200181 a 4500 001 1469109 005 2013-05-21 008 2005 bl uuuu u00u1 u #d 100 1 $aBORTOTI, G. 245 $aTeste de Elisa para a determinação da ocupação nodular.$h[electronic resource] 260 $aIn: JORNADA ACADÊMICA DA EMBRAPA SOJA, 2005, Londrina. Resumos expandidos. Londrina: Embrapa Soja$c2005 300 $ap. 94-97. 490 $a(Embrapa Soja. Documentos, 268). 650 $aBactéria 650 $aFixação de Nitrogênio 650 $aSoja 700 1 $aCARMO, K. B do 700 1 $aCATTELAN, A. J.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Soja (CNPSO) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|