Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Cengage Learning 2011, c2007Localização: EACH - Esc. Artes, Ciências e Humanidades (004.0151 S618i 2011 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Thomson Learning c2007Localização: EACH - Esc. Artes, Ciências e Humanidades (004.0151 S618i e.7 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Cengage Learning 2022Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (681.3.06 S618i 34839 ) e outros locais(Acessar) |
4 |
Material Type: Tese de Doutorado
|
![]() |
Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomialEmmanuel Felix Lopes da Silva Ruy José Guerra Barretto de Queiroz; Ricardo Bianconi2008Localização: IME - Inst. Matemática e Estatística (QA810.T S586c )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Matemática discretaLászló Lovász 1948- József Pelikán; Katalin Vesztergombi; Ruy José Guerra Barretto de QueirozRio de Janeiro SBM 2013Localização: IME - Inst. Matemática e Estatística (QA830 L896dP 2.ed. e.5 )(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
Polynomial space computable arithmeticEmmanuel Felix Lopes da Silva Ricardo Bianconi; Ruy José Guerra Barretto de Queiroz; Latin American Symposium on Mathematical Logic - SLALM (14. 2008 Paraty, Brasil)Bulletin of Symbolic Logic New York v. 14, n. 3, p. 361, 2009New York Cambridge University Press 2009Localização: IME - Inst. Matemática e Estatística (PROD-2974680 )(Acessar) |
7 |
Material Type: Artigo
|
![]() |
Exergy model of the human heartMady, Carlos Eduardo Keutenedjian, 1984- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De CampinasMADY, Carlos Eduardo Keutenedjian. Exergy model of the human heart. Energy. London : Elsevier, 2016.. Vol. 117 (Dec., 2016), p. 612-619. Disponível em: https://hdl.handle.net/20.500.12733/1653771. Acesso em: 14 jun. 2024.2016Acesso online |
8 |
Material Type: Artigo
|
![]() |
INSIDERS: ANÁLISE E POSSIBILIDADES DE MITIGAÇÃO DE AMEAÇAS INTERNAS/INSIDERS: ANALYSIS AND POSSIBILITIES OF INTERNAL THREATS RISK MITIGATIONAlencar, Gliner Dias ; Queiroz, Anderson Apolonio Lira ; de Queiroz, Ruy José Guerra BarrettoRevista eletrônica de sistemas de informação, 2013-09, Vol.12 (3), p.1 [Periódico revisado por pares]Campo Largo: Faculdade Cenecista de Campo Largo - FACECLATexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
UTILIZANDO CAPTCHAS PARA GARANTIR A SEGURANÇA CONTRA FRAUDES NO MARKETING DIGITAL / UTILIZING CAPTCHA TO GUARANTEE SECURITY AGAINST FRAUD IN DIGITAL MARKETINGCosta, Rodrigo Alves ; Queiroz, Ruy José Guerra Barretto deBrazilian Journal of Development, 2021, Vol.7 (3), p.22631-22642Sem texto completo |
10 |
Material Type: Artigo
|
![]() |
INSIDERS: ANÁLISE E POSSIBILIDADES DE MITIGAÇÃO DE AMEAÇAS INTERNASAlencar, Gliner Dias ; Queiroz, Anderson Apolonio Lira ; Queiroz, Ruy José Guerra Barretto deRevista eletrônica de sistemas de informação, 2013-12, Vol.12 (3) [Periódico revisado por pares]Texto completo disponível |