skip to main content
Resultados 1 2 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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 papers
Material Type:
Livro
Adicionar ao Meu Espaço

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 papers

International 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 c2004

Acesso online. A biblioteca também possui exemplares impressos.

2
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 papers
Material Type:
Livro
Adicionar ao Meu Espaço

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 papers

Ivo 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 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3929 ) e outros locais(Acessar)

3
Theory and applications of relational structures as knowledge instruments II international workshops of COST Action 274, TARSKI 2002-2005 : selected revised papers
Material Type:
Livro
Adicionar ao Meu Espaço

Theory and applications of relational structures as knowledge instruments II international workshops of COST Action 274, TARSKI 2002-2005 : selected revised papers

H. C. M. de Swart; European Cooperation in the Field of Scientific and Technical Research (Organization) COST Action 274 TARSKI (Project)

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.4342 ) e outros locais(Acessar)

4
Metainformatics international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 revised papers
Material Type:
Livro
Adicionar ao Meu Espaço

Metainformatics international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 revised papers

MIS 2003 (2003 Graz, Austria) David L Hicks

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

5
Unconventional computation 5th international conference, UC 2006, York, UK, September 4-8, 2006 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Unconventional computation 5th international conference, UC 2006, York, UK, September 4-8, 2006 proceedings

UC 2006 (5th 2006 York, England) Cristian Calude 1952; Michael J Dinneen; Gheorghe Paun; Grzegorz Rozenberg; Susan Stepney

Berlin Springer New York c2006

Acesso online. A biblioteca também possui exemplares impressos.

6
Unconventional computation 4th international conference, UC 2005, Sevilla, Spain, October 3-7, 2005 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Unconventional computation 4th international conference, UC 2005, Sevilla, Spain, October 3-7, 2005 proceedings

UC 2005 (2005 Seville, Spain) (4th Michael J Dinneen; Gheorghe Paun; Mario J Pérez-Jiménez; Grzegorz Rozenberg; Cristian Calude 1952

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

7
Unconventional computation 6th international conference, UC 2007, Kingston Canada, August 13-17, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Unconventional computation 6th international conference, UC 2007, Kingston Canada, August 13-17, 2007 : proceedings

UC 2007 (2007 Kingston, Ont.) M. J Dinneen 1957-; Grzegorz Rozenberg; H. Todd Wareham; Cristian Calude 1952-; Selim G Akl

Berlin Springer New York 2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4618 ) e outros locais(Acessar)

8
Regulated agent-based social systems first international workshop, RASTA 2002, Bologna, Italy, July 16, 2002 revised selected and invited papers
Material Type:
Livro
Adicionar ao Meu Espaço

Regulated agent-based social systems first international workshop, RASTA 2002, Bologna, Italy, July 16, 2002 revised selected and invited papers

RASTA 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 c2004

Acesso online. A biblioteca também possui exemplares impressos.

9
Abstraction, reformulation, and approximation 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstraction, reformulation, and approximation 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings

SARA 2002 (2002 Kananaskis, Alta.) Sven Koenig 1964-; Robert C Holte

Berlin Springer New York c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2371 ) e outros locais(Acessar)

10
Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedings

SARA 2005 (6th 2005 Airth, Scotland) Jean-Daniel Zucker; L Saitta (Lorenza) 1944

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (10)

Data de Publicação 

De até
  1. Antes de2004  (1)
  2. 2004Até2004  (4)
  3. 2005Até2005  (5)
  4. 2006Até2007  (7)
  5. Após 2007  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.