1
|
Material Type: Livro
|
|
Rewriting techniques and applications 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark) Sophie Tison
Berlin Springer New York c2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2378 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
STACS 99
Annual Symposium on Theoretical Aspects of Computer Science, STACS, 16 1999 Trier Christoph Meinel; Sophie Tison
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1999
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1563 )(Acessar)
|
3
|
Material Type: Livro
|
|
Stacs 2000
Annual Symposium on Theoretical Aspects of Computer Science, 17 2000 Lille Horst Reichel; Sophie Tison
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c2000
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1770 )(Acessar)
|
4
|
Material Type: Livro
|
|
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France) Horst Reichel; Sophie Tison
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1770 e.1 )(Acessar)
|
5
|
Material Type: Livro
|
|
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
Symposium on Theoretical Aspects of Computer Science (16th 1999 Trier, Germany) Christoph Meinel 1954-; Sophie Tison
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1563 )(Acessar)
|
6
|
Material Type: Livro
|
|
Trees in algebra and programming - caap'94 proceedings
Colloquium on Trees in Algebra and Pogramming (19. 1994 Edinburgh) Sophie Tison; European Symposium on Programming (5. 1994 Edinburgh)
Berlin Springer 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.787 ) e outros locais(Acessar)
|