Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Advances in cryptology, CRYPTO'98 18th Annual International Conference, Santa Barbara, California, USA, August 23-27, 1998 : proceedingsAnnual International Conference, CRYPTO'98 (18th 1998 Santa Barbara, Calif.) Hugo KrawczykBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1462 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Advances in cryptology, CRYPTO'97 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997 : proceedingsAnnual International Cryptology Conference, CRYPTO'97 (17th 1997 Santa Barbara, California) Burton S Kaliski; International Association for Cryptologic Research; IEEE Computer Society Technical Committee on Security and Privacy; University of California, Santa Barbara Computer Science DeptBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1294 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Introducao a informaticaGeorges Bazerque Claude TrullenLisboa Dom Quixote 1971Localização: FORP - Fac. Odont. de Ribeirão Preto (681.3 B362i )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Theory of computationWalter S. Brainerd Lawrence H LandweberNew York Wiley 1974Localização: EPBC - Esc. Politécnica-Bib Central (004 B732t ) e outros locais(Acessar) |
5 |
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 1986Wilfried Brauer; Wolfgang ReisigBerlin Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.255 v.2 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Computabilidade, funções computáveis, lógica e os fundamentos da matemáticaWalter Carnielli Richard L EpsteinSão Paulo Editora da UNESP 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68Q20.05 C289co e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedingsColloquium on Trees in Algebra and Programming (13th 1988 Nancy, France) M Dauchet 1946- (Max); Maurice Nivat 1937-; European Symposium on Programming (2nd 1988 Nancy, France)Berlin Springer-Verlag New York c1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.299 ex.1 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Lectures on the Complexity of Bilinear ProblemsHans F. De GrooteSpringer Berlin Heidelberg 1987Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
Ciência de computadores 1. cursoAlexandra I. ForsytheRio de Janeiro Livros Tecnicos e Cientificos 1973Localização: FMRP - Fac. Medicina de Ribeirão Preto (681.3 F735c v.2 14996 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
The golden ticket P, NP, and the search for the impossibleLance Fortnow 1963-Princeton Princeton University Press 2013Localização: IME - Inst. Matemática e Estatística (QA714.4 F743g )(Acessar) |