Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
International Symposium on Computer Graphics, Image Processing, and Vision- SIBGRAPI´98Luciano da Fontoura Costa Gilberto CamaraLos Alamitos IEEE Computer Science 1998Localização: IFSC - Inst. Física de São Carlos (P006.6 I61 ) e outros locais(Acessar) |
|
2 |
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. |
|
3 |
Material Type: Livro
|
An improved electric impedance tomography dedicated to agriculture applicationsLadislau Marcelino Rabello Paulo Estevão Crunivel; Ruy Alberto Corrêa AltafimMastorakis, Nikos E (*), ed Athens : World Scientific Engineering Society, 1999 Advances in intelligent system and computer scienceAthens World Scientific Engineering Society 1999Item não circula. Consulte sua biblioteca.(Acessar) |
|
4 |
Material Type: Livro
|
Chusaurus a writing tool resource for non-native users of englishOsvaldo Novais de Oliveira Junior Sandra Maria Aluísio; N M FontanaBaeza-Yates, R (*); Manber, U (*), Eds New York : Plenum Press, 1992 Proceedings of the international conference of the chilean computer science society, 11, october 15-18, santiago Computer Science: Research and Applicat ionsNew York Plenum Press 1992Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-836952 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
LATIN '92 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedingsImre Simon 1943-2009Berlin New York Springer-Verlag 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.583 e.1 ) e outros locais(Acessar) |
|
6 |
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) |
|
7 |
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) |
|
8 |
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) |
|
9 |
Material Type: Livro
|
Reconfigurable computing platforms have been... [Preface]Pedro C Diniz Eduardo Marques; Koen Bertels; Márcio M Fernandes; João M. P Cardoso; International Workshop, ARC 2007 (3. 2007 Mangaratiba)Berlin 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1587503 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Reconfigurable computing architectures, tools and applicationsPedro C Diniz Eduardo Marques; Koen Bertels; Marcio Merino Fernandes; João M. P Cardoso; International Workshop, ARC 2007 (3. 2007 Mangaratiba)ProceedingsBerlin Springer-Verlag 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1582502 ) e outros locais(Acessar) |