Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Formal language theory perspectives and open problemsRonald V BookNew York Academic Press c1980Localização: IME - Inst. Matemática e Estatística (QA806.C B724f )(Acessar) |
2 |
Material Type: Livro
|
![]() |
|
3 |
Material Type: Livro
|
![]() |
String-rewriting systemsRonald V. Book Friedrich OttoNew York Springer-Verlag c1993Localização: IME - Inst. Matemática e Estatística (QA806 B724s )(Acessar) |
4 |
Material Type: Livro
|
![]() |
|
5 |
Material Type: Livro
|
![]() |
|
6 |
Material Type: Livro
|
![]() |
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications (4 1991 Como) Ronald V BookBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.488 e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Currents in the theory of computingAlfred V. Aho Ronald V BookEnglewood Cliffs, N.J. Prentice-Hall 1973Localização: ICMC - Inst. Ciên. Mat. Computação (68Q01 A286c e.1 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Polynomial and Matrix ComputationsRonald V. Book Dario Bini; Victor Y PanBirkhäuser Boston 1994Acesso online |
9 |
Material Type: Livro
|
![]() |
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Ronald V BookSpringer Berlin Heidelberg 1991Acesso online |
10 |
Material Type: Livro
|
![]() |
Algol-like LanguagesRonald V. O'Hearn, Peter W. Tennent, Robert D. Book Peter O'Hearn; Peter W O'Hearn; Robert Tennent; Robert D TennentBirkhäuser Boston 1997Acesso online |