Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Iterative minimization of partial finite state machinesAlex D. B Alberto (Alex Donizeti Betez Alberto) Adenilso da Silva SimãoCentral European Journal of Computer Science Varsóvia , Polônia : Versita, co-publicado com a Springer-Verlag GmbH v. 3, n. 2 , p. 91-103, jun 2013Varsóvia , Polônia 2013Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2394641 )(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
An investigation into agile methods in embedded systems developmentCaroline Oliveira Albuquerque Pablo Oliveira Antonino; Elisa Yumi Nakagawa; International Conference on Computational Science and Applications - ICCSA 2012 (12. 2012 Salvador, Bahia)Lecture Notes in Computer Sciences Heidelberg : Springer-Verlag v. 7335, p. 576-591, 20121Heidelberg, Berlin Springer-Verlag 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2295057 )(Acessar) |
|
3 |
Material Type: Dissertação de Mestrado
|
UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTESAnacleto, Junia CoutinhoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1991-03-08Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Artigo de Congresso
|
A model-driven development for creating accessible web menusHumberto Lidio Antonelli Elias Adriano N. da Silva; Renata Pontin de Mattos Fortes; International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Infoexclusion - DSAI (6. 2015 Sankt Augustin)Procedia Computer Science Amsterdam : Elsevier v. 67, p. 95-104, 2015Amsterdam Elsevier 2015Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2730430 )(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Specialization and instantiation aspects of a standard process for developing educational modulesEllen Francine Barbosa José Carlos Maldonado; International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISOLA (3. 2011 Kassandra-Chalkidiki, Grécia)Communications in Computer and Information Science Berlin : Springer-Verlag v. 17, p. 503-518, 2008Heidelberg, Berlin Springer-Verlag 2008Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2218525 ) e outros locais(Acessar) |
|
6 |
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) |
|
7 |
Material Type: Artigo de Congresso
|
The minimum dataset for rare diseases in Brazil a systematic review protocolFilipe Andrade Bernardi Diego Bettiol Yamada; Bibiana Mello de Oliveira; Vinícius Costa Lima; Têmis Maria Félix; Domingos Alves; International Conference on ENTERprise Information Systems - CENTERIS (2021 Braga); International Conference on Project MANagement - ProjMAN (2021 Braga); International Conference on Health and Social Care Information Systems and Technologies - HCist (2021 Braga)Procedia Computer Science Amsterdam v. 196, p. 439-444, 2022Amsterdam 2022Localização: FMRP - Fac. Medicina de Ribeirão Preto (pcd 3126311 Acervo Digital )(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Panorama of the accessibility add-ons use in FirefoxThiago Jabur Bittar Alynne Kathelyn Almeida; Renata Pontin de Mattos Fortes; International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion - DSAI (4. 2012 Douro Region)Procedia Computer Science Amsterdam : Elsevier v. 14, p. 311-318, 2012Amsterdam Elsevier 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2294954 )(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Applying an approach to develop web applications considering accessibility practices using design rationaleThiago Jabur Bittar Leandro Agostini do Amaral; Luanna Lopes Lobato; Renata Pontin de Mattos Fortes; International Conference on Human-Computer Interaction : Posters' Extended Abstracts - HCI International (15. 2013 Las Vegas)Communications in Computer and Information Science Berlin : Springer-Verlag v. 373, p. 206-210, 2013Berlin Springer-Verlag 2013Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2409350 )(Acessar) |
|
10 |
Material Type: Artigo
|
Model partitions and compact test case suitesAdilson Luiz Bonifacio Arnaldo Vieira Moura; Adenilso da Silva SimãoInternational Journal of Foundations of Computer Science Singapore : World Scientific Publishing v. 23, n. 1, p. 147-172, 2012Singapore 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2269956 )(Acessar) |