skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Compiler construction 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings
Compiler construction 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Compiler construction 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings

CC 2007 (16th 2007 Braga, Portugal) Shriram Krishnamurthi; Martin Odersky; ETAPS 2007 (2007 Braga, Portugal)

Berlin Springer New York c2007

Localização: EPBC - Esc. Politécnica-Bib Central    (004.272 C319c 16. ) e outros locais(Acessar)

2
Developments in language theory 11th international conference, DLT 2007, Turku, Finland, July 2007 proceedings
Developments in language theory 11th international conference, DLT 2007, Turku, Finland, July 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Developments in language theory 11th international conference, DLT 2007, Turku, Finland, July 2007 proceedings

Conference on Developments in Language Theory (11th 2007 Turku, Finland.) Tero Harju; Juhani Karhum aki; Arto Lepist o

Berlin Springer c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4588 )(Acessar)

3
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings

International Conference on Rewriting Techniques and Applications (18th 2007 Paris, France) Franz Baader

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4533 )(Acessar)

4
Developments in language theory 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006 : proceedings
Developments in language theory 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Developments in language theory 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006 : proceedings

Conference on Developments in Language Theory (10th 2006 Santa Barbara, Calif.) Oscar H Ibarra; Zhe Dang 1967

Berlin Springer New York c2006

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

5
Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings

LPAR 2006 (2006 Phnom Penh, Cambodia) Miki Hermann 1958-; A Voronkov 1959- (Andreæi)

Berlin Springer New York c2006

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

6
Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings
Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings

International Conference on Rewriting Techniques and Applications (17th 2006 Seattle, Wash.) Frank Pfenning

Berlin Springer New York 2006

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

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

8
Developments in language theory 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 proceedings
Developments in language theory 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Developments in language theory 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 proceedings

Conference on Developments in Language Theory (9th 2005 Palermo, Italy) Clelia De Felice; Antonio Restivo

Berlin Springer New York c2005

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

9
Proceedings of the SBMF 2005 Brazilian Symposium on Formal Methods, Instituto de Informática - UFRGS, Porto Alegre, Brazil, November 28-30, 2005
Proceedings of the SBMF 2005 Brazilian Symposium on Formal Methods, Instituto de Informática - UFRGS, Porto Alegre, Brazil, November 28-30, 2005
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the SBMF 2005 Brazilian Symposium on Formal Methods, Instituto de Informática - UFRGS, Porto Alegre, Brazil, November 28-30, 2005

Brazilian Symposium on Formal Methods (November, 28th-30th Porto Alegre, Brazil) Augusto Sampaio; Álvaro Freitas Moreira; Leila Ribeiro; Sociedade Brasileira de Computação.; Sociedade Brasileira de Computação

Porto Alegre SBC 2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 B826pm 2005 e.1 )(Acessar)

10
Groups, languages, algorithms AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland
Groups, languages, algorithms AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland
Material Type:
Livro 		Adicionar ao Meu Espaço

Groups, languages, algorithms AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland

AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science (2003 Baltimore, Md.) Alexandre Borovik

Providence, R.I American Mathematical Society c2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 CM v.378 ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (7)
  2. Disponível na Biblioteca (42)

Data de Publicação 

De até
Refinar
  1. Antes de1982  (5)
  2. 1982Até1989  (5)
  3. 1990Até1993  (7)
  4. 1994Até2002  (11)
  5. Após 2002  (17)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (41)
  2. Francês  (2)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.