Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Python for finance mastering data-driven financeYves J Hilpisch authorSebastopol O'Reilly Media 2019Emprestado de FEA - Fac. Econ. Adm. Contab. e Atuária (332.0285 H655p 2.ed. )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Programming distributed computing systems a foundational approachCarlos A. VarelaCambridge, MA The MIT Press c2013Localização: IME - Inst. Matemática e Estatística (QA732 V293p )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Computational semantics with functional programmingJan Eijck Christina Unger; Jan van Eijck Christina UngerLeiden Cambridge University Press 2010Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Declarative agent languages and technologies V 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14 2007 : revised, selected, and invited papersInternational Workshop on Declarative Agent Languages and Technologies (5th 2007 Honolulu, Hawaii) Tran Cao Son; M. Birna Van Riemsdijk; Michael Winikoff; Matteo Baldoni 1968Berlin Springer New York c2008Localização: IME - Inst. Matemática e Estatística (S L471a v.4897 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Practical aspects of declarative languages 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 : proceedingsPADL 2008 (2008 San Francisco, Calif.) Paul Hudak; David S WarrenBerlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4902 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Journal on data semantics XS SpaccapietraBerlin Springer c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4900 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Web reasoning and rule systems first international conference, RR 2007, Innsbruck Austria, June 7-8, 2007 : proceedingsRR 2007 (2007 Innsbruck, Austria) M Marchiori (Massimo); Jeff Z Pan; Christian de Sainte MarieBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4524 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark August 22-24, 2007 : proceedingsInternational Static Analysis Symposium (14th 2007 Lyngby, Denmark) Hanne Riis Nielson 1954; Gilberto Fil e 1951Berlin Springer c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4634 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Programming languages and systems 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedingsEuropean Symposium on Programming (16th 2007 Braga, Portugal) Rocco De Nicola; ETAPS 2007 (2007 Braga, Portugal)Berlin Springer New York 2007Localização: EPBC - Esc. Politécnica-Bib Central (004.43 P943 16. ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Languages and compilers for parallel computing 19th international workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006 ; revised papersWorkshop on Languages and Compilers for Parallel Computing (19th 2006 New Orleans, La.) George S Almasi 1938; C alin Ca scaval; Peng WuBerlin Springer 2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4382 )(Acessar) |