Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Randomness and Completeness in Computational ComplexityDieter van MelkebeekSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Substitutions in Dynamics, Arithmetics and CombinatoricsN. Pytheas Fogg Valérie Berthé; Sebastien Ferenczi; Christian Mauduit; Anne SiegelSpringer Berlin / Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
3 |
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) |
4 |
Material Type: Livro
|
![]() |
Computational science and its applications ICCSA 2007 : international conference, Kuala Lumpur Malaysia, August 26-29, 2007 : proceedingsICCSA 2007 (2007 Kuala Lumpur, Malaysia) Osvaldo Gervasi; Marina L GavrilovaBerlin Springer New York 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4706 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Computational science and its applications ICCSA 2006 : international conference, Glaskow, UK, May 8-11, 2006 proceedingsICCSA 2006 (2006 Glasgow, Scotland) Marina L Gavrilova; Osvaldo Gervasi; Vipin Kumar; Chih Jeng Kenneth Tan; David Taniar; Armando Antonio Maria Laganá 1952-; Youngsong Mun; Hyuseng ChooBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Introduction to computational science modeling and simulation for the sciencesAngela B. Shiflet author George W Shiflet 1947- authorPrinceton Princeton University Press c2014Localização: IME - Inst. Matemática e Estatística (QA700 S555i e.3 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Algorithms and theory of computation handbookMikhail J AtallahBoca Raton CRC Press c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68Q20.01 A396 e.1 )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Computational complexity and natural languageG. Edward Barton Robert C Berwick; Eric Sven RistadCambridge, Mass. MIT Press c1987Localização: EPBC - Esc. Politécnica-Bib Central (510.52 B285c ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Trees in algebra and programming 8th colloquium, L'Aquila, March 9-11, 1983 : proceedingsCAAP '83 (8th 1983 L'Aquila, Italy) G Ausiello 1941- (Giorgio); M Protasi 1950- (Marco)Berlin Springer-Verlag New York 1983Localização: IME - Inst. Matemática e Estatística (S L471c v.159 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
CAAP 86 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986 : proceedingsColloquium on Trees in Algebra and Programming (11th 1986 Nice, France) P Franchi-Zannettacci (Paul)Berlin Springer-Verlag New York c1986Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.214 ex.1 ) e outros locais(Acessar) |