| |
|
|
|
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
|
|
|
| Registros recuperados : 5 | |
| 3. |  | SILVA, A. R. da; SILVA. S. A.; ALMEIDA, V. de O.; ARAÚJO, G. de M.; LEDO, C. A. da S. Correlations and track analysis for morphoagronomic descriptors in pedigree and parental lines of castor bean. Cienc. Rura,l vl.4, 7 n.4, Santa Maria, Epub, Mar, 2017.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
| Biblioteca(s): Embrapa Mandioca e Fruticultura. |
|    |
| 4. | | SILVA, A. R. da; SILVA, D. da C.; PINTO, K. N. dos S.; SANTOS FILHO, H. P.; COELHO FILHO, M. A.; FERREIRA, C. F.; GESTEIRA, A. da S. Epigenetic Memory In Citrus Scion/Rootstock Combinations Formed With Buds Challenged By Phytophthora Citrophthora. In: BRAZILIAN CONGRESS OF GENETICS, 68., 2023, Ouro Preto. Paleogenomics: sequencing ancient DNA. E-book. Ribeirão Preto: Sociedade Brasileira de Genética, 2023. p.380| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Mandioca e Fruticultura. |
|  |
| 5. | | SOUSA, A. R. de O.; COELHO FILHO, M. A.; SILVA, A. R. da; SANTOS, L. M. dos; SILVA, M. de C.; CRUZ, E. S. da; LEDO, C. A. da S.; SOARES FILHO, W. dos S.; COSTA, M. G. C.; MICHELIA, F.; GESTEIRA, A. da S. Water competition in the soil by rootstocks is used to assess drought tolerance in citrus. South African Journal of Botany, v. 164, p. 23-30, 2024.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 3 |
| Biblioteca(s): Embrapa Mandioca e Fruticultura. |
| |
| Registros recuperados : 5 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
