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: Tese
|
![]() |
A teoria da computação de Alan TuringBispo, Danilo GustavoPrograma de Estudos Pós-Graduados em História da CiênciaSem texto completo |
8 |
Material Type: Tese
|
![]() |
Dos fundamentos da matemática ao surgimento da teoria da computação por Alan TuringBispo, Danilo GustavoPrograma de Estudos Pós-Graduados em História da CiênciaSem texto completo |
9 |
Material Type: Livro
|
![]() |
DNA Computing: 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised PapersHagiya, Masami ; Ohuchi, Azuma Hagiya, Masami ; Ohuchi, AzumaBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
High Performance Computing - HiPC 2002: 9th International Conference Bangalore, India, December 18-21, 2002, ProceedingsSahni, Sartaj ; Prasanna, Viktor K ; Shukla, Uday Shukla, Uday ; Sahni, Sartaj ; Prasanna, Viktor K.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |