Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papersInternational Seminar on Relational Methods in Computer Science (7th 2003 Bad Malente, Germany) R Berghammer (Rudolf) 1952-; Bernhard Möller 1953-; Georg Struth; International Workshop on Applications of Kleene Algebra (2nd 2003 Bad Malente, Germany)Berlin Springer London c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papersIvo D untsch; Wendy MacCaull; Michael Winter; International Seminar on Relational Methods in Computer Science (8 : 2005.02 : St. Catharines); International Workshop on Applications of Kleene Algebra (3 : 2005.02 : St. Catharines); Workshop of COST Action 274 TARSKI (2005.02.22-26 : St. Catharines)Berlin u.a. Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3929 ) e outros locais(Acessar) |
|
3 |
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) |
|
4 |
Material Type: Livro
|
Metainformatics international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 revised papersMIS 2003 (2003 Graz, Austria) David L HicksBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Unconventional computation 5th international conference, UC 2006, York, UK, September 4-8, 2006 proceedingsUC 2006 (5th 2006 York, England) Cristian Calude 1952; Michael J Dinneen; Gheorghe Paun; Grzegorz Rozenberg; Susan StepneyBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Unconventional computation 4th international conference, UC 2005, Sevilla, Spain, October 3-7, 2005 proceedingsUC 2005 (2005 Seville, Spain) (4th Michael J Dinneen; Gheorghe Paun; Mario J Pérez-Jiménez; Grzegorz Rozenberg; Cristian Calude 1952Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
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) |
|
8 |
Material Type: Livro
|
Regulated agent-based social systems first international workshop, RASTA 2002, Bologna, Italy, July 16, 2002 revised selected and invited papersRASTA 2002 (2002 Bologna, Italy) Gabriela Lindemann; Daniel Moldt; Mario Paolucci; International Joint Conference on Autonomous Agents and Multiagent Systems (1st 2002 Bologna, Italy)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
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) |
|
10 |
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. |