skip to main content
Refinado por: autor: Finkel, A remover assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
STACS 92 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 92 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings

Symposium on Theoretical Aspects of Computer Science (9th 1992 Cachan, France) A Finkel; Matthias Jantzen 1948-

Berlin New York Springer-Verlag c1992

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

2
STACS 93 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 93 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedings

Symposium on Theoretical Aspects of Computer Science (10th 1993 Würzburg, Germany) P Enjalbert (Patrice); A Finkel; K. W Wagner (Klaus W.)

Berlin New York Springer-Verlag c1993

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

3
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

CAV (Conference) (13th 2001 Paris) Hubert Comon; Gérard Berry 1948-; A Finkel

Berlin Springer 2001

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.