Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
XP South of the Equator an experience implementing XP in BrazilAlexandre Freire da Silva Fábio Kon 1969-; Cicero Torteli; International Conference on Extreme Programming and Agile Processes in Software Engineering - XP (6. 2005 Sheffield)Proceedings Berlin : Springer, 2005Berlin Springer 2005Localização: IME - Inst. Matemática e Estatística (PROD-1473501 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
On structuring functional programs with monoidal profunctorsAlexandre Garcia de Oliveira Mauro Jaskelioff; Ana Cristina Vieira de Melo; Workshop on Mathematically Structured Functional Programming - MSFP (9. 2022 Munich, Germany)Electronic Proceedings in Theoretical Computer Science Sydney v. 360, p. 134-150, 2022Sydney 2022Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Artigo de Congresso
|
Engagement mechanisms for social machinesFlávio Soares Corrêa da Silva Luiz Carlos Vieira; Stefania Bandini; International Conference on Games and Learning Alliance - GALA (4. 2015 Rome)Proceedings Cham : Springer, 2016Cham Springer 2016Localização: IME - Inst. Matemática e Estatística (PROD-2771938 )(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Diagnostic of programs for programming learning toolsKarina Valdivia Delgado Leliane Nunes de Barros; Ibero-American Conference on Artificial Intelligence - IBERAMIA (10. 2006 Ribeirão Preto, SP); Brazilian Symposium on Artificial Intelligence - SBIA (18. 2006 Ribeirão Preto, SP)Proceedings Berlin : Springer, 2006Berlin Springer 2006Localização: IME - Inst. Matemática e Estatística (PROD-3036282 )(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
A formal model for startups financial transactionsRodrigo Stevaux Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (26. 2023 Manaus, Brasil)Proceedings Cham : Springer, 2023Cham Springer 2023Localização: IME - Inst. Matemática e Estatística (PROD-3167619 )(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
Choosing an appropriate task to start with in open source software communities a hard taskIgor Steinmacher Marco Aurélio Gerosa; International Conference on Collaboration and Technology - CRIWG (20. 2014 Santiago)Collaboration and Technology: 20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014. Proceedings Cham: Springer, 2014Cham Springer 2014Localização: IME - Inst. Matemática e Estatística (PROD-2513493 )(Acessar) |