Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertation
|
A teoria da computação de Alan TuringBispo, Danilo GustavoPrograma de Estudos Pós-Graduados em História da Ciência 2018No full-text |
|
2 |
Material Type: Book
|
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Cengage Learning 2011, c2007Available at EACH - Esc. Artes, Ciências e Humanidades (004.0151 S618i 2011 ) and other locations(GetIt) |
|
3 |
Material Type: Book
|
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 2002Full text available |
|
4 |
Material Type: Book
|
Teoria da computação máquinas universais e computabilidadeTiarajú Asmuz Diverio Paulo Blauth MenezesPorto Alegre, RS Sagra-Luzzato c1999Available at ICMC - Inst. Ciên. Mat. Computação (68Q01 D618t e.3 ) and other locations(GetIt) |
|
5 |
Material Type: Book
|
Teoria da computação máquinas universais e computabilidadeTiarajú Asmuz Diverio Paulo Blauth MenezesPorto Alegre Sagra-Luzzato Instituto de Informática da UFRGS 2004, c2000Available at EACH - Esc. Artes, Ciências e Humanidades (006 D618t 2.ed. e.5 ) and other locations(GetIt) |
|
6 |
Material Type: Dissertation
|
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ência 2013No full-text |
|
7 |
Material Type: Book
|
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 2003Full text available |
|
8 |
Material Type: Book
|
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 2002Full text available |
|
9 |
Material Type: Book
|
Artificial Neural Networks and Neural Information Processing -- ICANN/ICONIP 2003: Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, ProceedingsKaynak, Okyay ; Alpaydin, Ethem ; Oja, Erkki ; Xu, Lei Xu, Lei ; Kaynak, Okyay ; Oja, Erkki ; Alpaydin, EthemBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Full text available |
|
10 |
Material Type: Book
|
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 2003Full text available |