Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
About
About the Institutional Repository
Use Policy
FAQs (Frequently Asked Questions)
Credits
Access Statistics
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repositório PUCRS
Search
Search:
All Repository
DOCUMENTOS INSTITUCIONAIS
PUBLICAÇÕES CIENTÍFICAS
TRABALHOS DE CONCLUSÃO DE CURSO
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 21-21 of 21 (Search time: 0.001 seconds).
previous
1
2
3
next
Item hits:
Issue Date
Title
Author(s)
2013
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Oleksinski, Lucas Giaretta
Explore
Author
1
Amaral, Leonardo Albernaz
1
Assunção, Joaquim Vinicius Carvalho
1
Barros, André de Almeida
1
Campos, Rafael Tweedie
1
Correa, Claiton Marques
1
Czekster, Ricardo Melo
1
Delamare, Fábio Longaray
1
Espindola, Luciana da Silveira
1
Gil, Paulo Guilherme
1
Gomes, Marcelo Vasconcellos
.
next ►
Subject
10
SIMULAÇÃO E MODELAGEM EM COMPUTAD...
6
ENGENHARIA DE SOFTWARE
4
AVALIAÇÃO DE DESEMPENHO (INFORMÁT...
3
REDES DE COMPUTADORES
3
SOFTWARE - AVALIAÇÃO
2
ALGORITMOS
2
CADEIAS DE MARKOV
2
CADEIAS DE MARKOV - COMPUTAÇÃO
2
UML (INFORMATICA)
1
ADMINISTRAÇÃO DE PROJETOS
.
next ►
Issue Date
2
2016
4
2013
2
2012
2
2011
3
2010
2
2009
3
2008
1
2007
2
2006