Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Automatic Design of Decision-Tree Induction AlgorithmsRodrigo C. Barros André C. P. L. F de Carvalho; Alex A FreitasSpringer International Publishing 2015Acesso online. A biblioteca também possui exemplares impressos. |
2 |
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) |
3 |
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) |
4 |
Material Type: Livro
|
![]() |
Testing software and systemsAlexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado; IFIP WG 6.1 International Conference - ICTSS (22. 2010 Natal)ProceedingsBerlin Springer 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2132657 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Service-Oriented Computing ICSOC 2010 international workshops, PAASC, WESOA, SEE, and SOC-LOG : revised selected papersICSOC (8. 2010 San Francisco, CA) E. Michael Maximilien; Gustavo Rossi; Soe-Tsyr Yuan; Heiko Ludwig; Marcelo FantinatoBerlin Springer 2011Localização: EACH - Esc. Artes, Ciências e Humanidades (004.678 I17s 2010 pp )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Service-Oriented Computing 8th International Conference, ICSOC 2010 : proceedingsICSOC (8. 2010 San Francisco, CA) E. Michael Maximilien; Gustavo Rossi; Soe-Tsyr Yuan; Heiko Ludwig; Marcelo FantinatoBerlin Springer 2010Localização: EACH - Esc. Artes, Ciências e Humanidades (004.678 I17s 2010 proc )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Data mining in large sets of complex dataRobson Leonardo Ferreira Cordeiro Christos Faloutsos; Caetano Traina JuniorLondon Springer 2013Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2332143 )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Advances in bioinformatics and computational biologyCarlos Eduardo Ferreira Satoru Miyano; Peter F Stadler; Brazilian Symposium on Bioinformatics- BSB (5. 2010 Rio de Janeiro)Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-2172990 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Collaboration and Technology 19th International Conference, CRIWG 2013, Wellington, New Zealand, October 30 – November 1, 2013, ProceedingsPedro Antunes Marco Aurélio Gerosa; Allan Sylvester; Julita Vassileva; Gert-Jan de Vreede; International Conference on Collaboration and Technology - CRIWG (19. 2013 Wellington, New Zealand)New York Springer 2013Localização: IME - Inst. Matemática e Estatística (PROD-2849118 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Entertainment Computing – ICEC 2013 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. ProceedingsJunia Coutinho Anacleto Esteban W. G Clua; Flávio Soares Corrêa da Silva; Sidney Fels; Hyun S Yang; International Conference on Entertainment Computing (12. 2013 São Paulo)New York Springer 2013Localização: IME - Inst. Matemática e Estatística (PROD-2849083 )(Acessar) |