Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
IdempotencyJeremy Taylor, John M. Atiyah, Michael Moffatt, H. K. Gunawardena Michael Atiyah; Jeremy Gunawardena; John M Taylor; H. K MoffattCambridge Cambridge University Press 1998Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Proceedings of the Thirty Second Annual ACM Symposium on Theory of Computing Portland, Oregon, May 21-23, [2000]ACM Symposium on Theory of Computing (32nd : 2000 : Portland, Or.) ACM Special Interest Group for Algorithms and Computation Theory.New York, N.Y. ACM Press ACM Order Dept., distributor 2000Localização: IME - Inst. Matemática e Estatística (QA800.C S989r 32. )(Acessar) |
|
3 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science proceedings [of the] 15 th conference, bangalore, india, december 18-20, 1995Conference on Foundations of Software Technology and Theoretical Computer Science (15. 1995 Bangalore, In) P S ThiagarajanBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1026 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science proceedings [of the] 16th conference, hyderabad, india, december 18-20, 1996Conference on Foundations of Software Technology and Theoretical Computer Science (16. 1996 Hyderabad, In) Vijay Chandru; V VinayBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1180 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995Workshop on Computer Science Logic (9. 1995 Paderborn, De) H. Kleine BuningBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1092 e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Representations of Discrete FunctionsTsutomu Fujita, Masahiro Sasao Masahira Fujita; Masahiro FujitaSpringer US 1996Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing : Atlanta, Georgia, May 1-4, 1999ACM Symposium on Theory of Computing (31st : 1999 : Atlanta, Ga.) ACM Special Interest Group for Algorithms and Computation Theory.New York, N.Y. : ACM Press : ACM Order Dept., distributor 1999Localização: IME - Inst. Matemática e Estatística (QA800.C S989r 31. )(Acessar) |
|
8 |
Material Type: Livro
|
Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papersWorkshop on Computer Science Logic (10th 1996 Utrecht, Netherlands) D. van Dalen 1932- (Dirk); M Bezem 1956- (Marc); European Association for Computer Science Logic Conference Utrecht, Netherlands) 1996Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1258 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Concur'95 concurrency theory : proceedingsInternational Conference on Concurrency Theory (6. 1995 Philadelphia, USA) Insup Lee; Scott A SmolkaBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.962 e.1 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Applied algebra, algebraic algorithms and error-correcting codes proceedingsInternational Conference on Applied Algebra, Algorithmics and Error-Correcting Codes - AAECC (11. 1995 Paris, France) Gerard Cohen; Marc Giusti; Teo MoraBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.948 e.1 ) e outros locais(Acessar) |