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
|
![]() |
Turing Machines with Sublogarithmic SpaceAndrzej SzepietowskiSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
3 |
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) |
4 |
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) |
5 |
Material Type: Livro
|
![]() |
Foundations of information and knowledge systems First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 : proceedingsFoIKS 2000 (2000 Burg, Brandenburg, Germany) Klaus-Dieter Schewe; B Thalheim 1952- (Bernhard)Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1762 e.1 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Artificial evolution third European conference, AE '97, Nîmes, France, October 22-24, 1997 : selected papersAE '97 (1997 Nîmes, France) J.-K Hao (Jin-Kao); Evelybe Lutton; Edmund Ronald; Marc Schoenauer; Dominique SnyersBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1363 ) e outros locais(Acessar) |