Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Conference Paper
|
![]() |
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 2023Available at IME - Inst. Matemática e Estatística (PROD-3167619 )(GetIt) |
2 |
Material Type: Article
|
![]() |
Caption caption analysis with proposed terms, image of objects, and natural language processingLeonardo A. Ferreira Douglas De Rizzo Meneghetti; Marcos Lopes; Paulo E SantosSN Computer Science Singapura v. 3, n. 5, 390 [p. 1-16], set. 2022Singapura 2022Available at FFLCH - Fac. Fil. Let. e Ciências Humanas (Disponível apenas online )(GetIt) |
3 |
Material Type: Conference Paper
|
![]() |
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 2022Online access. The library also has physical copies. |
4 |
Material Type: Article
|
![]() |
Considerations about the efficiency and sufficiency of the utilization of the Scrum methodology A survey for analyzing results for development teamsMarcelo Morandini Thiago Adriano Coleti; Edson Oliveira Junior; Pedro Luiz Pizzigatti Corrêa 1965-Computer Science Review Amsterdam v. 39, p. 01-13, art. 100314, feb. 2021Amsterdam 2021Check holdings(GetIt) |
5 |
Material Type: Article
|
![]() |
Problem-based learning (PBL) e interdisciplinaridade no ensino-aprendizagem de engenharia de softwareCórdova, Paulo Roberto ; Baade, Joel Haroldo ; Adelcio Machado dos SantosRevista Ibero-Americana de Estudos em Educação, 2020-10, Vol.15 (4), p.2078 [Peer Reviewed Journal]Araraquara: Universidade Estadual Paulista - UNESP AraraquaraFull text available |
6 |
Material Type: Book
|
![]() |
Services -- SERVICES 2020 16th World Congress, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, ProceedingsJoão Eduardo Ferreira Siva Kantamneni; Balaji Palanisamy; Kejiang Ye; Liang Jie Zhang; World Congress on Services - SERVICES (16. 2020 Honolulu, HI, USA)Cham Springer 2020Available at IME - Inst. Matemática e Estatística (PROD-3013896 )(GetIt) |
7 |
Material Type: Conference Paper
|
![]() |
Ref-CAMLA a reference architecture for context aware mobile learning applicationsBimal Aklesh Kumar Bibhya Sharma; Elisa Yumi Nakagawa; IEEE Asia-Pacific Conference on Computer Science and Data Engineering - CSDE (2020 Gold Coast)Proceedings Piscataway, 2020Piscataway IEEE 2020Available at ICMC - Inst. Ciên. Mat. Computação (PROD-3033887 )(GetIt) |
8 |
Material Type: Article
|
![]() |
Intelligent retrieval and classification in three-dimensional biomedical images a systematic mappingLeila Cristina Carneiro Bergamasco Fátima de Lourdes dos Santos Nunes MarquesComputer Science Review Amsterdam v. 31, p. 19-38, Feb. 2019Amsterdam 2019Check holdings(GetIt) |
9 |
Material Type: Conference Paper
|
![]() |
Inferring FSM models of systems without resetRoland Groz Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat; International Dagstuhl Seminar 16172 (2016 Dagstuhl Castle, Germany)Lecture Notes in Computer Science Cham : Springer v. 11026, p. 178-201, 2019Cham Springer 2019Available at ICMC - Inst. Ciên. Mat. Computação (PROD-2956170 )(GetIt) |
10 |
Material Type: Master's Thesis
|
![]() |
Contribuições ao ensino de teste de software com o modelo flipped classroom e um agente conversacionalPaschoal, Leo NatanBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2019-03-20Online access. The library also has physical copies. |