$$\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 Partições: 1 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:
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: 43 Visitas: 966

   País   Visitas 
UNITED STATES 351
BRAZIL 255
GERMANY 72
FRANCE 36
CHINA 35
FINLAND 35
SWITZERLAND 24
SPAIN 18
UNITED KINGDOM 18
10  SINGAPORE 16
11  RUSSIAN FEDERATION 14
12  CANADA 11
13  NETHERLANDS 10
14  KOREA, REPUBLIC OF 6
15  ANGOLA 5
16  CZECH REPUBLIC 5
17  IRELAND 4
18  PERU 4
19  UNITED ARAB EMIRATES 4
20  VIET NAM 4
21  ARGENTINA 3
22  HONG KONG 3
23  JAPAN 3
24  LUXEMBOURG 3
25  POLAND 3
26  UNIDENTIFIED COUNTRY 3
27  AUSTRALIA 2
28  INDIA 2
29  MOZAMBIQUE 2
30  SOUTH AFRICA 2
31  AUSTRIA 1
32  BULGARIA 1
33  COLOMBIA 1
34  INDONESIA 1
35  IRAN, ISLAMIC REPUBLIC OF 1
36  IRAQ 1
37  PHILIPPINES 1
38  PORTUGAL 1
39  ROMANIA 1
40  SWEDEN 1
41  UKRAINE 1
42  UZBEKISTAN 1
43  VENEZUELA 1
   Total Geral 966
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui