Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ProceedingsNielsen, Mogens ; Rovan, Branislav Nielsen, Mogens ; Rovan, BranislavBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
2 |
Material Type: Livro
|
Advances in Cryptology - CRYPTO 2000: 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000. ProceedingsBellare, Mihir Bellare, MihirBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
3 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 ProceedingsBrim, Luboš ; Gruska, Jozef ; Zlatuška, Jiří Gruska, Jozef ; Brim, Luboš ; Zlatuška, JiříBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
|
4 |
Material Type: Livro
|
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991Abramsky, S. ; Maibaum, T. S. E.Berlin, Heidelberg: Springer Berlin Heidelberg 2005Sem texto completo |
|
5 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : ProceedingsKutylowski, Miroslaw ; Pacholski, Leszek ; Wierzbicki, Tomasz Wierzbicki, Tomasz ; Kutyłowski, Mirosław ; Pacholski, LeszekBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
6 |
Material Type: Livro
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 12th International Symposium, AAECC-12 Toulouse, France, June 23–27, 1997 ProceedingsMora, Teo ; Mattson, Harold Mora, Teo ; Mattson, HaroldBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
7 |
Material Type: Livro
|
Algorithms - ESA’ 99: 7th Annual European Symposium Prague, Czech Republic, July 16–18, 1999 ProceedingsNešetřil, Jaroslav Nešetřil, JaroslavBerlin, Heidelberg: Springer Berlin Heidelberg 1999Texto completo disponível |
|
8 |
Material Type: Livro
|
Euro-Par'99 Parallel Processing: 5th International Euro-Par Conference Toulouse, France, August 31 - September 3, 1999 ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan ; Duff, Iain ; Fraysse, Valerie ; Giraud, Luc ; Ruiz, Daniel Giraud, Luc ; Berger, Philippe ; Ruiz, Daniel ; Duff, Iain ; Daydé, Michel ; Amestoy, Patrick ; Frayssé, ValérieBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
9 |
Material Type: Livro
|
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974Manes, Ernest Gene Manes, Ernest GeneBerlin, Heidelberg: Springer Berlin Heidelberg 1975Texto completo disponível |
|
10 |
Material Type: Livro
|
Automata, Languages and Programming: 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 ProceedingsWiedermann, Jirí ; Emde Boas, Peter van ; Nielsen, Mogens van Emde Boas, Peter ; Wiedermann, Jirí ; Nielsen, MogensBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |