1
Publicado em 2005
Sumário: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2006
Sumário: ... Identification Through Image Evaluation Using Secret Predicates -- Hash Functions -- Cryptanalysis of Reduced...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2005
Sumário: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Obter o texto integral
Recurso Eletrônico livro eletrônico