Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
This volume contains the papers presented at SBMF 2010... [Prefácio]Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)Proceedings Heidelberg : SpringerHeidelberg Springer 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2220867 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Formal methods foundations and applicationsJim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)Proceedings Heidelberg : SpringerHeidelberg Springer 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2213638 ) e outros locais(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
Dosagem de microconcretos e concretos de elevado desempenho - estudo de casoM V C Agnesini L. F Silva; International Congress on High-Performance Concrete, and Performance and Quality of Concrete Structures (1996 Florianopolis)FlorianopÓlis : UFSC, 1996 ProceedingsFlorianopolis Ufsc 1996Localização: EESC - Esc. Engenharia de São Carlos (PROD-000024 )(Acessar) |
4 |
Material Type: Artigo de Congresso
|
![]() |
An efficient filling algorithm for non-simple closed curves using the point containment paradigmAntonio Elias Fabris Luciano Silva; A. Robin Forrest; Brazilian Symposium on Computer Graphics and Image Processing (10. 1997 Campos do Jordão)Proceedings Piscataway :4 IEEE, 1997Piscataway IEEE 1997Localização: IME - Inst. Matemática e Estatística (PROD-977747 ) e outros locais(Acessar) |
5 |
Material Type: Artigo de Congresso
|
![]() |
Measuring sugar losses in Brazilian millsHenrique Vianna de Amorim Luiz Fernando Silva; Claudemir Bernardino; Alexandre Godoy; Antônio J Oliveira; Luiz Carlos Basso 1944-; Mário L Lopes; Conference on Sugar Processing Research (2004 Atlanta, Georgia)Proceedings News Orleans: SPRI, 2004 P. 341-348New Orleans 2004Localização: ESALQ - Biblioteca Central (PI 1588652 ) e outros locais(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
Stroking discrete polynomial Bezier curves via point containment paradigmAntonio Elias Fabris Luciano Silva; A. Robin Forrest; International Symposium on Computer Graphics, Image Processing, and Vision - SIBGRAPI (1998 Rio de Janeiro)Proceedings Piscataway : IEEE, 1998Piscataway IEEE 1998Localização: IME - Inst. Matemática e Estatística (PROD-3076756 )(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
An exploratory study of fault-proneness in evolving aspect-oriented programsFabiano Cutigi Ferrari Rachel Burrows; Otávio Augusto Lazzarini Lemos; Alessandro Fabricio Garcia; Eduardo Figueiredo; Nelio Cacho; Frederico Lopes; Nathalia Temudo; Liana Silva; Sérgio Soares; Awais Rashid; Paulo Cesar Masiero; Thais Vasconcelos Batista; José Carlos Maldonado; International Conference on Software Engineering - ACM/IEEE (32. 2010 Cape Town)Proceedings New York : ACM, 2010New York ACM 2010Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Artigo de Congresso
|
![]() |
Tensile behavior of pultruded composite rods exposed to different environmental conditionsL V Silva F. W Silva; F. F Luz; José Ricardo Tarpani; S. C Amico; European Conference on Composite Materials - ECCM16 (16. : 2014 : Seville, Spain)Proceedings Patras : European Society for Composite Materials - ESCM, 2014Patras European Society for Composite Materials - ESCM 2014Localização: EESC - Esc. Engenharia de São Carlos (PROD-022908 )(Acessar) |
9 |
Material Type: Artigo de Congresso
|
![]() |
Impact of teaching approaches to computational thinking on high school students a systematic mappingLaíza Ribeiro Silva Alan Pedro da Silva; Armando Toda (Armando Maciel Toda); Seiji Isotani; IEEE International Conference on Advanced Learning Technologies - ICALT (18. 2018 Mumbai, India)Proceedings Los Alamitos, CA : IEEE, 2018Los Alamitos, CA IEEE 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2912523 )(Acessar) |
10 |
Material Type: Artigo de Congresso
|
![]() |
Difficulties in basic concepts of mathematics in higher education a systematic reviewPriscila da Silva Neves Lima Laira das Almas Silva; Igor Moreira Felix; Leonidas de Oliveira Brandao; Frontiers in Education Conference - FIE (49. 2019 Covington, KY, USA)Proceedings Piscataway : IEEE, 2019Piscataway IEEE 2019Localização: IME - Inst. Matemática e Estatística (PROD-3000343 )(Acessar) |