Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Representations of SL2(Fq)C edric Bonnaf eLondon Springer 2011Localização: IME - Inst. Matemática e Estatística (QA170 B716r )(Acessar) |
2 |
Material Type: Livro
|
![]() |
New trends in quantum structuresAnatolij Dvure censkij 1949 Sylvia Pulmannov a 1939Dordrecht Kluwer Academic Publishers Boston Bratislava Ister Science c2000Localização: IME - Inst. Matemática e Estatística (QA179 D988n )(Acessar) |
3 |
Material Type: Livro
|
![]() |
The seventeen provers of the worldFreek Wiedijk 1961Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.3600 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papersIvo D untsch; Wendy MacCaull; Michael Winter; International Seminar on Relational Methods in Computer Science (8 : 2005.02 : St. Catharines); International Workshop on Applications of Kleene Algebra (3 : 2005.02 : St. Catharines); Workshop of COST Action 274 TARSKI (2005.02.22-26 : St. Catharines)Berlin u.a. Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3929 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Towards mechanized mathematical assistants 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedingsManuel Kauers; Manfred Kerber; Robert Miner; Wolfgang Windsteiger; Calculemus 2007 (14 : 2007.06 : Hagenberg); International Conference on Mathematical Knowledge Management (6 : 2007.06 : Hagenberg); MKM 2007 (6 : 2007.06 : Hagenberg)Berlin u.a. Springer 2007Localização: IME - Inst. Matemática e Estatística (S L471a v.4573 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Chinese mathematics in the thirteenth century the Shu-shu chiu-chang of Ch°in Chiu-shaoUlrich LibbrechtCambridge MIT Press 1973Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (B10.33.20 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
On the shoulders of merchants exchange and the mathematical conception of nature in early modern EuropeRichard W HaddenAlbany State University of New York Press c1994Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (B7.21.9 )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Integer ProgrammingConforti, Michele Cornuéjols, Gérard ; Zambelli, GiacomoCham: Springer Nature 2014Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
An Introduction to Mathematical Analysis for Economic Theory and EconometricsDean Corbae, Maxwell B. Stinchcombe, Juraj ZemanPrinceton: Princeton University Press 2009Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
The Mathematica GuideBook for NumericsTrott, MichaelNew York, NY: Springer Science + Business Media 2007Texto completo disponível |