Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
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 2015 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Estruturas de dados e seus algoritmosJayme Luiz Szwarcfiter Lilian MarkenzonRio de Janeiro LTC 2010Localização: PUSPSC - Prefeitura do Campus USP de São Carlos (005.1 S998e 3. ed. e.4 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Introdução aos fundamentos da computação linguagens e máquinasNewton José VieiraSão Paulo Pioneira Thomson Learning 2006Localização: EACH - Esc. Artes, Ciências e Humanidades (004.0151 V658i ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Quantum computer science: an introductionN. David MerminCambridge University Press 2007Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Síntese de circuitos lógicos combinacionais 10a. Escola de Computação IC-UNICAMP, Campinas, de 8 a 13 de julho de 1996Escola de Computação (10. 1996 Campinas, SP) Ricardo JacobiCampinas Instituto de Computação - UniCamp 1996Localização: EACH - Esc. Artes, Ciências e Humanidades (621.395 J16s e.2 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Linguagens formais teoria, modelagem e implementaçãoMarcus Vinicius Midena Ramos João José Neto 1948-; Ítalo Santiago VegaPorto Alegre Bookman 2009Localização: EACH - Esc. Artes, Ciências e Humanidades (005.131 R175L e.2 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Thomson Learning c2007Localização: EACH - Esc. Artes, Ciências e Humanidades (004.0151 S618i e.7 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Linguagens formais e autômatosPaulo Blauth MenezesPorto Alegre Bookman 2008Localização: EACH - Esc. Artes, Ciências e Humanidades (005.131 M543L 5.ed. ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Quantum computation and quantum informationMichael A. Nielsen 1974- Isaac L Chuang 1968-Cambridge Cambridge University Press New York 2010Localização: EACH - Esc. Artes, Ciências e Humanidades (004.0151 N669q e.2 ) e outros locais(Acessar) |