Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
2 |
Material Type: Artigo
|
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 2022Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (Disponível apenas online )(Acessar) |
|
3 |
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. |
|
4 |
Material Type: Artigo
|
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 2021Item não circula. Consulte sua biblioteca.(Acessar) |
|
5 |
Material Type: Livro
|
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 2020Localização: IME - Inst. Matemática e Estatística (PROD-3013896 )(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
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 2020Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3033887 )(Acessar) |
|
7 |
Material Type: Ata de Congresso
|
Most common errors in software modeling using UMLChourio, Patricia ; Azevedo, Romualdo ; Castro, Alberto ; Gadelha, BrunoProceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019, p.244-253New York, NY, USA: ACMTexto completo disponível |
|
8 |
Material Type: Artigo
|
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 2019Item não circula. Consulte sua biblioteca.(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
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 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2956170 )(Acessar) |
|
10 |
Material Type: Dissertação de Mestrado
|
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-20Acesso online. A biblioteca também possui exemplares impressos. |