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 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. |
2 |
Material Type: Livro
|
![]() |
Persuasive technology first International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, the Netherlands, May 18-19 2006 : proceedingsInternational Conference on Persuasive Technology for Human Well-Being (1st 2006 Eindhoven, Netherlands) Yvonne de Kort; Cees Midden; Berry Eggen; Elise van den Hoven; W. A IJsselsteijn (Wijnand A.)Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3962 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Computational Methods für die Sozial- und GeisteswissenschaftenJünger, Jakob ; Gärtner, ChantalWiesbaden: Springer Nature 2023Texto completo disponível |
4 |
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 |
5 |
Material Type: Artigo
|
![]() |
Li2B12 and Li3B12: Prediction of the Smallest Tubular and Cage‐like Boron StructuresDong, Xue ; Jalife, Said ; Vásquez‐Espinal, Alejandro ; Ravell, Estefanía ; Pan, Sudip ; Cabellos, José Luis ; Liang, Wei‐yan ; Cui, Zhong‐hua ; Merino, GabrielAngewandte Chemie, 2018-04, Vol.130 (17), p.4717-4721 [Periódico revisado por pares]Weinheim: Wiley Subscription Services, IncTexto completo disponível |
6 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985Jouannaud, Jean-Pierre Jouannaud, Jean-PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1985Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Computing and Combinatorics: 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 ProceedingsDu, Ding-Zhu ; Eades, Peter ; Estivill-Castro, Vladimir ; Lin, Xuemin ; Sharma, Arun Du, Ding-Zhu ; Eades, Peter ; Sharma, Arun ; Lin, Xuemin ; Estivill-Castro, VladimirBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 ProceedingsLescanne, Pierre Lescanne, PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Computing and Combinatorics: 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999, ProceedingsAsano, Takao ; Imai, Hiroshi ; Lee, D. T ; Nakano, Shin-ichi ; Tokuyama, Takeshi Nakano, Shin-ichi ; Lee, D. T. ; Imai, Hideki ; Tokuyama, Takeshi ; Asano, TakanoBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
10 |
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 |