Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
![]() |
Computing downwards accumulations on trees quicklyGibbons, JeremyAuckland, N.Z: University of Auckland, Dept. of Computer Science 1992Sem texto completo |
12 |
Material Type: Livro
|
![]() |
Upwards and downwards accumulations on treesGibbons, JeremyAuckland, N.Z: University of Auckland, Dept. of Computer Science 1992Sem texto completo |
13 |
Material Type: Livro
|
![]() |
Generic and indexed programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26 2010 : revised lecturesGibbons, JeremySpringer 2012Texto completo disponível |
14 |
Material Type: Livro
|
![]() |
Generic and Indexed ProgrammingGibbons, Jeremy Gibbons, JeremyNetherlands: Springer Nature 2012Texto completo disponível |
15 |
Material Type: Livro
|
![]() |
Efficient parallel algorithms for tree algorithmsGibbons, Jeremy ; Cai, Wentong ; Skillicorn, David BAuckland, N.Z: University of Auckland, Dept. of Computer Science 1993Sem texto completo |
16 |
Material Type: Livro
|
![]() |
|
17 |
Material Type: Livro
|
![]() |
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, GermanyGibbons, Jeremy ; Jeuring, JohanBoston, MA: Springer US 2003Texto completo disponível |
18 |
Material Type: Livro
|
![]() |
Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected PapersGibbons, Jeremy ; MacCaull, Wendy Gibbons, Jeremy ; MacCaull, WendyNetherlands: Springer Nature 2014Texto completo disponível |
19 |
Material Type: Livro
|
![]() |
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, ProceedingsGibbons, Jeremy ; Nogueira, Pablo Gibbons, Jeremy ; Nogueira, PabloNetherlands: Springer Nature 2012Texto completo disponível |
20 |
Material Type: Livro
|
![]() |
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, ProceedingsGibbons, Jeremy ; Nuno Oliveira, JoseBerlin, Heidelberg: Springer Berlin / Heidelberg 2009Sem texto completo |