Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 ProceedingsAbiteboul, Serge ; Shamir, Eli Abiteboul, Serge ; Shamir, EliBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
|
2 |
Material Type: Livro
|
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part IFomin, Fedor V ; Freivalds, Rusins ; Kwiatkowska, Marta ; Peleg, DavidBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |
|
3 |
Material Type: Livro
|
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part IHalldórsson, Magnús M ; Iwama, Kazuo ; Kobayashi, Naoki ; Speckmann, BettinaBerlin, Heidelberg: Springer Berlin / Heidelberg 2015Texto completo disponível |
|
4 |
Material Type: Livro
|
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part IEsparza, Javier ; Fraigniaud, Pierre ; Husfeldt, Thore ; Koutsoupias, EliasBerlin, Heidelberg: Springer Berlin / Heidelberg 2014Texto completo disponível |
|
5 |
Material Type: Livro
|
Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part ICzumaj, Artur ; Mehlhorn, Kurt ; Pitts, Andrew ; Wattenhofer, RogerBerlin, Heidelberg: Springer Berlin / Heidelberg 2012Texto completo disponível |
|
6 |
Material Type: Livro
|
Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 ProceedingsGanzinger, Harald Ganzinger, HaraldBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
7 |
Material Type: Livro
|
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 ProceedingsHsiang, Jieh Hsiang, JiehBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
8 |
Material Type: Livro
|
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 ProceedingsBook, Ronald V Book, Ronald V.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
9 |
Material Type: Livro
|
Numerical Computations with GPUsKindratenko, Volodymyr Kindratenko, Volodymyr ; Kindratenko, VolodymyrCham: Springer International Publishing AG 2014Texto completo disponível |
|
10 |
Material Type: Livro
|
Guide to Programming and Algorithms Using RErgul, OzgurLondon: Springer Nature 2013Texto completo disponível |