|
|
Registros recuperados : 5 | |
1. |  | MEYER, B.; WOODCOCK, J. 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 Springer eBooks. v.: digital Lecture Notes in Computer Science,4171 |    |
2. |  | SHANKAR, N.; WOODCOCK, J. Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings Springer eBooks. v.: digital Lecture Notes in Computer Science,5295 |    |
Registros recuperados : 5 | |
|
|
Registros recuperados : 1 | |
1. |  | PECEGUEIRO, M. de S.; FURINI, T.; MELO, J. A. M. de; SOUZA, S. A. M.; HOOGERHEIDE, E. S. S. Validação de protocolo para biometria de sementes de Jatobá do cerrado (Hymenae stignocarpa Mart. ex Hayne.) por análise digital. In: CONGRESSO ONLINE DE AGRONOMIA, 8., 2020, [São Paulo-SP]. Anais... São Paulo, SP: Convibra, 2020. não paginado.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Agrossilvipastoril. |
|    |
Registros recuperados : 1 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|