Laddar...
Algoritmos certificadores e verificadores /
[PT]Algoritmos certificadores são algoritmos que retornam não apenas a solução para o problema que se prestam a resolver, mas também um certificado, direta e eficientemente verificável, de que tal solução é correta. Nesta dissertação, argumentamos a favor do emprego de algoritmos certificadores para...
Sparad:
Huvudupphovsmän: | , , |
---|---|
Materialtyp: | Livro |
Språk: | Português |
Publicerad: |
UFRJ,
2015
|
Ämnen: | |
Länkar: | https://minerva.ufrj.br/F/?func=direct&doc_number=000831284&local_base=UFR01 |
Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|