Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Turing machinesOpen University Topics in Pure Mathematics Course TeamMilton Keynes Open University Press 1973Localização: ICMC - Inst. Ciên. Mat. Computação (02C01 Open m202-16 e.1 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Computability theory an introductionNeil D. JonesNew York Academic Press 1973Localização: IME - Inst. Matemática e Estatística MARTA CAVALLO BUNGE (BUNGE QA810 J78c e.2 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
AutomataV. David Hopkin Barbara MossLondon Macmillan 1976Localização: IME - Inst. Matemática e Estatística (QA810 H793a )(Acessar) |
4 |
Material Type: Livro
|
![]() |
KomplexitätstheorieWolfgang J. Paul 1951-Stuttgart Teubner 1978Localização: IME - Inst. Matemática e Estatística (QA810 P324k )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Computability and decidability; an introduction for students of computer scienceJacques Loeckx 1931-Berlin New York Springer 1972Localização: ICMC - Inst. Ciên. Mat. Computação (68Q20.05 L825cd e.1 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Introduction to computabilityFrederick C. Hennie (Frederick Clair)Reading, Mass. Addison-Wesley Pub. Co. c1977Localização: IME - Inst. Matemática e Estatística (QA810 H516i )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Computability Theory: An IntroductionJones, Neil D ; Ashenhurst, Robert LSaint Louis: Elsevier Science & Technology 1973Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Computability and Decidability: An Introduction for Students of Computer ScienceBeckmann, M ; Goos, G ; Künzi, H. PBerlin, Heidelberg: Springer Berlin / Heidelberg 1972Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
AutomataHopkin, David ; Moss, BarbaraLondon: Macmillan Education UK 1976Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Logic, Automata, and AlgorithmsAiserman, Mark A ; Gusev, Leonid A ; Rozonoer, Lev I ; Smirnova, Irina M ; Tal', Aleksey ASan Diego: Elsevier Science & Technology 1971Texto completo disponível |