$$\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: 24052 Tipo de Acesso: PÚBLICO
Título: EXTENSÕES DE LÓGICA PROPOSICIONAL DINÂMICA PARA REDES DE PETRI
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: BRUNO LOPES VIEIRA
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
GILLES DOWEK - Coorientador

Curso: PPG EM INFORMÁTICA
Título Outorgado: DOUTOR EM CIÊNCIAS - INFORMÁTICA
Área: TEORIA DA COMPUTAÇÃO
Catalogação: 10/02/2015 Defesa: 28/03/2014 Idioma(s): INGLÊS - ESTADOS UNIDOS Países: 48 Visitas: 1701 Partições: 8

  País  Visitas 
ESTADOS UNIDOS767
BRASIL465
ALEMANHA82
CHINA71
FRANCA41
RUSSIA37
PORTUGAL26
HOLANDA15
SINGAPURA15
10 INDIA14
11 ESLOVAQUIA13
12 ARGENTINA12
13 ESPANHA12
14 MEXICO12
15 PERU12
16 CANADA9
17 HONG KONG 8
18 ITALIA8
19 TURQUIA8
20 JAPAO7
21 ROMENIA6
22 IRA, REPUBLICA ISLAMICA DO5
23 IRLANDA5
24 REPUBLICA CHECA5
25 COREIA, REPUBLICA DA4
26 DINAMARCA4
27 HUNGRIA4
28 CAMBODIA3
29 FILIPINAS3
30 GRECIA3
31 VIETNA3
32 AFRICA DO SUL2
33 ARGELIA2
34 FINLANDIA2
35 INDONESIA2
36 NIGERIA2
37 AUSTRALIA1
38 BANGLADESH1
39 BOLIVIA1
40 CHILE1
41 EGITO1
42 GRA-BRETANHA1
43 NORUEGA1
44 REGIAO ASIA PACIFICO1
45 SUECIA1
46 SUICA1
47 TAILANDIA1
48 TAIWAN1
  Total Geral1701
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