Wordt geladen...

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

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Hoofdauteurs: Marinho, Anne Rose Alves Federici., Sá, Vinícius Gusmão Pereira de, Universidade Federal do Rio de Janeiro.
Formaat: Livro
Taal:Português
Gepubliceerd in: UFRJ, 2015
Onderwerpen:
Online toegang:https://minerva.ufrj.br/F/?func=direct&doc_number=000831284&local_base=UFR01
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!