$$\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: 8074 Tipo de Acesso: PUBLIC
Título: FOMAL ANALYSIS OF PROTOCOLS AND DISTRIBUTED ALGORITHMS: A BASED-LANGUAGE APPROACH
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: CARLOS BAZILIO MARTINS
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: DOCTOR IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 03/04/2006 Defesa: 09/09/2005 Idioma(s): PORTUGUESE - BRAZIL Países: 61 Visitas: 6475 Partições: 9

  País  Visitas 
BRAZIL2726
UNITED STATES2335
CHINA386
GERMANY324
PORTUGAL206
RUSSIAN FEDERATION72
FRANCE69
FINLAND32
CZECH REPUBLIC26
10 NETHERLANDS26
11 SPAIN26
12 ARGENTINA21
13 UNITED KINGDOM20
14 SINGAPORE18
15 MEXICO17
16 CANADA13
17 ISRAEL 12
18 CUBA9
19 GREECE8
20 UKRAINE8
21 UNIDENTIFIED COUNTRY8
22 COLOMBIA7
23 ITALY7
24 MOZAMBIQUE7
25 NORWAY7
26 JAPAN6
27 ANGOLA5
28 CHILE5
29 PERU5
30 SWEDEN5
31 INDONESIA4
32 VIET NAM4
33 ALGERIA 3
34 IRAN, ISLAMIC REPUBLIC OF3
35 THAILAND3
36 BANGLADESH2
37 CAMEROON2
38 CAPE VERDE2
39 EGYPT2
40 GUATEMALA2
41 HUNGARY2
42 INDIA2
43 JORDAN 2
44 KOREA, REPUBLIC OF2
45 LUXEMBOURG2
46 NAMIBIA2
47 POLAND2
48 ROMANIA2
49 SLOVAKIA2
50 TURKEY2
51 VENEZUELA2
52 AUSTRALIA1
53 BULGARIA1
54 EUROPEAN UNION1
55 KENYA1
56 KUWAIT1
57 LATVIA1
58 MALAYSIA1
59 PANAMA1
60 PUERTO RICO1
61 URUGUAY1
  Total Geral6475
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui
    Senha Maxwell, clique aqui