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
|
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) |
|
3 |
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) |
|
4 |
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. |