Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Princípios de linguagens de programaçãoAna Cristina Vieira de Melo Flávio Soares Corrêa da SilvaSão Paulo Edgard Blucher 2003Localização: IME - Inst. Matemática e Estatística (QA724 M528p ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Lógica para computaçãoFlávio Soares Corrêa da Silva Marcelo Finger; Ana Cristina Vieira de MeloSão Paulo Cengage Learning 2010 [2006Localização: IME - Inst. Matemática e Estatística (QA816 S586L 2010 e.12 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Introdução à computação para administradoresFlávio Soares Corrêa da Silva Marcelo FingerRio de Janeiro Elsevier/Campus c2010Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (004 S586i e.6 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Fundamentos de Python primeiros programas. [Revisão Técnica]Flávio Soares Corrêa da SilvaSão Paulo Cengage Learning 2023Localização: IME - Inst. Matemática e Estatística (QA762 L222fP e.3 )(Acessar) |
5 |
Material Type: Artigo de Congresso
|
![]() |
LS2C - a platform for norm controlled social computersFlávio Soares Corrêa da Silva David S Robertson; Wamberto Weber Miranda Peixoto de Vasconcelos; International Conference on Agents and Artificial Intelligence - ICAART (7. 2015 Lisbon)Agents and Artificial Intelligence: 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers Cham: Springer, 2015Cham Springer 2015Localização: IME - Inst. Matemática e Estatística (PROD-2742367 )(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
LS2C a platform to design, implement and execute social computationsFlávio Soares Corrêa da Silva David S Robertson; Wamberto Weber Miranda Peixoto de Vasconcelos; International Conference on Agents and Artificial Intelligence - ICAART (7.h 2015 Lisbon)Proceedings Setúbal: SciTePress, 2015Setúbal SciTePress 2015Localização: IME - Inst. Matemática e Estatística (PROD-2728532 )(Acessar) |
7 |
Material Type: Dissertação de Mestrado
|
![]() |
Logica das estruturas de features e suas aplicacoesWassermann, RenataBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1995-06-30Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Dissertação de Mestrado
|
![]() |
Equivalência entre a semântica da lógica de transações e a semântica de sua implementação PROLOGPaulo Eduardo Santos Silva, Flávio Soares Corrêa da1997Localização: EPBC - Esc. Politécnica-Bib Central (FD-2085 ) e outros locais(Acessar) |