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...

Full beskrivning

Sparad:
Bibliografiska uppgifter
Huvudupphovsmän: Marinho, Anne Rose Alves Federici., Sá, Vinícius Gusmão Pereira de, Universidade Federal do Rio de Janeiro.
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!