Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
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) |
12 |
Material Type: Livro
|
![]() |
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedingsInternational Conference on Rewriting Techniques and Applications (15th 2004 Aachen, Germany) Vincent van Oostrom 1966Berlin Springer New York, NY c2004Acesso online. A biblioteca também possui exemplares impressos. |
13 |
Material Type: Livro
|
![]() |
Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedingsInternational Conference on Rewriting Techniques and Applications (16th 2005 Nara-ken, Japan) Jürgen GieslBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
14 |
Material Type: Livro
|
![]() |
Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedingsInternational Conference on Rewriting Techniques and Applications (17th 2006 Seattle, Wash.) Frank PfenningBerlin Springer New York 2006Acesso online. A biblioteca também possui exemplares impressos. |
15 |
Material Type: Livro
|
![]() |
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedingsInternational Conference on Rewriting Techniques and Applications (18th 2007 Paris, France) Franz BaaderBerlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4533 )(Acessar) |
16 |
Material Type: Livro
|
![]() |
Applied algebra, algebraic algorithms, and error-correcting codes 16th international symposium, AAECC-16, Las Vegas, NV, USA February 20-24, 2006 : proceedingsInternational Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (16th 2006 Las Vegas, NV) Hideki Imai; Shu Lin 1937-; Alain Poli; Marc Fossorier 1964Berlin Springer c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3857 ) e outros locais(Acessar) |
17 |
Material Type: Livro
|
![]() |
Applied algebra, algebraic algorithms and error-correcting codes 12th international symposium, AAECC-12, Toulouse, France, june 23-27, 1997 : proceedingsInternational Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes - AAECC (12. 1997 Toulouse, France) Teo Mora; H. F Mattson 1930- (Harold F.)Berlin Springer New York 1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1255 ) e outros locais(Acessar) |
18 |
Material Type: Livro
|
![]() |
Algorithms international symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990 ; proceedingsInternational Symposium SIGAL '90 (1990 Tokyo, Japan) T Asano (Tetsuo) 1949-; Toshihide Ibaraki; H Imai (Hiroshi) 1958-; T NishizekiBerlin New York Springer-Verlag c1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.450 ) e outros locais(Acessar) |
19 |
Material Type: Livro
|
![]() |
Graph-theoretic concepts in computer science 28th International Workshop, WG 2002, éCeskây Krumlov, Czech Republic, June 13-15, 2002 revised papersInternational Workshop on Graph-Theoretic Concepts in Computer Science (28th 2002 éCeskây Krumlov, Czech Republic) Ludéek KuéceraBerlin Springer London c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2573 )(Acessar) |
20 |
Material Type: Livro
|
![]() |
Orders, algorithms, and applications International Workshop ORDAL '94, Lyon, France, July 4-8 1994 : proceedingsInternational Workshop ORDAL '94 (1994 Lyon, France) Vincent Bouchitté; Michel MorvanBerlin New York Springer-Verlag c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.831 e.1 ) e outros locais(Acessar) |