1
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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)
|