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
|
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Cengage Learning 2011, c2007Localização: EACH - Esc. Artes, Ciências e Humanidades (004.0151 S618i 2011 ) e outros locais(Acessar) |
|
3 |
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 |
|
4 |
Material Type: Livro
|
Teoria da computação máquinas universais e computabilidadeTiarajú Asmuz Diverio Paulo Blauth MenezesPorto Alegre, RS Sagra-Luzzato c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68Q01 D618t e.3 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Teoria da computação máquinas universais e computabilidadeTiarajú Asmuz Diverio Paulo Blauth MenezesPorto Alegre Sagra-Luzzato Instituto de Informática da UFRGS 2004, c2000Localização: EACH - Esc. Artes, Ciências e Humanidades (006 D618t 2.ed. e.5 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Algorithms in Bioinformatics: Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, ProceedingsGuigo, Roderic ; Gusfield, Dan Guigó, Roderic ; Gusfield, DanBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
7 |
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 |
|
8 |
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 |
|
9 |
Material Type: Livro
|
Algorithms and Computation: 10th International Symposium, ISAAC'99 Chennai, India, December 16-18, 1999 ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, JanBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
10 |
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 |