Buscas alternativas:
agda » agua (Expandir a busca), agdm (Expandir a busca), agd (Expandir a busca)
Mostrando 1 - 4 resultados de 4 para a busca '""Agda""', tempo de busca: 0,11s

1

Assuntos: “...Agda...”

A Simplified version of Bitcoin, implemented in Agda

Publicado em 2020
Acessar documento
Dissertação

2

Assuntos: “...Agda...”

Agda desmontagem: o de dentro da cena - Hilda Hilst e os femininos que ressoam

Publicado em 2022
Acessar documento (1)
Acessar documento (2)
Dissertação

3

Assuntos: “..."Agda"...”

A linguagem do corpo na obra de Hilda Hilst: "Agda" e A obscena Senhora D

Publicado em 2015
Acessar documento
Dissertação

4

Assuntos: “...Agda...”

Strategies for testing and formalizing properties of modern programming languages

Publicado em 2019
Acessar documento
Tese