Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Áudio
|
11th IFAC Workshop on Intelligent Manufacturing Systems (IMS 2013), 22-24 May 2013, São Paulo, Brazil org. by Sociedade Brasileira de Automática e Escola Politécnica da USPIFAC Workshop on Intelligent Manufacturing Systems (11. 2013 São Paulo) International Federation of Automatic Control; Sociedade Brasileira de Automatica; Universidade de São Paulo Escola PolitécnicaSão Paulo SBA/EPUSP 2013Localização: EPBC - Esc. Politécnica-Bib Central (CD 65.011.56 If1i 11. )(Acessar) |
|
2 |
Material Type: Livro
|
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília... [Prefácio]Clare Dixon Marcelo FingerDixon, Clare; Finger, Marcelo (Ed.) Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings Cham: Springer International Publishing, 2017Cham Springer International Publishing 2017Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
The 1996 IEEE International Conference on Neural Networks, June 3-6, 1996, Sheraton Washington Hotel, Washington, D.C., USAIEEE International Conference on Neural Networks (1996 Washington, D.C.) IEEE Neural Networks Council; Institute of Electrical and Electronics EngineersNew York Institute of Electrical and Electronics Engineers Piscataway, N.J. May be ordered from IEEE Service Center c1996Localização: EPBC - Esc. Politécnica-Bib Central (004.8 Ie2n 1996 v.4 )(Acessar) |
|
4 |
Material Type: Livro
|
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980Conference on Automated Deduction (5th 1980 Les Arcs, Savoie, France) W Bibel 1938-; Robert KowalskiBerlin Springer-Verlag New York 1980Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 LNCS v.87 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982Conference on Automated Deduction (6th 1982 New York, N.Y.) Donald W LovelandBerlin Springer-Verlag New York 1982Localização: IME - Inst. Matemática e Estatística (S L471c v.138 )(Acessar) |
|
6 |
Material Type: Livro
|
Abstraction, reformulation, and approximation 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedingsSARA 2002 (2002 Kananaskis, Alta.) Sven Koenig 1964-; Robert C HolteBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2371 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedingsSARA 2005 (6th 2005 Airth, Scotland) Jean-Daniel Zucker; L Saitta (Lorenza) 1944Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Abstraction, reformulation, and approximation 7th international symposium, SARA 2007, Whistler, Canada, July 18-21 2007 ; proceedingsSARA 2007 (2007 Whistler, Canada) Ian Miguel; Wheeler RumlBerlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4612 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 proceedingsAda Software Tools Interfaces Workshop (1983 Bath, England) Peter J. L WallisBerlin Springer-Verlag New York 1984Localização: IME - Inst. Matemática e Estatística (S L471c v.180 )(Acessar) |
|
10 |
Material Type: Livro
|
Adaptive agents and multi-agent systems III adaptation and multi-agent learning ; 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems : revised selected papersALAMAS 2005 (2005 Paris, France) Karl Tuyls; Ann Nowe; Zahia Guessoum; Daniel Kudenko 1968-; ALAMAS 2006 (2006 Brussels, Belgium); ALAMAS 2007 (2007 Maastricht, Netherlands)Berlin Springer New York 2008Localização: IME - Inst. Matemática e Estatística (S L471a v.4865 )(Acessar) |