lista alfabética de periódicoslista por assuntopesquisa de títulos índice de autoresíndice de assuntos
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


   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


   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


   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


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  
2
3
 
           



Search engine: iAH powered by WWWISIS

BIREME/OPAS/OMS - Centro Latino-Americano e do Caribe de Informação em Ciências da Saúde