Coleção da biblioteca
Base de dados :
article
Pesquisa :
MONROY, RAUL [Autor]
Referências encontradas :
8
[
refinar
]
Mostrando:
1 .. 8
no formato [
ISO 690
]
página 1 de 1
1 / 8
seleciona
para imprimir
Monroy, Raúl.
Editorial
.
Polibits
, Dec 2012, no.46, p.03-04. ISSN 1870-9044
·
texto em inglês
2 / 8
seleciona
para imprimir
Buelna, Ernesto and Monroy, Raúl
Real-Time Verification of Integrity Policies for Distributed Systems
.
J. appl. res. technol
, 2013, vol.11, no.6, p.831-843. ISSN 1665-6423
·
resumo em inglês
|
espanhol
·
texto em inglês
3 / 8
seleciona
para imprimir
Ferman, Victor, Hutter, Dieter and Monroy, Raúl
A Model Checker for the Verification of Browser Based Protocols
.
Comp. y Sist.
, Mar 2017, vol.21, no.1, p.101-114. ISSN 1405-5546
·
resumo em inglês
·
texto em inglês
4 / 8
seleciona
para imprimir
Alonso, Roberto and Monroy, Raúl
On the NP-Completeness of Computing the Commonality
Among the Objects Upon Which a Collection of Agents Has Performed an Action
.
Comp. y Sist.
, Dec 2013, vol.17, no.4, p.489-500. ISSN 1405-5546
·
resumo em inglês
|
espanhol
·
texto em inglês
5 / 8
seleciona
para imprimir
Monroy, Raúl.
Editorial
.
Comp. y Sist.
, Dec 2012, vol.16, no.4, p.379-381. ISSN 1405-5546
·
texto em inglês
6 / 8
seleciona
para imprimir
Monroy, Raúl and Arroyo Figueroa, Gustavo
Special Issue on Innovative Applications of AI
.
Comp. y Sist.
, Sept 2009, vol.13, no.1, p.3-4. ISSN 1405-5546
·
texto em inglês
7 / 8
seleciona
para imprimir
López Pimentel, Juan Carlos and Monroy, Raúl
Formal Support to Security Protocol Development
:
A Survey
.
Comp. y Sist.
, Sept 2008, vol.12, no.1, p.89-108. ISSN 1405-5546
·
resumo em inglês
|
espanhol
·
texto em inglês
8 / 8
seleciona
para imprimir
Monroy, Raúl, Saab, Rosa and Godínez, Fernando
On Modelling an Immune System
.
Comp. y Sist.
, June 2004, vol.7, no.4, p.249-259. ISSN 1405-5546
·
resumo em inglês
|
espanhol
·
texto em inglês
página 1 de 1
Refinar a pesquisa
Base de dados :
article
Formulário avançado
Pesquisar por :
Formulário livre
Formulário básico
Pesquisar
no campo
1
Todos os índices
Palavras do título
Autor
Assunto
Resumo
Ano de publicação
2
and
or
and not
Todos os índices
Palavras do título
Autor
Assunto
Resumo
Ano de publicação
3
and
or
and not
Todos os índices
Palavras do título
Autor
Assunto
Resumo
Ano de publicação
Search engine:
iAH
powered by
WWWISIS
BIREME/OPAS/OMS - Centro Latino-Americano e do Caribe de Informação em Ciências da Saúde