Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
The 'family trees' of mathematicsCastelvecchi, DavideNature (London), 2016-09, Vol.537 (7618), p.20 [Periódico revisado por pares]London: Nature Publishing GroupTexto completo disponível |
2 |
Material Type: Livro
|
![]() |
Fast algorithms for structured matrices theory and applications : AMS-IMS-SIAM Joint Summer Research Conference on Fast Algorithms in Mathematics, Computer Science, and Engineering, August 5-9, 2001, Mount Holyoke College, South Hadley, MassachusettsAMS-IMS-SIAM Joint Summer Research Conference on Fast Algorithms in Mathematics, Computer Science, and Engineering (2001 Mount Holyoke College) Vadim Olshevsky 1961-Providence, R.I. American Mathematical Society Philadelphia, PA Society for Industrial and Applied Mathematics c2003Localização: IME - Inst. Matemática e Estatística (S C761 v.323 )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Computational Biology: First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected PapersGascuel, Olivier ; Sagot, Marie-France Gascuel, Olivier ; Sagot, Marie-FranceBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Mathematics of Program Construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 ProceedingsSnepscheut, J. L. A. van de van de Snepscheut, J. L. A.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Algorithms, computation and mathematics Student textSchool Mathematics Study GroupStanford, Calif c1965Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (519.92 S372as )(Acessar) |
6 |
Material Type: Artigo
|
![]() |
Playing mathematicsWertheim, MargaretAnnals of the New York Academy of Sciences, 2019-12, Vol.1458 (1), p.70-74 [Periódico revisado por pares]United States: Wiley Subscription Services, IncTexto completo disponível |
7 |
Material Type: Livro
|
![]() |
Probabilistic Methods for Algorithmic Discrete MathematicsMichel McDiarmid, Colin Ramirez-Alfonsin, Jorge Habib Colin McDiarmid; Jorge Ramirez-Alfonsin; Bruce ReedSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Artigo
|
![]() |
Advancing mathematics by guiding human intuition with AIDavies, Alex ; Veličković, Petar ; Buesing, Lars ; Blackwell, Sam ; Zheng, Daniel ; Tomašev, Nenad ; Tanburn, Richard ; Battaglia, Peter ; Blundell, Charles ; Juhász, András ; Lackenby, Marc ; Williamson, Geordie ; Hassabis, Demis ; Kohli, PushmeetNature (London), 2021-12, Vol.600 (7887), p.70-74 [Periódico revisado por pares]England: Nature Publishing GroupTexto completo disponível |
9 |
Material Type: Livro
|
![]() |
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 ProceedingsBird, R. S ; Morgan, C. C ; Woodcock, J. C. P Woodcock, J. C. P. ; Morgan, C. C. ; Bird, R. S.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Scalable Algorithms for Contact ProblemsDostal, Zdenek ; Kozubek, Tomas ; Sadowska, Marie ; Vondrak, Vit Kozubek, Tomáš ; Vondrák, Vít ; Sadowská, MarieNew York, NY: Springer Nature 2017Texto completo disponível |