Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Theory and applications of relational structures as knowledge instruments II international workshops of COST Action 274, TARSKI 2002-2005 : selected revised papersH. C. M. de Swart; European Cooperation in the Field of Scientific and Technical Research (Organization) COST Action 274 TARSKI (Project)Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4342 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Ubiquitous intelligence and computing 5th international conference, UIC 2008, Oslo, Norway June 23-25, 2008 ; proceedingsUIC 2008 (2008 Oslo, Norway) Yan Zhang; Chunming Rong; Laurence T Yang; Jianhua Ma; Frode Eika SandnesBerlin Springer 2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.5061 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Entertainment computing - ICEC 2007 6th international conference, Shanghai, China September 15-17, 2007 ; proceedingsICEC 2007 (2007 Shanghai, China) Lizhuang Ma; Matthias Rauterberg; Ryohei Nakatsu; SpringerLink (Online service)Berlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4740 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Unconventional computation 6th international conference, UC 2007, Kingston Canada, August 13-17, 2007 : proceedingsUC 2007 (2007 Kingston, Ont.) M. J Dinneen 1957-; Grzegorz Rozenberg; H. Todd Wareham; Cristian Calude 1952-; Selim G AklBerlin Springer New York 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4618 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Artificial immune systems 6th international conference, ICARIS 2007, Santos Brazil, August 26-29, 2007 : proceedingsICARIS 2007 (2007 Santos, São Paulo, Brazil) Leandro N De Castro 1974-; Fernando J Von Zuben; Helder KnidelBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4628 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool UK, September 10-12, 2007 : proceedingsFroCoS 2007 (2007 Liverpool, England) Boris Konev; Frank WolterBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4720 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Automated deduction in geometry 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papersInternational Workshop on Automated Deduction in Geometry (4th 2002 Linz, Austria) Franz Winkler 1955Berlin Springer New York c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2930 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Frontiers of combining systems 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedingsFroCoS 2005 (2005 Vienna, Austria) Bernhard GramlichBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |