Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Ensino de algoritmos, programação e matemática panorama e estudo de caso para estudantes de escolas públicas brasileiraLeonidas de Oliveira Brandão Paulo Viniccius Vieira; Priscila da Silva Neves Lima; Congresso Brasileiro de Informática na Educação - CBIE (8. 2019 Brasília, DF); Simpósio Brasileiro de Informática na Educação - SBIE (30. 2019 Brasília, DF)Anais Porto Alegre : SBC, 2019Porto Alegre SBC 2019Localização: IME - Inst. Matemática e Estatística (PROD-2975461 )(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Pós-processamento de espectros de RPE de substâncias dosimetricas por filtragem da transformada discreta de FourierFábio P. B Vieira Joyce da Silva Bevilacqua; Orlando Rodrigues Junior; International Joint Conference RADIO (2014 Gramado)Anais [S. l.]: SBPR, 2014S. l. SBPR 2014Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Dissertação de Mestrado
|
Validação de padrões de web services transacionaisNunes, Paulo Roberto De Araújo FrançaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2011-06-03Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Artigo
|
PrefaceJosé Nazareno Vieira Gomes Paolo PiccioneMatemática Contemporânea Rio de Janeiro v. 49, Special Issue in honor of Professor Renato de Azevedo Tribuzy on the occasion of his 75th birthday – Part 1, p. 1-3, 2022 ; Matemática Contemporânea Rio de Janeiro v. 50, Special Issue in honor of Professor Renato de Azevedo Tribuzy on the occasion of his 75th birthday – Part 2, p. 1-3, 2022Rio de Janeiro 2022Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Artigo
|
On-the-fly verification of discrete event simulations by means of simulation purposes extended versionPaulo Salem da Silva Ana Cristina Vieira de MeloSimulation London v. 89, n. 8, p. 977-1008, 2013London 2013Localização: IME - Inst. Matemática e Estatística (PROD-3179014 )(Acessar) |
|
6 |
Material Type: Livro
|
Inteligência artificial uma abordagem modernaStuart J. Russell (Stuart Jonathan) 1962- Peter Norvig; Daniel Vieira; Flávio Soares Corrêa da SilvaRio de Janeiro GEN/LTC 2022Emprestado de IME - Inst. Matemática e Estatística (QA860 R967aP 4.ed. e.2 )(Acessar) |
|
7 |
Material Type: Relatório Técnico
|
Relatório de Análise Estatística sobre o Projeto “Validação psicopatológica do conceito de angústia”Pedro Henrique Moreno de Souza Júlia Maria Pavan Soler; Fernando Felipe Paulos Vieira; Francisco Lotufo NetoSão Paulo IME-USP 2022Localização: IME - Inst. Matemática e Estatística (https://repositorio.usp.br/item/003117972 )(Acessar) |
|
8 |
Material Type: Livro
|
C como programarPaul J. Deitel 1945- Harvey M Deitel 1945-; Daniel Vieira; Cesar Augusto Cardoso CaetanoSão Paulo Pearson Education do Brasil 2011Localização: ICMC - Inst. Ciên. Mat. Computação (68N15.10 D325cc.6 e.10 ) e outros locais(Acessar) |
|
9 |
Material Type: Tese de Doutorado
|
Verification of behaviourist multi-agent systems by means of formally guided simulationsPaulo Salem da Silva Ana Cristina Vieira de Melo; Marie-Claude Gaudel2012Localização: IME - Inst. Matemática e Estatística (IME-T QA754.T S586v e.1 )(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
On-the-fly verification of discrete event simulations by means of simulation purposesPaulo Salem da Silva Ana Cristina Vieira de Melo; Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (2011 Boston, Massachusetts)Proceedings San Diego, CA : Society for Computer Simulation International, 2011San Diego, CA Society for Computer Simulation International 2011Acesso online. A biblioteca também possui exemplares impressos. |