skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Computer Science remover assunto: Lógica Matemática (Congressos) remover Inteligência Artificial (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool UK, September 10-12, 2007 : proceedings
Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool UK, September 10-12, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool UK, September 10-12, 2007 : proceedings

FroCoS 2007 (2007 Liverpool, England) Boris Konev; Frank Wolter

Berlin Springer New York c2007

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

2
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
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.

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.