Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Detection of intrusions and malware, and vulnerability assessment 4th international conference, DIMVA 2007, Lucerne, Switzerland, July 12-13, 2007 : proceedingsDIMVA 2007 (2007 Lucerne, Switzerland) Bernhard M H ammerli; Robin SommerBerlin Springer New York c2006Localização: IME - Inst. Matemática e Estatística (S L471c v.4579 )(Acessar) |
|
2 |
Material Type: Livro
|
Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedingsFrank Pfenning; CADE (21 : 2007.07.17-20 : Bremen); International Conference on Automated Deduction (21 : 2007.07.17-20 : Bremen)Berlin u.a. : Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4603 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Pervasive computing 4th international conference, PERVASIVE 2006, Dublin, Ireland, May 7-10 2006 : proceedingsPervasive 2006 (2006 Dublin, Ireland) Bernt Schiele 1968-; Paddy Nixon; Aaron Quigley; Kenneth P FishkinBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Integer programming and combinatorial optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005 proceedingsConference on Integer Programming and Combinatorial Optimization (11th 2005 Berlin, Germany) M J unger (Michael); Volker KaibelBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Advances in hybrid information technology first international conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006 : revised selected papersICHIT 2006 (2006 Cheju Island, Korea) Marcin S Szczuka; Daniel Howard; Haeng-kon Kim; Tai-hoon Kim; Il-seok Ko; Geuk Lee; Peter M. A SlootBerlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471a v.4413 )(Acessar) |
|
6 |
Material Type: Livro
|
Toward category-level object recognitionMartial Hebert; Cordelia Schmid; Andrew Zisserman; Jean PonceBerlin Springer New York c2006Localização: IME - Inst. Matemática e Estatística (S L471c v.4170 )(Acessar) |
|
7 |
Material Type: Livro
|
Integer programming and combinatorial optimization 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004 proceedingsConference on Integer Programming and Combinatorial Optimization (10th 2004 New York, N.Y.) Daniel Bienstock; George L Nemhauser (George Lann), 1937-Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Statistical parametric mapping: the analysis of functional brain imagesPenny, William D ; Friston, Karl J ; Ashburner, John T ; Kiebel, Stefan J ; Nichols, Thomas EAcademic Press 2011Texto completo disponível |
|
9 |
Material Type: Livro
|
|
|
10 |
Material Type: Livro
|
Principles of Data IntegrationDoan, AnHai ; Halevy, Alon ; Ives, ZacharySan Diego: Elsevier Science & Technology 2012Texto completo disponível |