11
Material Type:
Livro
Reflexive structures an introduction to computability theory
Luis E Sanchis
New York Springer-Verlag 1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q20.05 S211r e.1 ) (Acessar)
This feature requires javascript
12
Material Type:
Livro
Trees in algebra and programming - caap'94 proceedings
Colloquium on Trees in Algebra and Pogramming (19. 1994 Edinburgh) Sophie Tison; European Symposium on Programming (5. 1994 Edinburgh)
Berlin Springer 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.787 ) e outros locais(Acessar)
This feature requires javascript
13
Material Type:
Tese de Doutorado
Bornes pour les algorithmes de factorisation des polynomes
Philippe Glesser Maurice Mignotte
1990
Localização:
IME - Inst. Matemática e Estatística
(QA810.T G558b ) (Acessar)
This feature requires javascript
14
Material Type:
Livro
What can be computed? a practical guide to the theory of computation
John MacCormick
Princeton Princeton University Press 2018
Localização:
IME - Inst. Matemática e Estatística
(QA810 M131c ) (Acessar)
This feature requires javascript
15
Material Type:
Livro
Segurança de dados criptografia em redes de computador
Routo Terada
São Paulo Edgard Blucher 2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q99 T315sd e.2 ) e outros locais(Acessar)
This feature requires javascript
16
Material Type:
Livro
Computability theory an introduction
Neil D. Jones
New York Academic Press 1973
Localização:
IME - Inst. Matemática e Estatística
MARTA CAVALLO BUNGE
(BUNGE QA810 J78c e.2 ) e outros locais(Acessar)
This feature requires javascript
17
Material Type:
Livro
Computers in mathematical research symposium on utilisation of computers in mathematical research held at blaricum netherlands, august 29-31, 1966
Symposium on Utilisation of Computers in Mathematical Research (1966 : Blaricum) R F Churchhouse; J C Herz
Amsterdam North-Holland 1968
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
(510.028 C563c ) e outros locais(Acessar)
This feature requires javascript
18
Material Type:
Livro
Computability and complexity from a programming perspective
Neil D. Jones
Cambridge, Mass. MIT Press c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q20.05 J77cc e.1 ) e outros locais(Acessar)
This feature requires javascript
19
Material Type:
Livro
Introduction to the theory of computation
Michael Sipser
Boston Thomson Course Technology 2006
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004 Si75i2 e.5 ) e outros locais(Acessar)
This feature requires javascript
20
Material Type:
Livro
Petri nets applications and relationships to other models concurrency : advances in petri nets 1986, part ii : proceedings of an advanced course bad honnef, 8.-19. september 1986
Wilfried Brauer; Wolfgang Reisig
Berlin Springer 1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.255 v.2 ) e outros locais(Acessar)
This feature requires javascript