Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised PapersPaun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, Arto ; Zandron, Claudio Salomaa, Arto ; PĂun, Gheorghe ; Rozenberg, Grzegorz ; Zandron, ClaudioBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Diks, Krzysztof ; Rytter, WojciechBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable InformationCicalese, FerdinandoBerlin, Heidelberg: Springer Nature 2013Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Computer Science in Perspective: Essays Dedicated to Thomas OttmannKlein, Rolf ; Six, Hans-Werner ; Wegner, Lutz Six, Hans-Werner ; Wegner, Lutz ; Klein, RolfBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
5 |
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 |
6 |
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 |
7 |
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 |
8 |
Material Type: Livro
|
![]() |
STACS 98: 15th Annual Symposium on Theoretical Aspects of Computer Science Paris, France, February 25–27, 1998 ProceedingsMorvan, Michel ; Meinel, Christoph ; Krob, Daniel Meinel, Christoph ; Krob, Daniel ; Morvan, MichelBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 ProceedingsBrandenburg, Franz J ; Vidal-Naquet, Guy ; Wirsing, Martin Brandenburg, Franz J. ; Vidal-Naquet, Guy ; Wirsing, MartinBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
10 |
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 |