Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Diks, Krzysztof ; Rytter, WojciechBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
2 |
Material Type: Livro
|
High Performance Computing - HiPC 2002: 9th International Conference Bangalore, India, December 18-21, 2002, ProceedingsSahni, Sartaj ; Prasanna, Viktor K ; Shukla, Uday Shukla, Uday ; Sahni, Sartaj ; Prasanna, Viktor K.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
3 |
Material Type: Livro
|
The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. JonesMogensen, Torben ; Schmidt, David ; Sudborough, I. HalBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
4 |
Material Type: Livro
|
Proceedings 32nd Annual Symposium on Foundations of Computer Science : October 1-4, 1991, San Juan, Puerto RicoSymposium on Foundations of Computer Science (32nd 1991 San Juan, Puerto Rico) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingLos Alamitos, Calif. IEEE Computer Society Press c1991Localização: IME - Inst. Matemática e Estatística (QA800.C S989 32. )(Acessar) |
|
5 |
Material Type: Ata de Congresso
|
Proceedings of the twenty-seventh annual ACM symposium on Theory of computingNew York, NY, USA: ACM 1995Texto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Proceedings of the twenty-third annual ACM symposium on Theory of ComputingNew York, NY, USA: ACM 1991Texto completo disponível |
|
7 |
Material Type: Livro
|
Languages and machines an introduction to the theory of computer scienceThomas A. SudkampReading, Mass. Addison-Wesley c1988Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (510.64 Su22L )(Acessar) |
|
8 |
Material Type: Livro
|
27th Annual symposium on foundations of computer science October 27-29, 1986Symposium on Foundations of Computer Science (27th 1986 Toronto, Ont.) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingWashington, D.C. IEEE Computer Society Press Los Angeles, CA order from IEEE Computer Society c1986Localização: IME - Inst. Matemática e Estatística (QA800.C S989 27 )(Acessar) |
|
9 |
Material Type: Livro
|
Randomness and Completeness in Computational ComplexityDieter van MelkebeekSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Computational science - ICCS 2001 international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedingsICCS 2001 (2001 San Francisco, Calif.) Vassil Alexandrov 1962-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2074 ) e outros locais(Acessar) |