|
|
Registro Completo |
Biblioteca(s): |
Ebooks. |
Data corrente: |
16/06/2011 |
Data da última atualização: |
16/06/2011 |
Autoria: |
SIMON, A. |
Afiliação: |
Axel Simon. |
Título: |
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities |
Ano de publicação: |
2008 |
Fonte/Imprenta: |
Springer eBooks. |
Descrição Física: |
v.: digital |
ISBN: |
9781848000179 |
Idioma: |
Inglês |
Palavras-Chave: |
Electronic data processing; Logic design; Logics and Meanings of Programs; Numeric Computing; Software Engineering. |
Thesaurus Nal: |
computer science. |
Categoria do assunto: |
-- |
URL: |
https://dx.doi.org/10.1007/978-1-84800-017-9
|
Marc: |
LEADER 00607nam a2200193 a 4500 001 1893309 005 2011-06-16 008 2008 bl uuuu u0uu1 u #d 020 $a9781848000179 100 1 $aSIMON, A. 245 $aValue-Range Analysis of C Programs$bTowards Proving the Absence of Buffer Overflow Vulnerabilities$h[electronic resource] 260 $aSpringer eBooks.$c2008 300 $cv.: digital 650 $acomputer science 653 $aElectronic data processing 653 $aLogic design 653 $aLogics and Meanings of Programs 653 $aNumeric Computing 653 $aSoftware Engineering
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Ebooks (Ebooks) |
|
Nenhum exemplar cadastrado para este documento. |
Voltar
|
|
Registros recuperados : 21 | |
4. | | CUNHA, H. N. da; SIMON, A. L. H.; FILIPPINI ALBA, J. M.; MIURA, A. K. Caracterização Morfométrica da Bacia Hidrográfica do Arroio Micaela, Pelotas-RS. In: SIMPÓSIO BRASILEIRO DE GEOGRAFIA FÍSICA APLICADA, 15., 2013, Vitória, ES. Anais... Vitória: UFES, 2013.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Clima Temperado. |
| |
5. | | HIGA, A. R.; DEDECEK, R. A.; SANTOS, A. F. dos; STEIN, P. P.; SIMON, A. A. Desarrollo de sistemas de producción para acacia negra (Acacia mearnsii de Wild.). In: CONGRESO LATINOAMERICANO IUFRO, 1., 1998, Valdivia, Chile. El manejo sustentable de los recursos forestales, desafio del siglo XXI: actas. [S.l.]: CONAF: IUFRO, 1998. 1 p. 1 CD-ROM. Tema 1.: Establecimiento, manejo y protección de plantaciones. Resumo.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Florestas. |
| |
10. | | HIGA, A. R.; MORA, A. L.; STEIN, P. P.; SIMON, A. A.; HIGA, R. C. V. Resistencia a heladas en procedencias de Acacia mearnsii de Wild plantadas en Rio Grande do Sul, Brasil. In: CONGRESO LATINOAMERICANO IUFRO, 1., 1998, Valdivia, Chile. El manejo sustentable de los recursos forestales, desafio del siglo XXI: actas. [S.l.]: CONAF: IUFRO, 1998. 6 p. 1 CD-ROM. Tema 1.: Establecimiento, manejo y protección de plantaciones.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Florestas. |
| |
16. | | DEDECEK, R. A.; RACHWAL, M. F. G.; CURCIO, G. R.; SIMON, A. A. Sistemas de preparación del suelo para plantación de Acacia mearnsii en dos lugares y su efecto en la productividad y en la erosión hídrica. In: CONGRESO LATINOAMERICANO IUFRO, 1., 1998, Valdivia, Chile. El manejo sustentable de los recursos forestales, desafio del siglo XXI: actas. [S.l.]: CONAF: IUFRO, 1998. 9 p. 1 CD-ROM. Tema 1.: Establecimiento, manejo y protección de plantaciones.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Florestas. |
| |
19. | | PAULA, K. R.; HIGA, A. R.; HIGA, R. C. V.; DEDECEC, R. A.; SIMON, A. A.; BEHING, M. Fatores que afetam a produção de sementes de Acacia Mearnsii de Wild. In: JORNADAS DE MEJORAMIENTO GENÉTICO PARA PRODUCTORES FORESTALES, 2004, Posadas. Actas. [Eldorado]: Universidad Nacional de Misiones, Facultad de Ciencias Forestales, 2004. p. 107. Resumo.Biblioteca(s): Embrapa Florestas. |
| |
20. | | SANQUETTA, C. R.; BEHLING, A.; CORTE, A. P. D.; SIMON, A.; PSCHEIDT, H.; RUZA, M. S.; MOCHIUTTI, S. Estoques de biomassa e carbono em povoamentos de acácia negra em diferentes idades no Rio Grande do Sul. Scientia Forestalis, Piracicaba, v. 42, n. 103, p. 361-370, set. 2014.Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 1 |
Biblioteca(s): Embrapa Amapá. |
| |
Registros recuperados : 21 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|