Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Discrete mathematics across the curriculum, K-12 1991 yearbookMargaret J Kenney; Christian R HirschReston, Va. National Council of Teachers of Mathematics c1991Localização: IME - Inst. Matemática e Estatística CENTRO DE APERFEIÇOAMENTO DO ENSINO DA MATEMÁTICA (CAEM QA80 N277 1991 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Discrete mathematics and its applicationsKenneth H RosenBoston McGraw-Hill Higher Education c2007Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (51 R813d6 29575 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Logic for applicationsAnil Nerode 1932- Richard A Shore 1946-New York Springer c1997Localização: IME - Inst. Matemática e Estatística (QA9.1 N451L )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Computation, logic, philosophy a collection of essaysHao Wang 1921-Beijing, China Science Press Dordrecht, Holland Boston Kluwer Academic Publishers c1990Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (510.1 H252c ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Discrete structures with contemporary applicationsAlexander StanoyevitchBoca Raton, FL CRC Press c2011Localização: IME - Inst. Matemática e Estatística (QA840.8 S789d )(Acessar) |
6 |
Material Type: Livro
|
![]() |
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedingsWorkshop on Computer Science Logic (1st 1987 Karlsruhe, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-Berlin Springer-Verlag New York c1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.329 ex.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Mathematical Aspects of Spin Glasses and Neural NetworksThomas M. Newman, Charles Pitt, Loren Liggett Charles Newman; Pierre Picco; Loren PittBirkhäuser Boston 1998Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Integrated Methods for OptimizationJohn N. HookerSpringer US 2007Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
Linear Logic in Computer ScienceWilliam Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.Cambridge Cambridge University Press 2004Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Discrete mathematicsRichard Johnsonbaugh 1941-Upper Saddle River, N.J. Prentice Hall c1997Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (51 J639d4 e.9 ) e outros locais(Acessar) |