$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Estatísticas > Conteúdo - Acesso

Número: 35851 Tipo de Acesso: PUBLIC
Título: FORMALIZATION OF CRYPTOGRAPHY ALGORITHMS IN AN INTERACTIVE THEOREM PROVER
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: GUILHERME GOMES FELIX DA SILVA
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: MASTER IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 13/12/2018 Defesa: 28/08/2018 Língua: PORTUGUESE - BRAZIL Países: 40 Visitas: 883 Partições: 1

  País  Visitas 
ANGOLA5
ARGENTINA3
AUSTRALIA2
AUSTRIA1
BRAZIL243
BULGARIA1
CANADA10
CHINA29
COLOMBIA1
10 CZECH REPUBLIC5
11 FINLAND35
12 FRANCE32
13 GERMANY70
14 HONG KONG3
15 INDIA2
16 INDONESIA1
17 IRAN, ISLAMIC REPUBLIC OF1
18 IRELAND4
19 KOREA, REPUBLIC OF3
20 LUXEMBOURG3
21 MOZAMBIQUE2
22 NETHERLANDS10
23 PERU4
24 PHILIPPINES1
25 POLAND3
26 PORTUGAL1
27 ROMANIA1
28 RUSSIAN FEDERATION14
29 SINGAPORE16
30 SOUTH AFRICA2
31 SPAIN18
32 SWEDEN1
33 SWITZERLAND2
34 UKRAINE1
35 UNIDENTIFIED COUNTRY3
36 UNITED ARAB EMIRATES 4
37 UNITED KINGDOM17
38 UNITED STATES324
39 UZBEKISTAN1
40 VIET NAM4
  Total Geral883
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui