Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, ProceedingsOostrom, Vincent van van Oostrom, VincentBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Formalisation des notions de machine et de programmeLouis NolinParis Gauthier-Villars 1969Localização: EPBC - Esc. Politécnica-Bib Central (004.386 N719f ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Symposium on Semantics of Algorithmic LanguagesEngeler, E Engeler, E.Berlin, Heidelberg: Springer Berlin / Heidelberg 2006Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Georreferenciamento de imóveis rurais: Análise do cálculo de área.Prina, Bruno Zucuni; Trentin, Romario; Sá, Renato Giovani Chaves De; Carvalho, Luiz Felipe Díaz DeRevista do Departamento de Geografia; ##issue.vol## 29 (2015); 116-136Universidade de São Paulo. Faculdade de Filosofia, Letras e Ciências Humanas 2015-06-17Acesso online |
5 |
Material Type: Livro
|
![]() |
Guide to Programming and Algorithms Using RErgul, OzgurLondon: Springer Nature 2013Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, ProceedingsNieuwenhuis, Robert Nieuwenhuis, RobertBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, ProceedingsNipkow, Tobias Nipkow, TobiasBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 ProceedingsComon, Hubert Comon, HubertBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 ProceedingsTison, Sophie Tison, SophieBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. ProceedingsMiddeldorp, Aart Middeldorp, AartBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |