Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Trees in Algebra and Programming — CAAP'94Tison Sophie TisonSpringer Berlin Heidelberg 1994Acesso online |
|
2 |
Material Type: Livro
|
STACS 2000Symposium on Theoretical Aspects of Computer Science Horst Reichel; Sophie TisonSpringer Berlin Heidelberg 2000Acesso online |
|
3 |
Material Type: Livro
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Sophie TisonSpringer Berlin Heidelberg 2002Acesso online |
|
4 |
Material Type: Livro
|
Rewriting techniques and applications 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedingsInternational Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark) Sophie TisonBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2378 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
STACS 99Annual Symposium on Theoretical Aspects of Computer Science, STACS, 16 1999 Trier Christoph Meinel; Sophie TisonGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1999Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1563 )(Acessar) |
|
6 |
Material Type: Livro
|
Stacs 2000Annual Symposium on Theoretical Aspects of Computer Science, 17 2000 Lille Horst Reichel; Sophie TisonGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c2000Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1770 )(Acessar) |
|
7 |
Material Type: Livro
|
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedingsSymposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France) Horst Reichel; Sophie TisonBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1770 e.1 )(Acessar) |
|
8 |
Material Type: Livro
|
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedingsSymposium on Theoretical Aspects of Computer Science (16th 1999 Trier, Germany) Christoph Meinel 1954-; Sophie TisonBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1563 )(Acessar) |
|
9 |
Material Type: Livro
|
Trees in algebra and programming - caap'94 proceedingsColloquium on Trees in Algebra and Pogramming (19. 1994 Edinburgh) Sophie Tison; European Symposium on Programming (5. 1994 Edinburgh)Berlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.787 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
STACS 99Symposium on Theoretical Aspects of Computer Science Christoph Meinel; Sophie Tison; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online |